1 concrete-phd positions at University of Gothenburg in Sweden

Sort by

listed

Refine Your Search

Sort by: relevance | listed |

Enter an email to receive alerts for concrete-phd positions

Postdoc in Formal methods for Correct-by-Design of Autonomous Systems

University of Gothenburg | Sweden | 3 months ago

concurrent systems (the ReCiPe formalism, the R-CHECK Model-Checker, and the SynTM synthesis engine). Concrete tasks may involve (but not limited to) further developing existing theories and tools, developing

Searches related to concrete phd

Enter an email to receive alerts for concrete-phd positions