-
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 method
Enter an email to receive alerts for formal-method positions