Open positions
We have various phd and postdoc positions available. They will be listed here.
We also welcome applicants that are not specific to the concrete projects listed below but to the research group’s foci in general.
- Postdoc positions (on the topics below or any topic that fits into our group), instructions.
- Postdoc position “Development of an EasyCrypt compatible Lean library (AI-supported)”
- PhD position “Verification of Quantum Cryptography”
- PhD position “Certified quantum compilation”
- PhD position “Type-systems for quantum programming languages”
- PhD position for your own topic (that fits into our group), instructions.