<html><head><meta http-equiv="content-type" content="text/html; charset=us-ascii"></head><body style="overflow-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;">Dear all,<div><br></div><div>I would like to advertise a two year postdoc starting on 1 January 2025 in the Compositionality group at the Tallinn University of Technology.</div><div><br></div><div>The application deadline is 15 September 2024.</div><div><br></div><div>The position would suit a theoretically minded computer scientist interested in applications of probability theory and logic in verification and AI. </div><div><br></div><div>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.</div><div><br></div><div>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. </div><div><br></div><div>Applicants can apply at the link pasted below. Please do not hesitate to reach out to me with any questions. </div><div><br></div><div>Best wishes,</div><div>Pawel</div><br class="Apple-interchange-newline" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);"><div><div style="display: block;"><div style="-webkit-user-select: all; -webkit-user-drag: element; display: inline-block;" class="apple-rich-link" draggable="true" role="link" data-url="https://candidate.recrur.com/public/jobad/en/6fe08182-2"><a style="border-radius:10px;font-family:-apple-system, Helvetica, Arial, sans-serif;display:block;-webkit-user-select:none;width:300px;user-select:none;-webkit-user-modify:read-only;user-modify:read-only;overflow:hidden;text-decoration:none;" class="lp-rich-link" rel="nofollow" href="https://urldefense.com/v3/__https://candidate.recrur.com/public/jobad/en/6fe08182-2__;!!IBzWLUs!UGgFcoQkpPKE0p7SUCAjZxTWH9MKFXlx6UqRt1Rv_zMpvbQ7R4a-QwsASz0Kh7kx3bxZV2bbJGAGKcuj7BZgLHGu7nyYxiGhIQ$" dir="ltr" role="button" draggable="false" width="300"><table style="table-layout:fixed;border-collapse:collapse;width:300px;background-color:#E5E6E9;font-family:-apple-system, Helvetica, Arial, sans-serif;" class="lp-rich-link-emailBaseTable" cellpadding="0" cellspacing="0" border="0" width="300"><tbody><tr><td vertical-align="center"><table bgcolor="#E5E6E9" cellpadding="0" cellspacing="0" width="300" style="font-family:-apple-system, Helvetica, Arial, sans-serif;table-layout:fixed;background-color:rgba(229, 230, 233, 1);" class="lp-rich-link-captionBar"><tbody><tr><td style="padding:8px 0px 8px 0px;" class="lp-rich-link-captionBar-textStackItem"><div style="max-width:100%;margin:0px 16px 0px 16px;overflow:hidden;" class="lp-rich-link-captionBar-textStack"><div style="word-wrap:break-word;font-weight:500;font-size:12px;overflow:hidden;text-overflow:ellipsis;text-align:left;" class="lp-rich-link-captionBar-textStack-topCaption-leading"><a rel="nofollow" href="https://urldefense.com/v3/__https://candidate.recrur.com/public/jobad/en/6fe08182-2__;!!IBzWLUs!UGgFcoQkpPKE0p7SUCAjZxTWH9MKFXlx6UqRt1Rv_zMpvbQ7R4a-QwsASz0Kh7kx3bxZV2bbJGAGKcuj7BZgLHGu7nyYxiGhIQ$" style="text-decoration: none" draggable="false"><font color="#272727" style="color: rgba(0, 0, 0, 0.847059);">Postdoctoral Researcher in Diagrammatic Probabilistic First-order Logic for Safeguarding AI</font></a></div><div style="word-wrap:break-word;font-weight:400;font-size:11px;overflow:hidden;text-overflow:ellipsis;text-align:left;" class="lp-rich-link-captionBar-textStack-bottomCaption-leading"><a rel="nofollow" href="https://urldefense.com/v3/__https://candidate.recrur.com/public/jobad/en/6fe08182-2__;!!IBzWLUs!UGgFcoQkpPKE0p7SUCAjZxTWH9MKFXlx6UqRt1Rv_zMpvbQ7R4a-QwsASz0Kh7kx3bxZV2bbJGAGKcuj7BZgLHGu7nyYxiGhIQ$" style="text-decoration: none" draggable="false"><font color="#808080" style="color: rgba(0, 0, 0, 0.498039);">candidate.recrur.com</font></a></div></div></td><td style="padding:6px 12px 6px 0px;" class="lp-rich-link-captionBar-rightIconItem" width="36"><a rel="nofollow" href="https://urldefense.com/v3/__https://candidate.recrur.com/public/jobad/en/6fe08182-2__;!!IBzWLUs!UGgFcoQkpPKE0p7SUCAjZxTWH9MKFXlx6UqRt1Rv_zMpvbQ7R4a-QwsASz0Kh7kx3bxZV2bbJGAGKcuj7BZgLHGu7nyYxiGhIQ$" draggable="false"><img style="pointer-events:none !important;display:inline-block;width:36px;height:36px;border-radius:3px;" width="36" height="36" draggable="false" class="lp-rich-link-captionBar-rightIcon" alt="favicon.ico" src="cid:2687E6F0-8CE7-402D-87D2-5D08CF264AE5"></a></td></tr></tbody></table></td></tr></tbody></table></a></div></div></div></body></html>