2 software-verification-phd "Prof" PhD positions

Phd - Quantum error correction codes and noise modelling (DEIS)

Aalborg University | Denmark | 1 day ago

assistants, model checking, etc. - Implementation of software toolset and code libraries. Prospective applicants for this PhD proposal should have the following qualifications - Sc. degree in computer science

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

Chalmers University of Technology | Sweden | about 11 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