Universitätsprofessur (W3) "Programmiersprachen und Programmanalyse"

Karlsruher Institut für Technologie (KIT); Karlsruhe; Vor Ort; EUR 70.000 - 90.000; Vollzeit

Zusammenfassung

Eine Forschungsuniversität in Deutschland sucht eine unbefristete Universitätsprofessur (W3) für Programmiersprachen und Programmanalyse. Die Position umfasst Forschung und Lehre im Bereich Informatik sowie aktive Beteiligung an Universitätsaufgaben. Erwartet werden hervorragende wissenschaftliche Qualifikationen und die Fähigkeit zur Drittmittelakquise. Bewerbungen sind bis zum 07.07.2024 einzureichen.

Leistungen

Teilzeitbeschäftigung

Familienfreundliche Arbeitsbedingungen

Qualifikationen

• Hervorragende wissenschaftliche Qualifikation in Programmiersprachen und Software Engineering.
• Internationale Anerkennung im Fachgebiet.
• Fähigkeiten in der Führung wissenschaftlicher Arbeitsgruppen.

Aufgaben

• Stärkung der Expertise im Bereich Programmiersprachen und Software Engineering.
• Beteiligung an der grundständigen Lehre und akademischen Aufgaben.
• Mitwirkung im KIT-Zentrum und kollegialen Institutsleitung.

Kenntnisse

Wissenschaftliche Qualifikation

Fähigkeiten in der Einwerbung von Drittmitteln

Didaktische Fähigkeiten

Jobbeschreibung

Überblick

Als „Die Forschungsuniversität in der Helmholtz-Gemeinschaft“ schafft und vermittelt 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.

Position

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ächstmöglichen Zeitpunkt am Institut für Programmstrukturen und Datenorganisation (IPD) eine unbefristete Universitätsprofessur (W3) „Programmiersprachen und Programmanalyse“ zu besetzen.

Aufgaben & Fokus

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

• Verfahren für die Programmanalyse von Sicherheits- oder Korrektheitseigenschaften
• Der Entwurf und die Implementierung von Quantenprogrammiersprachen oder domänenspezifischen Sprachen
• Innovative Konzepte zur Parallelprogrammierung oder Compilertechnologien

Lehre

In der Lehre soll die Professur zur Ausbildung von Studierenden der Informatik und anderer ingenieurwissenschaftlicher Studiengänge am KIT beitragen. Es wird eine signifikante Beteiligung an der grundständigen Lehre erwartet.

Universitätsaufgaben

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 akademischen Aufgaben der KIT-Fakultät für Informatik und an der Selbstverwaltung des KIT im Bereich II sowie eine Mitwirkung in der kollegialen Institutsleitung des IPD.

Qualifikationen

Es wird eine Persönlichkeit gesucht, die über eine hervorragende wissenschaftliche Qualifikation verfügt und in ihrem Fachgebiet international ausgewiesen ist. Erwartet werden Fähigkeiten in der Einwerbung von Drittmitteln und der Führung wissenschaftlicher Arbeitsgruppen, zudem sehr gute didaktische Fähigkeiten.

Weitere Hinweise

Es gelten die Einstellungsvoraussetzungen gemäß § 14 Abs. 2 KIT-Gesetz i. V. m. § 47 Landeshochschulgesetz 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 familienfreundliche Hochschule Teilzeitbeschä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 (Lebenslauf, Publikationsliste, Abschlusszeugnisse / Zertifikate, Lehrevaluationen, Darstellung der bisherigen und geplanten Forschungs- und Lehrtätigkeit, Forschungs-, Lehr- und Kooperationskonzept, 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, Bereichsleiter 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