1 proof-checking-postdoc-computerscience Postdoctoral positions at University of Glasgow

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