Stream: Mirror: Isabelle Users Mailing List

Topic: [isabelle] Position: Full Professor in Programming Langua...


view this post on Zulip Email Gateway (May 03 2024 at 11:08):

From: Georg Weissenbacher <georg.weissenbacher@tuwien.ac.at>
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

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:

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


Last updated: May 19 2024 at 04:18 UTC