Universität St. Gallen

Die Programmiergruppe am Institut für Informatik der Universität St.Gallen führt mehrere Projekte an der Schnittstelle von Programmiersprachen, Softwaretechnik und Sicherheit durch. Aktuelle Forschungsthemen umfassen Sprachdesign für verteilte Systeme, Verifikation von replizierten Datenstrukturen, reaktive Programmierung, Infrastruktur als Code, DevOps-Organisationen und den Einsatz von KI für die Softwareentwicklung.

Ihre Aufgaben

• Entwicklung originärer Forschung an der Schnittstelle von Programmiersprachen, Softwaretechnik und Sicherheit
• Zusammenarbeit mit Kolleginnen und Kollegen, die zu den aktuell laufenden Forschungsprojekten im Team beitragen
• Veröffentlichung von Forschungsergebnissen auf wissenschaftlichen Konferenzen/Zeitschriften
• Entwicklung von Softwareprototypen zur Demonstration der Anwendbarkeit der erzielten Ergebnisse

Ihr Profil

• Masterabschluss in Informatik oder einem eng verwandten Fachgebiet
• Fähigkeit, Softwaresysteme von erheblicher Komplexität zu entwerfen und zu implementieren
• Fundiertes Verständnis grundlegender Themen der Informatik, wie Programmiersprachen, Compiler, verteilte Systeme und theoretische Informatik

„Ein Ort, an dem Wissen geschaffen wird“ - Als eine der führenden europäischen Universitäten für Wirtschaftswissenschaften und Betriebswirtschaft ist die Universität St.Gallen (HSG), Schweiz, der Ausbildung von über 10.000 Studierenden verpflichtet. Die HSG ist einer der größten Arbeitgeber der Region und bietet mehr als 3.500 Forschenden, Lehrenden und Fachkräften ein attraktives und innovatives Umfeld.

Über das Unternehmen

Universität St. Gallen

Bildungswesen

Anzahl der Mitarbeiter unbekannt

51 Jobs