Student Assistant (M/F/D)

Helmholtz Center for Information Security (CISPA)

Saarbrücken, Germany

Area of research:

Administrative staff

Job description:

You are going to implement a component of the tool Tamarin (a verification tool for security protocols: In particular, this component is going to communicate with a web-based front end that displays the output of Tamarin in a web browser.]]>

Please apply via recruiter’s website.

Quote Reference: 15128172