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

Job title:

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

Company

Chalmers tekniska högskola

Job description

Up to two PhD positions at the intersection of Formal Verification and Planning What if you could design systems… that not only follow instructions – but understand intent and guarantee correct behavior over time? We are looking for up to two PhD…

Expected salary

34550 per month

Location

Göteborg

Job date

Wed, 02 Jul 2025 07:28:26 GMT

To help us track our recruitment effort, please indicate in your email/cover letter where (jobsineu.net) you saw this job posting.