Modular AI Verification and Visualisation (MAIVV)
Modular AI Verification and Visualisation (MAIVV) is led by Professor Rosemary Monahan and Professor Barak A. Pearlmutter in the Dept. of Computer Science and Hamilton Institute at Maynooth University . The project is funded from December 2021 until November 2025, hiring two three-year postdoctoral researchers and one PhD student over the four years.
Our overall goal is to provide scalable techniques for software development that guarantee software dependability, even 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.
We are currently seeking a post-doctoral researcher to work on this project. Information on positions on this project follow at the links below.
- Post Doctoral research on software verification (30 month contract) Applications open with start date available in late 2022/early 2023.
- Post Doctoral research on visualising deep learning systems (30 month contract) Position closed.
- Funded PhD position (2022 - 2025, Eur 102,000) Position closed.