1 software-verification-phd "Prof" PhD positions

Up to two PhD positions at the intersection of Formal Verification and Planning

Chalmers University of Technology | Sweden | about 19 hours ago

140 PhD students at CSE. Your main supervisor will be Prof. Nir Piterman, with support from a co-supervisor and an examiner. Supervision is structured to guide your academic development, with regular