Open Positions

PostDoc and Ph.D. Positions in Concurrency and Software Security

The Chair Modeling and Analysis of Information Systems at TU Darmstadt is offering multiple positions. We are looking for researchers who are interested in addressing foundational problems that are or will be of practical relevance. The research focus shall be on concurrency, software security, or their combination.

The spectrum of possible research topics includes:
  • information-flow analysis of concurrent programs
  • information-flow security for Android apps
  • side-channel analysis techniques for crypto implementations
  • program analyses and transformations suitable for weak memory models
  • semantics and verification of parallel programs
  • soundness of program parallelization techniques

Your research shall be based on solid formal foundations and could result, e.g., in foundational insights, in program analysis and transformation techniques, in tools that are reliable and efficient, or in verified critical software systems.

We are offering a productive and collaborative research environment in which you can discuss ideas with team members who are working on interesting research topics. Our international connections and our involvement in leading-edge research projects (like RS3, CRISP, and CROSSING) provide further opportunities for collaborations.

You can obtain more detailed information from the full position announcement.

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 recruiting@mais.informatik.tu-darmstadt.de.
A A A | Print | Imprint | Sitemap | Contact
zum Seitenanfang