University of Vienna seeks a Senior Scientist in the Kurt Gödel Research Center for Mathematical Logic to lead research in model theory and to initiate computer-based formalization of foundational concepts. The role includes securing external funding and coordinating third-party funded projects. You will supervise students, teach in German and English, and contribute to the group’s research and teaching activities, within the university’s inclusive environment.
#J-18808-Ljbffr
#J-18808-Ljbffr
Senior Scientist — Model Theory & Formalization Arbeitgeber: University of Vienna
Die Universität Wien ist ein hervorragender Arbeitgeber, der eine inspirierende Arbeitsumgebung für engagierte Wissenschaftler:innen bietet. Mit einem starken Fokus auf Forschung und Lehre im Bereich Rechtswissenschaften fördert die Universität nicht nur die persönliche und berufliche Weiterentwicklung ihrer Mitarbeiter:innen, sondern bietet auch vielfältige Möglichkeiten zur Mitgestaltung von Publikationen und Tagungen. Die inklusive und antidiskriminatorische Anstellungspolitik schafft ein unterstützendes Umfeld, in dem Vielfalt geschätzt wird und qualifizierte Frauen ermutigt werden, sich aktiv einzubringen.
