<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;">
<div>The Laboratory for Software Science at the Institute of Computer</div>
<div>Science at the University of Tartu is seeking an aspiring talented</div>
<div>and hard-working young scientist to fill a postdoctoral position.</div>
<div><br>
</div>
<div>The successful candidate will work with Dr. Danel Ahman on topics at</div>
<div>the intersection of dependent and refinement types, computational</div>
<div>effects (in particular, algebraic effects and effect handlers) and</div>
<div>type-and-effect systems, and modal types, with specifics determined</div>
<div>based on the common interests of the candidate and the supervisor.</div>
<div>Candidates from other related PL areas are also encouraged to apply.</div>
<div><br>
</div>
<div>Our group currently consists of 4 faculty, 3 (soon 4) PhD students,</div>
<div>and soon 1 more postdoc (in addition to this advertisement), with</div>
<div>expertise in a wide range of PL topics, ranging from type systems and</div>
<div>semantics of programming languages, to abstract interpretation based</div>
<div>automated verification tools, to various topics in category theory.</div>
<div>Consult our webpage for more information on us: <a href="https://sws.cs.ut.ee/">https://sws.cs.ut.ee</a>.</div>
<div><br>
</div>
<div>In Estonia, we also have close ties and regularly collaborate with the</div>
<div>Algebra Group (<a href="https://math.ut.ee/en/content/algebra">https://math.ut.ee/en/content/algebra</a>) at the Institute </div>
<div>of Mathematics and Statistics at the University of Tartu, and the Logic</div>
<div>and Semantics Group (<a href="https://cs.ioc.ee/lsg/">https://cs.ioc.ee/lsg/</a>) at the Tallinn University</div>
<div>of Technology. We also collaborate actively internationally.</div>
<div><br>
</div>
<div>The position is for up to 18 months, with a start date on 1 Oct 2025</div>
<div>or soon thereafter. The monthly gross salary will start from 2700 EUR</div>
<div>depending on the experience of the candidate. The salary includes</div>
<div>coverage by the national health insurance system, paid annual leave</div>
<div>etc. A salary like this ensures a high standard of living in Estonia.</div>
<div><br>
</div>
<div>Knowledge of Estonian is not required for this position, and for living</div>
<div>in Tartu in general. The working language of our group is English.</div>
<div><br>
</div>
<div>For more information about life in Tartu and more broadly in Estonia,</div>
<div>see <a href="https://visittartu.com/">https://visittartu.com</a> and <a href="https://visitestonia.com/en">https://visitestonia.com/en</a>.</div>
<div><br>
</div>
<div>The job advertisement and application instructions can be found at</div>
<div><br>
</div>
<div> <a href="https://candidate.recrur.com/public/jobad/EN/6b969e7f-8">https://candidate.recrur.com/public/jobad/EN/6b969e7f-8</a></div>
<div><br>
</div>
<div>The application deadline is <b>01 Aug 2025</b>.</div>
<div><br>
</div>
<div>Interested candidates should contact Danel Ahman (<a href="mailto:danel.ahman@ut.ee">danel.ahman@ut.ee</a>)</div>
<div>with any questions.</div>
<br class="Apple-interchange-newline">
</body>
</html>