2 software-formal-method-phd Postdoctoral positions at Chalmers University of Technology

Two Postdocs in Programming Languages

Chalmers University of Technology | Sweden | about 2 months ago

Do you want to use functional programming to find new ways to develop, test and formally verify software or hardware? Chalmers, with its world leading groups in functional programming and formal

Postdoc in Human-in-the-Loop Autonomous Systems

Chalmers University of Technology | Sweden | about 19 hours ago

to represent and model expectations using formal methods, develop techniques that help a system reason about human expectations at runtime, and evaluate the contributions using simulations and experiments with