[Haskell-cafe] Postdoctoral Researcher Position at the University of Tartu

Danel Ahman danel.ahman at ut.ee
Tue Jul 1 08:36:37 UTC 2025


The Laboratory for Software Science at the Institute of Computer
Science at the University of Tartu is seeking an aspiring talented
and hard-working young scientist to fill a postdoctoral position.

The successful candidate will work with Dr. Danel Ahman on topics at
the intersection of dependent and refinement types, computational
effects (in particular, algebraic effects and effect handlers) and
type-and-effect systems, and modal types, with specifics determined
based on the common interests of the candidate and the supervisor.
Candidates from other related PL areas are also encouraged to apply.

Our group currently consists of 4 faculty, 3 (soon 4) PhD students,
and soon 1 more postdoc (in addition to this advertisement), with
expertise in a wide range of PL topics, ranging from type systems and
semantics of programming languages, to abstract interpretation based
automated verification tools, to various topics in category theory.
Consult our webpage for more information on us: https://sws.cs.ut.ee<https://sws.cs.ut.ee/>.

In Estonia, we also have close ties and regularly collaborate with the
Algebra Group (https://math.ut.ee/en/content/algebra) at the Institute
of Mathematics and Statistics at the University of Tartu, and the Logic
and Semantics Group (https://cs.ioc.ee/lsg/) at the Tallinn University
of Technology. We also collaborate actively internationally.

The position is for up to 18 months, with a start date on 1 Oct 2025
or soon thereafter. The monthly gross salary will start from 2700 EUR
depending on the experience of the candidate. The salary includes
coverage by the national health insurance system, paid annual leave
etc. A salary like this ensures a high standard of living in Estonia.

Knowledge of Estonian is not required for this position, and for living
in Tartu in general. The working language of our group is English.

For more information about life in Tartu and more broadly in Estonia,
see https://visittartu.com<https://visittartu.com/> and https://visitestonia.com/en.

The job advertisement and application instructions can be found at

  https://candidate.recrur.com/public/jobad/EN/6b969e7f-8

The application deadline is 01 Aug 2025.

Interested candidates should contact Danel Ahman (danel.ahman at ut.ee<mailto:danel.ahman at ut.ee>)
with any questions.

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/haskell-cafe/attachments/20250701/463ac774/attachment.html>


More information about the Haskell-Cafe mailing list