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

Sort by

listed

Refine Your Search

Sort by: relevance | listed |

Enter an email to receive alerts for proof-checking-postdoc 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 proof checking postdoc

Enter an email to receive alerts for proof-checking-postdoc positions