[Agda] Research Fellow in Programming Languages Foundations, University of Tartu, Estonia

[Danel Ahman]

The Institute of Computer Science at the University of Tartu invites
applications for a Research Fellow position in Programming Languages. This
is a permanent full-time position. The application deadline is 01.03.2024.

We seek a strong candidate with demonstrated expertise in the foundations of
programming languages. The successful candidate will work as part of the
Laboratory for Software Science under the Chair of Programming Languages
and Systems. Please consult our webpages to get an overview of our work:

  https://plas.cs.ut.ee<https://plas.cs.ut.ee/>

For further details and requirements concerning the position, and for
application instructions, see

  https://ut.ee/en/job-offer/research-fellow-programming-languages

The knowledge of Estonian language is not a prerequisite for this position, but
please note that international academic staff will have to reach at least a B1
level of Estonian language proficiency after five years of work in Estonia.

Tartu is a pleasant student town easily reached from Tallinn, the capital of
Estonia. It is one of the European Capitals of Culture in 2024. The University
is one of the oldest in Northern Europe (est 1632), ranked #301-350 in the THE
rankings 2024. The Institute of Computer Science is strong in a wide range of
research areas, and has excellent modern premises and infrastructure.

For any enquiries about the advertised position, you can contact me
(danel.ahman at ut.ee<mailto:danel.ahman at ut.ee>) and Vesal Vojdani (vesal.vojdani at ut.ee<mailto:vesal.vojdani at ut.ee>).
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.chalmers.se/pipermail/agda/attachments/20240209/39d6ccac/attachment.html>