Job: Full Professor for Programming Languages and Compilers in Vienna

anton@mips.complang.tuwien.ac.at
Sat, 04 May 2024 10:10:05 +0000

          From comp.compilers

Related articles
Job: Full Professor for Programming Languages and Compilers in Vienna anton@mips.complang.tuwien.ac.at (2024-05-04)
| List of all articles for this month |

From: anton@mips.complang.tuwien.ac.at
Newsgroups: comp.compilers
Date: Sat, 04 May 2024 10:10:05 +0000
Organization: Compilers Central
Injection-Info: gal.iecc.com; posting-host="news.iecc.com:2001:470:1f07:1126:0:676f:7373:6970"; logging-data="13031"; mail-complaints-to="abuse@iecc.com"
Keywords: jobs
Posted-Date: 04 May 2024 15:06:55 EDT

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/


Post a followup to this message

Return to the comp.compilers page.
Search the comp.compilers archives again.