1 formal-methods Postdoctoral positions at University of Glasgow

Sort by

listed

Refine Your Search

Sort by: relevance | listed |

Enter an email to receive alerts for formal-methods positions

Research Assistant/Associate

University of Glasgow | Glasgow, Scotland | United Kingdom | 2 months ago

SingularityNET and Actyx AG. The aim of the project is to develop, and mechanise via a proof assistant like Agda, a unified formal model (Uni-pi) based on the pi-calculus and session/linear types

Searches related to formal methods

Enter an email to receive alerts for formal-methods positions