Open Research Position
for Reverification of Modified Programs

Our research group has an open position for a Research Assistants/PhD Student (w/m/d) in the area of reverification of modified programs, which should be staffed as soon as possible. The initial contract will be limited to 3 years.

Our research group teaches and researches topics in the area of automatic software verification techniques, which aim to check safety properties of programs. Until the end of 2022 you will work in part project L of the LOEWE project Software-Factory 4.0 and thereafter you will work at the DFG project ReVeriX. Thereby, you will work on innovative research questions in the area of efficient and flexible reverification of modified programs with the goal to efficiently detect or prove the absence of property violations in modified programs. To this end, you will develop, implement, and evaluate (1) approaches to exchange results between verifiers for the purpose of reverification and (2) approaches to restrict reverification or functional equivalence checking to relevant, modified programs.

We offer an intensive, personal supervision, innovative research in the area of software verification and support your personal training in training programs offered for researches at TU Darmstadt (Ingenium, HDA, etc.).

Your Profile

  • Excellent Master degree from a university in computer science or a similar discipline
  • Interested in complex research questions in the area of automatic software verification with focus on reverification of modified programs
  • Solid knowledge about and practical experience (application, implementation) with automatic software verification (e.g., software model checking, BMC, k-induction, CEGAR)
  • Good programming skills in Java
  • Fluent English skills (orally and in writing)
  • Team orientation and ability to successfully collaborate with other team members
  • Independent, organized, reliable, and goal-oriented working

For further question please contact Prof. Dr. Marie-Christine Jakobs .

Application Process

Please send your application with the standard documents (including cover letter, CV, transcripts of records) under application ID 495 and a reference to part project L to: applications@software-factory-4-0.de.

By submitting your application, you agree that your data may be stored and processed for the purpose of filling the vacancy. You can find our privacy policy on our webpage.