[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
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$