• Job: Full Professor for Programming Languages and Compilers in Vienna

    From anton@anton@mips.complang.tuwien.ac.at to comp.compilers on Sat May 4 10:10:05 2024
    From Newsgroup: comp.compilers

    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://cysec.wien/) and the Center for Artificial Intelligence and Machine Learning (https://caiml.org/) 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
    - Domain-specific languages, Specification Languages, Modeling Languages

    More details can be found on https://informatics.tuwien.ac.at/news/2586

    - anton
    --
    M. Anton Ertl
    anton@mips.complang.tuwien.ac.at
    http://www.complang.tuwien.ac.at/anton/
    --- Synchronet 3.21b-Linux NewsLink 1.2