[loginf] PhD position available in Karlsruhe

Mana Taghdiri taghdiri at ira.uka.de
Wed Nov 10 10:41:55 CET 2010


There is an opening for one doctoral student in Automated Software Analysis research group (http://asa.iti.kit.edu/) in the department of Informatics at Karlsruhe Institute of Technology. The project involves using SMT solvers in a novel way to find bugs in object-oriented programs, and will be supervised by Juniorprof. Dr. Mana Taghdiri. 

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.

If interested, please email your application material (resume, transcripts, and names of potential references) to mana.taghdiri at kit.edu

Mana Taghdiri

More information about the loginf mailing list