Post-Doctoral Researcher in Software Verification
Modular AI Verification and Visualisation (MAIVV)
(Until November 2025)

Maynooth University Science Foundation Ireland

We are seeking an energetic and enthusiastic postdoctoral researcher to work on techniques for the formal software specification and verification of AI-based systems. Our overall goal is to provide scalable techniques for software development that guarantee software dependability when deep learning techniques are employed by developers.

The successful candidate will work with academic and industry-based researchers, both in Ireland and internationally.

Principal Duties:

The ideal candidate will have:

Mandatory:

Desirable:

Selection and Appointment:

Salary:

Application Procedure: