[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
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$

