1 formal-verification PhD positions at R@ISE Project (University of Limerick) in Ireland
Sort by
Refine Your Search
-
systems. The project is located at the nexus of software platform and application development, with a strong reliance on advanced model-driven development technologies, formal methods, and data science
Searches related to formal verification
Enter an email to receive alerts for formal-verification positions