[TYPES/announce] 2 year postdoc in Tallinn - application deadline 15 September

[Pawel Sobocinski]

Dear all,

I would like to advertise a two year postdoc starting on 1 January 2025 in the Compositionality group at the Tallinn University of Technology.

The application deadline is 15 September 2024.

The position would suit a theoretically minded computer scientist interested in applications of probability theory and logic in verification and AI. 

The project is tied to the Estonian Center of Excellence in AI (EXAI) and the successful candidate will have the opportunity to get involved in several other exciting ongoing projects in Tallinn and Tartu.

There is also a close thematic connection with the ARIA Safeguarded AI programme which is supporting two projects in the group that have closely aligned goals in developing categorical probability theory and diagrammatic reasoning. 

Applicants can apply at the link pasted below. Please do not hesitate to reach out to me with any questions. 

Best wishes,
Pawel

https://urldefense.com/v3/__https://candidate.recrur.com/public/jobad/en/6fe08182-2__;!!IBzWLUs!UGgFcoQkpPKE0p7SUCAjZxTWH9MKFXlx6UqRt1Rv_zMpvbQ7R4a-QwsASz0Kh7kx3bxZV2bbJGAGKcuj7BZgLHGu7nyYxiGhIQ$ 
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20240827/9a6f50b6/attachment.htm>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: favicon.ico
Type: image/vnd.microsoft.icon
Size: 6758 bytes
Desc: not available
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20240827/9a6f50b6/attachment.ico>