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: tamarin-prover.github.io). 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

Favorite