The Department of Computer Science of Karlsruhe Institute of Technology, the Automated Software Analysis research group (www.asa.kit.edu) has an opening for a Doctoral Researcher / PhD Position (50%) in the area of “Automatic Software Checking”. Themes of the project include

• "Scalable program checking",
• “Information Flow Analysis",
• "Test-case generation", and
• “Logical constraint solving”.

Requirements:

The applicants should hold a university Masters or Diploma degree in the area of Computer Science and should also have strong communication skills (both Oral and Writing) in English. Suitable candidates must posses a strong willingness for research exploration, self-learning, creativity, teamwork, and communication skills as well as the willingness in the preparation of research proposals. Java and/or C++ programming skills are required.

Salary: The position is part time (up to 80 hours/month) and will be paid according to an hourly rate. The exact number of hours is negotiable.

Contract Duration: 18 months including a renewal option.

Starting Date: As soon as possible.

Please send your application by email to JuniorProf. Dr. Mana Taghdiri (taghdiri@ira.uka.de)