[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
________________________________
Hi Everyone,
We are seeking a postdoctoral researcher to work on techniques for formalising
specifications for software verification. The project, VERIFAI: Traceability
and Verification of natural-language requirements, is funded via ADAPT, the SFI
Research Centre for AI-Driven Digital Content Technology as follows:
Postdoctoral Researcher (2023) Salary Scale:
€42,783 - €49,117 p.a. (6 points)
Senior Postdoctoral Researcher (2023) Salary Scale: €50,540 (1 point)
The closing date for application is Sunday, 9th June 2024. The contract is
until 31/1/2026.
For details and the application process see
https://urldefense.com/v3/__https://my.corehr.com/pls/nuimrecruit/apply?id=028241__;!!IBzWLUs!TnSzkMlW5m2rQjzR_6FSyxcqHpixbaiymseMwSrnGRw6DP9nqncYjqG7qH_Eb0o40_CUdiB0KsmtVDa1iiogEdMJlpAzeyCsnTOj2p6S$
<https://urldefense.com/v3/__https://my.corehr.com/pls/nuimrecruit/apply?id=028241__;!!IBzWLUs!S_rK_TwlwfTaTYQJB-BqhZTDuPeErGM5BJ7xxl7UrBlSDI0lCreX6Zob8XqnemVgTGaf22Ng2FDdREhxuFU64TUhyvYf86yWYaHmslZf$>
Please pass on the information to anyone who might be interested.
Regards,
Rosemary
Professor Rosemary Monahan
Principles of Programming Research Group
Department of Computer Science & Hamilton Institute,
Maynooth University, Maynooth, Co. Kildare, Ireland.
T: +353 1 7083847 F:+353-1-7083848
W:
https://urldefense.com/v3/__https://www.maynoothuniversity.ie/computer-science/our-people/rosemary-monahan__;!!IBzWLUs!TnSzkMlW5m2rQjzR_6FSyxcqHpixbaiymseMwSrnGRw6DP9nqncYjqG7qH_Eb0o40_CUdiB0KsmtVDa1iiogEdMJlpAzeyCsnfNPuCkZ$
