The Kurt Gödel Research Center for Mathematical Logic (KGRC) at the University of Vienna invites applications for a Senior Scientist to conduct research in model theory and to initiate computer-based formalization of foundational concepts. The position is initially limited to one year with the possibility of extension; you will actively seek third-party funding, supervise students, and contribute to teaching in German and English within the university’s collective agreements.
#J-18808-Ljbffr
#J-18808-Ljbffr
Senior Scientist, Model Theory & Formalization Arbeitgeber: Technical University of Denmark
Die Universität Basel bietet eine herausragende Gelegenheit für Doktoranden im Bereich der Forensischen Psychologie, um in einem dynamischen und unterstützenden Umfeld zu forschen. Mit Zugang zu modernsten Laboren und der Möglichkeit zur Zusammenarbeit mit nationalen und internationalen Experten fördert die Fakultät eine inklusive Arbeitskultur, die Vielfalt schätzt und individuelle Entwicklungsmöglichkeiten bietet. Hier können Sie nicht nur Ihre akademischen Fähigkeiten erweitern, sondern auch aktiv zur Lösung gesellschaftlicher Herausforderungen beitragen.
Kontaktdaten:
Technical University of Denmark Recruiting-Team
