Home | Legals | Sitemap | KIT

PhD position (50%) in the area of software analysis

PhD position (50%) in the area of software analysis
job offer: links:
job type:

Doctoral researcher / PhD (50%)

starting date:

As soon as possible

contact person:

juniorprof. Dr. Mana Taghdiri

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)