[TYPES/announce] Position: Full Professor in Programming Languages and Compilers at TU Wien, Austria

[Georg Weissenbacher]

The Faculty of Informatics of TU Wien, one of the top-ranked faculties
of Informatics in Europe and located in Vienna, Austria, the world's most
livable city, is seeking to hire a

* Full Professor in Programming Languages and Compilers *

Application deadline: June 13, 2024 (jobs.tuwien.ac.at/Job/227767)
Position to be filled as of October 1, 2025

TU Wien's Faculty of Informatics is home to world-renowned researchers
in a wide range of areas including Logic and Computation, Information
Systems Engineering, Computer Engineering, and Visual Computing and
Human-Centered Technology. Numerous initiatives such as the
Cybersecurity Center (https://urldefense.com/v3/__https://cysec.wien/__;!!IBzWLUs!RaFc-eiY1UfPV954D3Jgytc7a4qTQ-6bA8eLq12_xeSroG5WzfDSc-Kh1Dh5gnRMwzN0EZMWw1EBky2om6q0I_mqk729hCDKDJ_aDWAch6fBKA$ ) and the Center for Artificial
Intelligence and Machine Learning (https://urldefense.com/v3/__https://caiml.org/__;!!IBzWLUs!RaFc-eiY1UfPV954D3Jgytc7a4qTQ-6bA8eLq12_xeSroG5WzfDSc-Kh1Dh5gnRMwzN0EZMWw1EBky2om6q0I_mqk729hCDKDJ_aDWBm0lJX6g$ ) demonstrate the
Faculty's strong focus on collaboration and interdisciplinarity.

To complement and strengthen our existing expertise and research
excellence, we are looking for a strong candidate with an outstanding
record in research and teaching in the field of Programming Languages and
Compilers, who will establish an internationally leading research
group at TU Wien.

Desired areas of research and expertise may include but are not limited to:

- Languages and compilers for emerging computing paradigms and
  specialized architectures
- AI-assisted code generation, compilation, and programming tools
- Language-based security, privacy, and reliability
- Program analysis and formal guarantees for languages and compilers,
  including type theory
- Domain-specific languages, Specification Languages, Modeling Languages

More details can be found on https://urldefense.com/v3/__https://informatics.tuwien.ac.at/news/2586__;!!IBzWLUs!RaFc-eiY1UfPV954D3Jgytc7a4qTQ-6bA8eLq12_xeSroG5WzfDSc-Kh1Dh5gnRMwzN0EZMWw1EBky2om6q0I_mqk729hCDKDJ_aDWA1j3sUew$