Our research group teaches and researches topics in the area of automatic software verification techniques, which aim to check safety properties of programs, i.e., detect errors or prove their absence. Until the end of 2022 you will work on research questions of part project L of the interdisciplinary project Software-Factory 4.0. Thereafter, your research should address innovative research questions on automatic software verification, e.g., in the area reverification of modified programs, cooperative verification, verification-based test-case generation, optimizations for runtime verification, or validation of verification results.
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 one of the areas reverification of modified prorams, verification-based test-case generation, or optimizations for runtime verification
- Solid knowledge about and practical experience (application, implementation) with automatic software verification (e.g., software model checking, BMC, k-induction, CEGAR) or program analysis (e.g., dataflow analysis, abstract interpretation, program dependence graphs)
- Good programming skills in Java
- Interested in contributing to the teaching activities of the research group
- 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
- Experience in teaching is advantageous
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 496 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.
