[TYPES/announce] Research Fellow position at the 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 3 year 
fixed-term position with the possibility of extension

We seek a strong candidate with demonstrated expertise in the foundations of
programming languages, specifically on the verification of concurrent programs,
including but not limited to topics such as abstract interpretation, static
analysis, type systems, program logics, or denotational semantics. 

The successful candidate will work as part of the Laboratory for Software
Science (https://urldefense.com/v3/__https://sws.cs.ut.ee__;!!IBzWLUs!RZuZClp5erCwuZQjfLLVNJJ89vcPEOF4-yI8mIkImSx-O8jkHYdEX4Bsk6AHDlIOPZIIz2hnqB1Wqk95oAtGZ4Q7z8V6fSAa5Q$ ) under the Chair of Programming Languages 
and Systems. The group currently consists of Danel Ahman, Kalmer Apinis, 
Chad Nester, and Vesal Vojdani, and three PhD students. The successful 
candidate will contribute to the group's recently started Explainable 
Verification project funded by the Estonian Research Agency. 

For more information and application instructions, see 

  https://urldefense.com/v3/__https://ut.ee/en/job-offer/research-fellow-programming-langugages__;!!IBzWLUs!RZuZClp5erCwuZQjfLLVNJJ89vcPEOF4-yI8mIkImSx-O8jkHYdEX4Bsk6AHDlIOPZIIz2hnqB1Wqk95oAtGZ4Q7z8WbCMDFKg$ 

The application deadline is 01.04.2025.

Tartu is a pleasant student town easily reached from Tallinn, the capital of
Estonia. It was 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 2025. 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) or Vesal Vojdani (vesal.vojdani at ut.ee).