International Association
for Cryptologic Research

The Secure Software Engineering Group in the Fachbereich Informatik of Technische Universität Darmstadt is currently offering a position for a

Research Assistant in Secure Software Engineering

with the goal to further develop the group’s expertise in the area of constructive software security. The Secure Software Engineering Group is part of EC SPRIDE, the European Center for Security and Privacy by Design, a new competence center co-located with CASED. EC SPRIDE actively supports collaborations with other re-searcher centers worldwide, and offers young researchers an optimal working environment in every aspect.

The Research Group on Secure Software Engineering will play a central role in EC SPRIDE, developing methods and tools in the area of constructive software security. The group aims at developing languages, mechanisms, processes and tools that allow software developers to clearly state security requirements and, if possible, synthesize partial implementations that achieve or help achieve these requirements. In cases where automated synthesis is impossible, and a programmer hence need to implement security features by hand the group uses automated program analyses to assist the programmer in deciding whether the implementation indeed fulfills the stated security requirements.

Applicants must have completed (or be close to completing) a Master or Diplom with very excellent grades in Computer Science, Mathematics, Electrical Engineering or a closely related subject. Additional knowledge in IT-Security, Software Engineering, Programming Languages and/or Program Analysis are a plus. We expect successful candidates to conduct independent research within the context of EC SPRIDE, and actively support such candidates in publishing their work on the leading international conferences and in the leading international journals. EC SPRIDE actively supports researchers in obtaining a Ph.D.