1 programming-languages-"the"-"CNRS"-"U"-"UCL"-"O.P"-"IDAEA-CSIC" "Prof" PhD positions at Chalmers University of Technology

Sort by

listed

Refine Your Search

Sort by: relevance | listed |

Enter an email to receive alerts for programming-languages-"the"-"CNRS"-"U"-"UCL"-"O.P"-"IDAEA-CSIC" "Prof" positions

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

Chalmers University of Technology | Sweden | 3 months ago

implementation. About the project Reactive synthesis refers to the automatic generation of programs from high-level behavioral specifications. This approach plays an increasingly important role in areas such as

Enter an email to receive alerts for programming-languages-"the"-"CNRS"-"U"-"UCL"-"O.P"-"IDAEA-CSIC" "Prof" positions