The page you are requesting does not exist. You can start your search here!
-
Dublin, Lero (the SFI Research Centre for Software), and software company ServiceNow, focused on the development of novel AI-enhanced methods for software testing and quality assurance in enterprise
-
deadline. Applicants who have successfully defended their doctoral thesis but have not formally been awarded the doctoral degree will also be considered eligible to apply. The successful defence must
Searches related to formal methods
Enter an email to receive alerts for formal-methods positions