PhD Scholarship in Computer Science
Modular AI Verification and Visualisation (MAIVV)
(Duration: 48 Months, Funding: Eur 102,000)
Deadline: November 19th 2021

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:

Funding:

This 4-year research position is funded for up to 48 months, depending on start date, with an anticipated commencement month of December 2021. 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 Rosemary.Monahan@mu.ie by November 19th 2021 to include: