# Full Professor position in Programming Languages at the University of Tartu

**URL:** <https://discourse.rocq-prover.org/t/full-professor-position-in-programming-languages-at-the-university-of-tartu/2847>\
**Category:** Jobs\
**Created:** [November 6, 2025, 9:12am UTC](https://discourse.rocq-prover.org/t/full-professor-position-in-programming-languages-at-the-university-of-tartu/2847 "2025-11-06T09:12:35Z")\
**Posts on this page:** 1\
**Page:** 1

<div class="post-metadata">

**Author:** ![danelahman](https://avatars.discourse-cdn.com/v4/letter/d/8dc957/32.png) [@danelahman](https://discourse.rocq-prover.org/u/danelahman)\
**Post date:** [November 6, 2025, 9:12am UTC](https://discourse.rocq-prover.org/t/full-professor-position-in-programming-languages-at-the-university-of-tartu/2847/1 "2025-11-06T09:12:35Z")

</div>

The Institute of Computer Science at the University of Tartu in Estonia is  
currently advertising a Full Professor position in Programming Languages:

[https://ut.ee/en/job-offer/professor-programming-languages-0](https://ut.ee/en/job-offer/professor-programming-languages-0)

Areas of particular interest include semantics and types, compilers and runtimes,  
static/dynamic analysis, verification, synthesis, and language-based security.

The application deadline is 15.12.2025.