PhD Positions in Formal Methods and Planning, Gothenburg (Sweden)

There are up to two open PhD positions in the department of Computer Science and Engineering at Chalmers University of Technology / the University of Gothenburg, Sweden. The students will work with Professor Nir Piterman in the formal methods unit. The successful candidates will work on combinations of formal verification and planning on symbolic AI that is used in reinforcement learning and directly in robotics and reactive software development.

PhD (third-cycle) education is through a fixed-term employment contract for 5 years. During these 5 years, most of the student's time will be devoted to their research. They will also be assisting the department's education by working 20% of their time on a teaching or supporting role. This project is supported by WASP and the appointed student will also belong to the WASP graduate school.