Help to Push Software Verification to the Next Level!

KeY is a world-leading deductive verification tool for Java. It has
been used

The next step is to improve KeY’s usability and performance to a
degree that puts it in reach of the average software developer. We
have some great ideas on how to achieve this, and we obtained a
coveted Research Grant for Sustainable Software from DFG (the German
Science Foundation).

Now all we need is: you!

Scientist with the following profile

  • Very good MSc degree in Computer Science (or closely related subject)
  • First contact with research in formal methods or programming languages
  • Very good programming skills in an OO language
  • Very good problem solving skills and ability to work self-driven
  • Good communication skills in English (German is not a requirement)

What we offer

  • Fully funded PhD position at German E13 scale for up to 5 years
  • To make a real difference in rendering verification technology
    widely usable, long after your PhD is finished
  • Working with world leaders at the cutting edge of Deductive Verification
    either at KIT (Karlsruhe) or at TU Darmstadt, Germany
  • A dedicated, friendly, and supportive team, good social atmosphere,
    pleasant offices, coffee machine
  • Opportunity to take soft skill courses, teaching certificates, etc.

Questions / Inquiries

Fell free to ask any questions by email to Reiner Hähnle (

How to apply at TU Darmstadt

Applications must consist of a single PDF document that contains (i) a letter of motivation, which should state clearly why you are interested in the work and why you qualify for the position, (ii) your current curriculum vitae, (iii) certificates (M.Sc., B.Sc., high-school diploma) with detailed transcripts of records and grades. Letters of recommendations are beneficial.

Applications are accepted immediately and until the position is filled.

Please send your complete application to Prof. Reiner Hähnle (
Important: The email must explicitly refer to the code number 657 of this job offer.