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
Similar Positions
-
Ucd Post Doctoral Research Fellow Level 1 , ;, Ireland, 15 days ago
Applications are invited for a temporary post of a Post-doctoral Research Fellow Level 1 within UCD School of Biomolecular and Biomedical Science. A postdoctoral scientist is required to investiga...
-
Post Doc Researcher Edge Ai Trust Project (R2), BARCELONA SUPERCOMPUTING CENTER, Spain, 1 day ago
26 Apr 2024 Job Information Organisation/Company BARCELONA SUPERCOMPUTING CENTER Department Computer Sciences Research Field Computer science » Systems design Researcher Profile First Stage Resear...
-
Marie Sklodowska Curie Postdoctoral Fellowships, Institut d'Investgació i Innovació Parc Taulí (I3PT), Spain, about 4 hours ago
29 Apr 2024 Job Information Organisation/Company Institut d'Investgació i Innovació Parc Taulí (I3PT) Research Field Other Researcher Profile First Stage Researcher (R1) Country Spain Application...
-
2 Year Postdoc Position Available At Simula In Explainable Machine Learning And Nlp For Software Engineering, Simula Research Laboratory, Norway, about 18 hours ago
29 Apr 2024 Job Information Organisation/Company Simula Research Laboratory Department Department of Validation Intelligence of Autonomous Systems Research Field Computer science Researcher Profil...
-
Researcher On Information Management With Ability To Generate Insights And Recommendations Based On Data Analysis, University of the Aegean(UoA), Greece, 8 days ago
20 Apr 2024 Job Information Organisation/Company University of the Aegean(UoA) Department Dept. of Financial and Management Engineering (Information Management Lab - UAegean i4m Lab) | School of E...
-
Postdoctoral Fellowship: Long Term Outcomes Among Young Adults With Pain And Mental Health Issues , OsloMet, Norway, 17 days ago
Oslo Metropolitan University is Norway's third largest university with almost 22,000 students and over 2,500 employees. We have campuses in central Oslo and at Romerike. OsloMet educates students ...