Sort by
Refine Your Search
-
Employer
-
Field
-
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
-
, develop new research methods and extend the research portfolio. To deal with problems that may affect the achievement of research objectives and deadlines by discussing with the Principal Investigator
Searches related to software formal method phd
Enter an email to receive alerts for software-formal-method-phd positions