Student Assistant (M/F/D)

Saarbrücken, Germany

Odoo • Image and Text


The CISPA Helmholtz Center for Information Security is a German national Big Science Institution within the Helmholtz Association. Its research agenda comprises all aspects of information security. The center will grow from currently 180 to 600–800 employees at the Saarbrücken location over the medium term. Due to its continual growth, CISPA, as the Helmholtz Center, will have the necessary critical mass of researchers at its disposal to completely and comprehensively tackle the major challenges of cyber security and privacy research.

Odoo - Sample 1 for three columns

Your Task

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.

Odoo - Sample 1 for three columns

Your Profile

  • Experience in functional programming (ideally with Haskell, since Tamarin is written in Haskell, but if you are not familiar with Haskell, experience with other languages such as Standard ML is also appreciated).

  • Experience in larger software projects is a plus.

  • Fluent English

Odoo - Sample 3 for three columns

What we offer