PhD position

Juniorprof. Dr. Mana Taghdiri

We have an opening for one doctoral student in Automated Software Analysis research group. The project  involves the areas of "Formal Methods", "Static Program Checking", "Test-case Generation and Software Debugging" and focuses on using SMT solvers in a novel way to find bugs in object-oriented programs.

The ideal candidate should hold an MS or equivalent degree in computer science, or mathematics, and should have strong communication skills (both speaking and writing) in English. Solid theoretical background in formal methods and logic, as well as programming experience in Java and/or C++ is required. Suitable candidates must posses a strong willingness for research exploration, independence, self-learning, creativity, and teamwork.

The selected candidate is expected to start as soon as possible, and will be funded based on the salary grade TV-L, E13.

The application material (resume, transcripts, and names of potential references) should be emailed to mana.taghdiri@kit.edu