PhD positions in program verification at INSAIT

by Peter Mueller, Oct. 10, 2022

We are recruiting PhD students for several projects on program verification at the newly-established INSAIT institute in Sofia, Bulgaria. INSAIT is a research center for computer science and artificial intelligence dedicated to conducting world-class research. The hired PhD students will be able to work in close collaboration with the Programming Methodology group at ETH Zurich.

We are recruiting PhD students for several projects on program verification at the newly-established INSAIT institute in Sofia, Bulgaria. INSAIT is a research center for computer science and artificial intelligence dedicated to conducting world-class research. The hired PhD students will be able to work in close collaboration with the Programming Methodology group at ETH Zurich.

Key requirements for successful applications:

  • Strong commitment to research
  • Interest in combining theory and practice
  • For PhD students: excellent BSc. or MSc. degree in Computer Science or in a related subject with a strong Computer Science component
  • Proficiency in English and excellent communication skills, both oral and written

Applications and questions: See https://insait.ai/phd/ for details of the application process. When you apply, please also send your application by email to [email protected]. We will consider applications until the positions are filled. The start date is negotiable.