2 formal-semantics Postdoctoral research jobs at Chalmers University of Technology in sweden
-
formal verification of automation systems. Engage in teaching at undergraduate and master's levels, if required. Collaborate with partners across academia, industry, and society. Qualifications PhD degree
-
. Contribute to research projects within discrete-event systems, supervisory control theory, and formal verification of automation systems. Engage in teaching at undergraduate and master's levels, if required
Searches related to formal semantics
Enter an email to receive alerts for formal-semantics positions in sweden