Student Assistant (M/F/D)

Helmholtz Center for Information Security (CISPA)

Saarbrücken, Germany

Area of research:

Administrative staff



Starting date:

2019-09-25



Job description:

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. Your task: • 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.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 EnglishWhat we offer: • A chance to contribute to a state-of-the-art scientific tool • Supervision by a motivated team of researchers (https://people.cispa.io/cas.cremers/people) • Flexible working hours



Please apply via recruiter’s website.

Quote Reference: 15127451

Favorite