PhD Scholarship in Computer Science
Modular AI Verification and Visualisation (MAIVV)
(Duration: 48 Months, Funding: Eur 102,000)
Start date from September 2022

Maynooth University Science Foundation Ireland
We are seeking a research student to work on techniques for the formal software development of AI-based systems as part of the MAIVV project. The sucessful candidate will collaborate with researchers at Maynooth to produce scalable techniques for software development that guarantee software dependability when deep learning techniques are employed by developers. The output of this work will be a methodology which allows us to verify properties of hybrid systems with mixed discrete and continuous dynamics, and associated software tooling to integrate this with existing verification frameworks. A case study of a hybrid cyber-physical system will demonstrate the effectiveness of our approach.

The successful candidate will:

The ideal candidate will have:


This 4-year research position is funded for up to 48 months, depending on start date. Funding is available as follows:

Application process:

Applications are invited from those who have achieved a first class honours or a second class honours degree in Computer Science or a related discipline. Applications and queries should be emailed to to include: