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”.
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 (firstname.lastname@example.org)