Open Positions

Ph.D. and Postdoc Positions in Security & Concurrency with Formal Methods

The Chair MAIS 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 formal methods. The research focus shall be on software security, concurrency, or their combination.

Systematic Side Channel Analysis for Cryptography (PhD candidate and Postdoc positions)

The pdf file with detailed information about the positions can be found here.

Possible topics include:
- systematic experimental evaluation of robustness against side channels
- analytical formal evaluation of robustness against side channels
- construction of side channel attacks from detected vulnerabilities
- transformations for mitigating side channel vulnerabilities
- coding guidelines for avoiding side channel vulnerabilities
- theoretical foundations, analysis tools, and practical evaluation
In your research you could build on existing side channel analysis tools (including
SideChannelFinder and CacheAudit) and our formalizations in Isabelle/HOL. 

Reasoning about Information-Flow Security (PhD candidate or Postdoc position)

The pdf file with detailed information about the position can be found here.

Possible topics include:
- security analyses techniques and tools for Android apps
- reasoning about security across the application - library boundary
- modular security analyses across components (horizontal modularity)
- modular security analyses across system layers (vertical modularity)
- security guarantees for libraries, components, layers
- theoretical foundations, analysis tools, and practical evaluation
In your research you could build on our existing information-flow analysis tools
(including Cassandra and SPASCA) and our formalizations in Isabelle/HOL. 

Sound Re-Engineering of Code (Postdoc Position)

Possible topics include:
- dependency analysis of existing code (C, C++, or machine code)
- sound modularization of existing code based on dependence information
- sound parallelization of existing code
- development of tool support
- theoretical foundations, analysis tools, and practical evaluation
In your research you could benefit from our collaborating partners in the
Software-Factory 4.0 project (including the application areas high-performance
computing and Industrie 4.0).

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.
For the first two topics, also see the pdfs above.
A A A | Print | Imprint | Sitemap | Contact
zum Seitenanfang