Post Doctoral Researcher
Maynooth University
- Maynooth, Co Kildare
- €42,783-49,117 per year
- Permanent
- Full-time
Vacancy ID : 028241 Closing Date : 09-Jun-2024We 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 requirementsTo 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 2024Applications 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 employerThe position is subject to the Statutes of the UniversityClick on the link(s) below to view documents Filesize
215.4
275.8