You're reading the public-facing archive of the Category Theory Zulip server.
To join the server you need an invite. Anybody can get an invite by contacting Matteo Capucci at name dot surname at gmail dot com.
For all things related to this archive refer to the same person.
Danel Ahman (Jul 01 2025 at 08:18):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.
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 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@ut.ee) with any questions.
Chad Nester (Jul 01 2025 at 10:36):As one of the members of the group in Tartu, I endorse this advertisement!