1 formal-method Postdoctoral positions at University of Glasgow

Sort by

listed

Refine Your Search

Sort by: relevance | listed |

Enter an email to receive alerts for formal-method positions

Research Assistant/Associate

University of Glasgow | Glasgow, Scotland | United Kingdom | 3 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 method

Enter an email to receive alerts for formal-method positions