Maynooth University Science Foundation Ireland

Principles of Programming Research Group

Maynooth University / Computer Science / Research

Modular AI Verification and Visualisation (MAIVV)

Modular AI Verification and Visualisation (MAIVV) is led by Dr Rosemary Monahan and Professor Barak 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 one post-doctoral researcher and a PhD student to work on this project. The successful candidates will work with academic and industry-based researchers, both in Ireland and internationally. Information on both positions follows at the links below.