[TYPES/announce] Postdoctoral Position, VERIFAI, closing June 9th 2024
Rosemary Monahan
Rosemary.Monahan at mu.ie
Tue Jun 4 06:00:00 EDT 2024
________________________________
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$
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20240604/9d9a59f7/attachment-0001.htm>
More information about the Types-announce
mailing list