Universitätsprofessur (W3) "Programmiersprachen und Programmanalyse"

Vor 7 Tagen


Karlsruhe, Baden-Württemberg, Deutschland Karlsruher Institut für Technologie (KIT) Vollzeit
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 o Systeme o 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 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 Datenschutzerklärung.

Weitere Informationen finden Sie im Internet:

KIT - Die Forschungsuniversität in der Helmholtz-Gemeinschaft

  • Karlsruhe, Baden-Württemberg, Deutschland Karlsruher Institut für Technologie Vollzeit

    Universitätsprofessur (W3) "Impact-Based Forecasting"**Organisationseinheit**:Institut für Meteorologie und Klimaforschung - Atmosphärische Umweltforschung (IMK-IFU), Institut für Regionalwissenschaft (IFR)**Ihre Aufgaben**:Im Bereich IV - Natürliche und gebaute Umwelt - ist mit Anbindung an die KIT-Fakultät für Bauingenieur-, Geo- und...


  • Karlsruhe, Baden-Württemberg, Deutschland Karlsruher Institut für Technologie Vollzeit

    Universitätsprofessur (W3) "Governance transformativer Innovation"**Organisationseinheit**:Bereich II - Informatik, Wirtschaft und Gesellschaft, Institut für Technikzukünfte (ITZ), KIT-Fakultät für Geistes- und Sozialwissenschaften**Ihre Aufgaben**:Das ITZ widmet sich der geistes- und sozialwissenschaftlichen Reflexion zum Verhältnis von Mensch,...


  • Karlsruhe, Baden-Württemberg, Deutschland Karlsruher Institut für Technologie Vollzeit

    Universitätsprofessur (W3) "Intelligente Datenerfassung und Regelung"**Organisationseinheit**:Bereich V - Physik und Mathematik, Institut für Prozessdatenverarbeitung und Elektronik (IPE), KIT-Fakultät für Physik**Ihre Aufgaben**:Wir suchen eine international ausgewiesene Persönlichkeit auf dem Gebiet komplexer Datenerfassungssysteme für Experimente...


  • Karlsruhe, Baden-Württemberg, Deutschland Karlsruher Institut für Technologie (KIT) Vollzeit

    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...


  • Karlsruhe, Baden-Württemberg, Deutschland Pädagogische Hochschule Karlsruhe Vollzeit

    Zum nächstmöglichen Zeitpunkt ist im DiAs-Projekt (Digital Assessment - Digitales, kompetenzorientiertes Prüfen an der Pädagogischen Hochschule Karlsruhe) am Institut für Informatik und digitale Bildung eine Vollzeitstelle alsAkademische Mitarbeiterin / Akademischer Mitarbeiter (w/m/d) für Digitale Bildung (Evaluation) Kennziffer 34/20242025 befristet....


  • Karlsruhe, Baden-Württemberg, Deutschland SECAREER Vollzeit

    **Einführung**Wenn Sie berufserfahren im Bereich Sicherheitsdienst, Security sind und mindestens über die Qualifizierung GSSK, Werkschutzfachkraft, Fachkraft für Schutz und Sicherheit oder höherwertig verfügen, sind Sie genau der Richtige Wenn Sie umzugsbereit sind, helfen wir gern und beteiligen uns in der Anfangszeit an den Mietkosten.**Angebot**-...


  • Karlsruhe, Baden-Württemberg, Deutschland Pädagogische Hochschule Karlsruhe Vollzeit

    Zum nächstmöglichen Zeitpunkt ist im DiAs-Projekt (Digital Assessment - Digitales, kompetenzorientiertes Prüfen an der Pädagogischen Hochschule Karlsruhe) am Institut für Informatik und digitale Bildung eine Vollzeitstelle als Akademische Mitarbeiterin / Akademischer Mitarbeiter (w/m/d) für Digitale Bildung (Evaluation) Kennziffer 34/2024 zu besetzen....


  • Karlsruhe, Baden-Württemberg, Deutschland Unternehmensgruppe Dr. Eckert Vollzeit

    Das erwartet Sie bei unsVerkauf von Tabakwaren, Raucherbedarfsartikeln und ZusatzsortimentenBeratung und Bedienung unserer KundenSortimentspflege und WarenpräsentationKassenbedienung und Fertigung der KassenabschlüsseWas uns überzeugtErfahrungen im filialisierten Einzelhandel und Branchenkenntnisse im TabakwarenbereichSicherheit im Umgang mit...


  • Karlsruhe, Baden-Württemberg, Deutschland Karlsruher Institut für Technologie Vollzeit

    Tenure-Track-Professur (W1) "Aerosols and Clouds"**Organisationseinheit**:Bereich IV - Natürliche und gebaute Umwelt, Institut für Meteorologie und Klimaforschung - Department Troposphärenforschung (IMK-TRO), KIT-Fakultät für Physik**Ihre Aufgaben**:Die / der zu berufende Tenure-Track-Professorin / Tenure-Track-Professor (w/m/d) soll eine Arbeitsgruppe...


  • Karlsruhe, Baden-Württemberg, Deutschland Karlsruher Institut für Technologie Vollzeit

    Tenure-Track-Professur (W1) "Sozialgeographische Stadt- und Mobilitätsforschung"**Organisationseinheit**:Institut für Geographie und Geoökologie (IFGG)**Ihre Aufgaben**:Wir suchen eine Persönlichkeit, die bereit ist, gemeinsam mit den Teams des Instituts und der Institute für Regionalwissenschaft sowie des Verkehrswesens die sozialgeographische Stadt-...


  • Karlsruhe, Baden-Württemberg, Deutschland Lohr-Nehmer Public Relations GmbH Vollzeit

    EinleitungPRAKTIKANT/-IN PR/SOCIAL MEDIA AB SOFORT GESUCHTWIR SIND...eine renommierte Public Relations Agentur mit Sitz in Karlsruhe und München.Zu unseren Kunden zählen namenhafte Firmen aus den Bereichen Fashion, Watches & Jewellery, Beauty & Health, Interior & Art, Food & Beverage.AufgabenZur Verstärkung unseres Teams in Karlsruhe suchen wir für einen...


  • Karlsruhe, Baden-Württemberg, Deutschland Lohr-Nehmer Public Relations GmbH Vollzeit

    EinleitungPRAKTIKANT/-IN PR/SOCIAL MEDIA AB SOFORT GESUCHTWIR SIND...eine renommierte Public Relations Agentur mit Sitz in Karlsruhe und München.Zu unseren Kunden zählen namenhafte Firmen aus den Bereichen Fashion, Watches & Jewellery, Beauty & Health, Interior & Art, Food & Beverage.AufgabenZur Verstärkung unseres Teams in Karlsruhe suchen wir für einen...


  • Karlsruhe, Baden-Württemberg, Deutschland Lohr-Nehmer Public Relations GmbH Vollzeit

    EinleitungPRAKTIKANT/-IN PR/SOCIAL MEDIA AB SOFORT GESUCHTWIR SIND...eine renommierte Public Relations Agentur mit Sitz in Karlsruhe und München.Zu unseren Kunden zählen namenhafte Firmen aus den Bereichen Fashion, Watches & Jewellery, Beauty & Health, Interior & Art, Food & Beverage.AufgabenZur Verstärkung unseres Teams in Karlsruhe suchen wir für einen...


  • Karlsruhe, Baden-Württemberg, Deutschland Volkswagen Zentrum Karlsruhe GmbH Vollzeit

    Wir bei der Graf Hardenberg-Gruppe haben uns zum Ziel gesetzt, der attraktivste Arbeitgeber im Bereich des Automobilhandels im Südwesten zu sein. Mit über 1.600 Beschäftigten an 17 Standorten und in 34 Betrieben in Baden-Württemberg und Rheinland-Pfalz vertreten wir die zehn starken Marken Volkswagen, Volkswagen Nutzfahrzeuge, Audi, ŠKODA, SEAT, CUPRA,...

  • Kraftfahrer (m/w/d) -

    vor 1 Woche


    Karlsruhe, Baden-Württemberg, Deutschland KNETTENBRECH + GURDULIC Service GmbH & Co. KG Vollzeit

    Job Title: Kraftfahrer (m/w/d) - Lkw-FahrerFür unser Team in Karlsruhe suchen wir einen Kraftfahrer (m/w/d) in Vollzeit. Wir sind die KNETTENBRECH + GURDULIC Service GmbH & Co. KG, ein führendes Unternehmen in der Entsorgungs- und Recyclingbranche in Deutschland.Über uns:Wir sind eine mittelständische Unternehmensgruppe mit über 2.400 Mitarbeitern an 34...


  • Karlsruhe, Baden-Württemberg, Deutschland Audi Zentrum Karlsruhe GmbH Vollzeit

    Wir bei der Graf Hardenberg-Gruppe haben uns zum Ziel gesetzt, der attraktivste Arbeitgeber im Bereich des Automobilhandels im Südwesten zu sein. Mit über 1.600 Beschäftigten an 17 Standorten und in 34 Betrieben in Baden-Württemberg und Rheinland-Pfalz vertreten wir die zehn starken Marken Volkswagen, Volkswagen Nutzfahrzeuge, Audi, ŠKODA, SEAT, CUPRA,...


  • Karlsruhe, Baden-Württemberg, Deutschland Schindler Group Vollzeit

    Ihre zukünftigen Aufgaben: Durchführung von Wartungs- und Reparaturarbeiten an Aufzugsanlagen Fehlersuche und Diagnose sowie selbständige Störungsbeseitigung Ausführung von Baugruppenerneuerungen und Baugruppentausch im Rahmen von Reparaturen Erkennen und Beseitigen von Sicherheitsmängeln sowie anschließender Fehler-Berichterstattung ...


  • Karlsruhe, Baden-Württemberg, Deutschland KNETTENBRECH + GURDULIC Service Vollzeit

    Alles geben – für eine saubere und sichere Zukunft. Werden Sie ein Teil davon Diese Aufgaben begeistern Sie Be- und Entladung von Entsorgungsfahrzeugen Begleiten des Müllfahrzeugs auf dem Trittbrett sowie Unterstützung des Fahrers im Straßenverkehr Ordnungsgemäße Abfallentsorgung Das zeichnet Sie aus Sicheres und freundliches Auftreten ...


  • Karlsruhe, Baden-Württemberg, Deutschland KNETTENBRECH + GURDULIC Rhein-Neckar GmbH Vollzeit

    Ab sofort oder schnellstmöglich wird von der Firma KNETTENBRECH + GURDULIC Rhein-Neckar GmbH ein Kraftfahrer (m/w/d)* mit Wohnort 76189 Karlsruhe und Umgebung gesucht.**KNETTENBRECH + GURDULIC Rhein-Neckar GmbH**:** Wir sind KNETTENBRECH + GURDULIC**Wir zählen zu den führenden Unternehmen der Entsorgungs- und Recyclingwirtschaft in Deutschland. Aus dem...


  • Karlsruhe, Baden-Württemberg, Deutschland Audi Zentrum Karlsruhe GmbH Vollzeit

    Wir bei der Graf Hardenberg-Gruppe haben uns zum Ziel gesetzt, der attraktivste Arbeitgeber im Bereich des Automobilhandels im Südwesten zu sein. Mit über 1.600 Beschäftigten an 17 Standorten und in 34 Betrieben in Baden-Württemberg und Rheinland-Pfalz vertreten wir die zehn starken Marken Volkswagen, Volkswagen Nutzfahrzeuge, Audi, ŠKODA, SEAT, CUPRA,...