Post-Doctoral Researcher in Software Verification
Modular AI Verification and Visualisation (MAIVV)
(Until November 2025)
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:
- Working under the supervision of Work under the supervision of Professor Rosemary Monahan and Professor Barak A. Pearlmutter in the Dept. of Computer Science and Hamilton Institute at Maynooth University.
- Leading project tasks and carrying out administrative work to support the programme of research as appropriate.
- Evaluating existing techniques for the formal software development and explainability of AI-based systems.
- Designing and implementing tool support for the specification and verification of AI-based systems, focusing on traceability of requirements as the system evolves.
- Developing a practical case study to demonstrate practicalities of our research.
- Actively assisting and contributing to the writing and presentation of reports and academic papers for publication and wider research dissemination.
- Assisting in the development and submission of new research proposals.
- Carrying out additional duties as may reasonably be required within the general scope and level of the post.
The ideal candidate will have:
Mandatory:
- A PhD in a relevant area such as computer science, maths, engineering or related disciplines.
- A track record of peer-reviewed publications.
- Experience of tools and techniques for software validation and verification.
- The ability and eagerness to work effectively as part of a team.
- Excellent attention to detail, flexibility, initiative and good problem-solving abilities.
- Excellent research, analytical, oral and written communication skills.
- Ability to work with autonomy, manage workloads, deadlines and responsibilities.
- Ability to meet project deliverables.
- Excellent interpersonal skills.
Desirable:
- Experience of conducting research projects with industry partners.
- Experience conducting systematic literature review.
- Experience in applying for funding (i.e., H2020 EU or national funding schemes).
- Experience of working in international teams.
Selection and Appointment:
- Only shortlisted candidates will be invited to attend for interview;
- Candidates invited for interview will be required to make a brief presentation;
- Appointments will be approved by the President based on the report of the selection board;
- It is anticipated that interviews will be held in the month of June.
- The appointment is expected to be effective as soon as possible thereafter.
Salary:
- Post-doctoral Researcher: From Eur 42,033 - Eur 48,427 per annum (6 points)
- Increments are available if starting on lower points (capped at point 6).
Application Procedure: