Post Doctoral Researcher, Computed Science

Maynooth University

Maynooth, Co Kildare
€42,783-50,540 per year
Permanent
Full-time

13 days ago

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 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 UniversityShare this jobSave jobClick to add the job to your shortlistYou need to or to save a job.Get job alertsCreate a job alert and receive personalised job recommendations straight to your inbox.© 2015 - 2024 THE World Universities Insights Limited. Powered by Madgex Job Board SoftwareCloseBefore you apply -
Turn on alerts for jobs like this!We'll send them straight to your inbox :What is your email address? requiredWhen you create this job alert we will email you a selection of jobs matching your criteria. Our and apply to this service and you can unsubscribe at any time.By clicking to continue to apply below, your email address will be shared with the employer.Create alert and continue to apply (This will open in a new window from which you will be automatically redirected to an external site after 5 seconds)

Times Higher Education

Apply Now