Department: Computer Science
Vacancy ID: 028241
Closing Date: 09-Jun-2024

We are seeking an energetic and enthusiastic postdoctoral researcher to work on techniques for formalising specifications for software verification. Our overall goal in this research, is to provide for the automatic generation of formal specifications, and to support the traceability of the requirements from the initial software design stage through the systems implementation and verification.

VERIFAI: Traceability and Verification of natural-language requirements

To verify the correctness and reliability of safety critical software, we express safety properties of the system as a collection of formal specifications that are unambiguous and that can be reasoned about mathematically. Verification of these formal specifications is achieved through methods such as deductive verification, model checking and runtime verification.

Postdoctoral Researcher (2023) Salary Scale: €42,783 - €49,117 p.a. (6 points)

Senior Postdoctoral Researcher (2023) Salary Scale: €50,540 (1 point)

Closing Date:

23:30hrs (local Irish time) on Sunday, 9th June 2024

Applications must be submitted by the closing date and time specified above. Any applications which are still in progress at the closing time on the specified closing date will be cancelled automatically by the system.

Late applications will not be accepted.

Maynooth University is an equal opportunities employer

The position is subject to the Statutes of the University