[TYPES/announce] Postdoctoral Position, VERIFAI, closing June 9th 2024

[Rosemary Monahan]

________________________________
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>