1 computational-complexity "Prof" PhD positions at Chalmers University of Technology

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

Chalmers University of Technology | Sweden | about 8 hours ago

for reactive synthesis. This allows us to describe dynamic behaviors in complex environments over time. You will work with formal tools such as: Planning domains and temporal logic — to describe the required