Universitätsprofessur (W3) "Programmiersprachen und Programmanalyse"

Als Die Forschungsuniversität in der Helmholtz-Gemeinschaft schafft und ver mittelt das Karlsruher Institut für Technologie (KIT) Wissen für Gesellschaft und Umwelt.

Ziel ist es, zu den globalen Herausforderungen maßgebliche Beiträge in den Feldern Energie, Mobilität und Information zu leisten.

Daran arbeiten am KIT rund 9.800 Mitarbeiterinnen und Mitarbeiter auf einer breiten disziplinären Basis in Forschung, Lehre und Innovation zusammen.

Im Bereich II Informatik, Wirtschaft und Gesellschaft des Karlsruher Instituts für Technologie (KIT) mit seiner KIT-Fakultät für Informatik ist zum nächst mög lichen Zeitpunkt am Institut für Programmstrukturen und Datenorganisation (IPD) eine unbefristete

Universitätsprofessur (W3)

Programmiersprachen und Programmanalyse

zu besetzen.

Die Professur soll Expertise des KIT auf dem Gebiet der Programmiersprachen und des Software Engineerings stärken und ausbauen.

Forschungsschwerpunkte für diese Professur sind beispielsweise Verfahren für die Programmanalyse von Sicherheits- oder Korrektheits eigenschaften, der Entwurf und die Implementierung von Quanten programmier sprachen oder domänen spezifischen Sprachen, innovative Konzepte zur Parallel programmierung oder Compiler technologien.

In der Lehre soll die Professur zur Ausbildung von Studierenden der Informatik und anderer ingenieur wissen schaftlicher Studiengänge am KIT beitragen.

Es wird eine signifikante Beteiligung an der grundständigen Lehre erwartet.

Die Professur wird Universitätsaufgaben mit einer Lehrverpflichtung von 9 SWS wahrnehmen und soll im KIT-Zentrum Information

• Systeme
• Technologien (KCIST) mitwirken. Erwartet wird zudem eine aktive Beteiligung an den akade mischen Aufgaben der KIT-Fakultät für Informatik und an der Selbst verwaltung des KIT im Bereich II sowie eine Mitwirkung in der kollegialen Institutsleitung des IPD.

Es wird eine Persönlichkeit gesucht, die über eine hervorragende wissen schaft liche Qualifikation verfügt und in ihrem Fachgebiet international ausgewiesen ist.

Es werden Fähigkeiten in der Einwerbung von Drittmitteln und der Führung wissen schaftlicher Arbeits gruppen erwartet, zudem sehr gute didaktische Fähigkeiten.

Es gelten die Einstellungsvoraussetzungen gemäß 14 Abs. 2 KIT-Gesetz i. V. m. 47 Landeshoch schulgesetz Baden-Württemberg.

Wir streben eine möglichst gleichmäßige Besetzung der Arbeitsplätze mit Beschäftigten (w / m / d) an und würden uns daher insbesondere über Bewerbungen von Frauen freuen.

Bei gleicher Eignung werden anerkannt schwerbehinderte Menschen bevorzugt berücksichtigt. Das KIT bietet als familien freundliche Hochschule Teilzeit beschäftigung, Beurlaubung aus familiären Gründen, einen Dual Career Service und begleitendes Coaching zur Unterstützung der Vereinbarkeit von Beruf und Familie an.

Aussagekräftige Bewerbungen mit den üblichen Unterlagen (Lebens lauf, Publikationsliste, Abschluss zeugnisse / Zertifikate, Lehrevaluationen, Darstellung der bisherigen und geplanten Forschungs- und Lehrtätigkeit, Forschungs-, Lehr- und Kooperations konzept, Darstellung der eigenen Beiträge in den o.

g. Gebieten, eingeworbene Drittmittel, Stellungnahme zur wissenschaftlichen Redlichkeit) senden Sie bitte an das Karlsruher Institut für Technologie (KIT), Bereich II, Bereichs leiter Professor Dr.

Michael Decker vorzugsweise in Form einer einzigen PDF-Datei bis 07.07.2024 per E-Mail an : . Fachliche Auskünfte erteilt Ihnen Professorin Dr. Ina Schaefer, E-Mail : .

Die Verarbeitung Ihrer personenbezogenen Daten durch das KIT erfolgt entsprechend dieser .

Weitere Informationen finden Sie im Internet :

KIT Die Forschungsuniversität in der Helmholtz-Gemeinschaft