Post-Doctoral Researcher
Modular AI Verification and Visualisation (MAIVV)
(Duration: 36 Months)
Deadline: November 7th 2021

Maynooth University Science Foundation Ireland

We are seeking an energetic and enthusiastic postdoctoral researcher to work on techniques for the formal software development of AI-based systems. Our overall goal is to provide scalable techniques for software development that guarantee software dependability, even when deep learning techniques are employed by developers. A case study of a hybrid cyber-physical system will demonstrate the effectiveness of our approach.

Much of our recent research has centred on modularising specifications and refinements via our extensions to the Event-B specification language. We plan to adapt our enhanced modularised Event-B, to verify elements of existing deep learning systems, guided by appropriate visualisations. The output of this work will be a system 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.

The successful candidate will work with academic and industry-based researchers, both in Ireland and internationally. The post advertised here will be for up to 36 months, depending on start date, with commencement possible from December 2021.

Principal Duties:

The ideal candidate will have: