1 formal-verification-computer-science PhD positions in Sweden

Sort by

listed

Refine Your Search

Sort by: relevance | listed |

Enter an email to receive alerts for formal-verification-computer-science positions

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

Chalmers University of Technology | Sweden | 3 months ago

the interface between formal verification and automated planning. This is a unique opportunity to contribute to safer, more intelligent systems through a combination of theoretical work and practical

Searches related to formal verification computer science

Enter an email to receive alerts for formal-verification-computer-science positions