Automated Software Analysis Group

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

  • job offer:
  • 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)