Sort by
Refine Your Search
-
Employer
-
Field
-
at Trinity College Dublin (TCD) seeks to appoint an outstanding, enthusiastic, and highly motivated Research Fellow who will contribute to a project that uses machine-learning methods to forecast
-
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
-
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
Searches related to formal methods
Enter an email to receive alerts for formal-methods positions