Ph.D. positions in Information-Flow Security and Side-Channel Analysis • TU Darmstadt • Darmstadt – 05.12.2018

Ph.D. positions in Information-Flow Security and Side-Channel Analysis • TU Darmstadt • Darmstadt

Open Positions3
Time Spanas soon as possible for 3 years
Application Deadline05 Dec 2018
Type of PositionPhD – Individual Supervisor
Field of ResearchMathematics / Natural SciencesEngineering
SubjectsModeling and Analysis of Information Systems
DescriptionThe chair MAIS at TU Darmstadt, led by Prof. Dr. Heiko Mantel, is offering multiple positions. We are looking for researchers who are interested in addressing foundational problems that will be of practical relevance or in addressing practical problems based on solid foundations. The research focus shall be on software security (information-flow security or side-channel analysis) using formal methods or systematic experiments.

We are offering three positions for Ph.D. candidates and Postdocsin the following areas:
1. information-flow analysis techniques for object-oriented programs at the level of source code and bytecode based on compositional and precise verification techniques 
2. experimental analysis of side-channel vulnerabilities in cryptographic implementations and generation of attacks exploiting such vulnerabilities 
3. program analysis techniques for detecting side-channel vulnerabilities in cryptographic implementations and for assessing the seriousness of such vulnerabilities 

The overall goal of our research at MAIS is to make software-basedsystems more trustworthy (i.e. secure, safe, and correct) than they are today. As software engineering is a complex and error-prone task, we employ formal methods in combination with experiments for reasoning about software and critical system properties. We investigate software systems on the level of source code, bytecode, and machine code as well as on the level of more abstract system specifications. This allows us to provide support for security at different stages of software development. At MAIS we are offering a productive and collaborativeresearch environment in which you can discuss ideas with other teammembers working on related topics.

The positions are available immediately and applications will be considereduntil the positions are taken. These are positions with regular salary andsocial benefits based on TV-TUD. 

How to apply?
Please submit your application, including your detailed CV with language skills, complete transcripts with lists of courses and grades, all theses that you have completed so far, a description of your background and research interests, and, if possible, references whom we may contact for letters of recommendation to

For more information and how to apply,see

For a Ph.D. position, you need to hold a Master’s degree in Computer Science or Mathematics (or to have completed all requirements upon start of appointment).
You should be highly motivated to tackle challenging research projects and be open minded. You should have a solid background in formal methods, logic, or other mathematical foundations of Computer Science. Prior knowledge in any of the following areas is a plus (but not required): concurrency, Dalvik bytecode or Java source code, information-flow security, and proof assistants like Isabelle/HOL. You need very good language skills in English, both in talking and writing. Prior knowledge of German is not expected, but you should be willing to obtain basic skills within a year.
Working LanguageEnglishGerman
Language of DissertationEnglish
Required DocumentsCVReports, certificatesTranscriptsLetter of MotivationOthers : references whom we may contact for letters of recommendation
More Information

Leave a Reply

Your email address will not be published. Required fields are marked *