[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
Dear all,
The Institute of Computer Science at the University of Tartu in Estonia is
currently advertising a Full Professor position in Programming Languages:
https://urldefense.com/v3/__https://ut.ee/en/job-offer/professor-programming-languages-0__;!!IBzWLUs!SCtNfI7Plf8W3hdAeP5K2sFhFBjFaFUKdeV1uDPgsu1UJWYAU3JhUIc0HDb3sz41Vcvw6Hy_-N7OzidWwt0gszRsRQv9PpsYng$
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.
Best wishes,
Danel Ahman
