<html><head><meta http-equiv="content-type" content="text/html; charset=utf-8"></head><body style="overflow-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;"><meta http-equiv="content-type" content="text/html; charset=utf-8"><div style="overflow-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;"><meta http-equiv="content-type" content="text/html; charset=utf-8"><div style="overflow-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;"><meta http-equiv="content-type" content="text/html; charset=utf-8"><div style="overflow-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;"><div><p style="margin: 0px 0px 8px 45px; text-align: justify; font-style: normal; font-variant-caps: normal; font-stretch: normal; font-size: 10px; line-height: normal; font-family: Arial; font-size-adjust: none; font-kerning: auto; font-variant-alternates: normal; font-variant-ligatures: normal; font-variant-numeric: normal; font-variant-east-asian: normal; font-variant-position: normal; font-variant-emoji: normal; font-feature-settings: normal; font-optical-sizing: auto; font-variation-settings: normal;">Karlsruhe Institute of Technology (KIT) – The Research University in the Helmholtz Association creates und imparts knowledge for the society and the environment. It is our goal to make significant contributions to mastering the global challenges of mankind in the fields of energy, mobility, and information. For this, over 9000 employees of KIT cooperate in a broad range of disciplines in research, academic education, and innovation. </p><p style="margin: 0px 0px 8px 45px; text-align: justify; font-style: normal; font-variant-caps: normal; font-stretch: normal; font-size: 10px; line-height: normal; font-family: Arial; font-size-adjust: none; font-kerning: auto; font-variant-alternates: normal; font-variant-ligatures: normal; font-variant-numeric: normal; font-variant-east-asian: normal; font-variant-position: normal; font-variant-emoji: normal; font-feature-settings: normal; font-optical-sizing: auto; font-variation-settings: normal;">The Institute for Program Structures and Data Organization (IPD) within the Division II – Informatics, Economics, and Society – with its KIT Department of Informatics is seeking to fill, as soon as possible, the position of a</p><p style="margin: 0px 0px 8px 45px; text-align: center; font-style: normal; font-variant-caps: normal; font-stretch: normal; font-size: 12px; line-height: normal; font-family: Arial; font-size-adjust: none; font-kerning: auto; font-variant-alternates: normal; font-variant-ligatures: normal; font-variant-numeric: normal; font-variant-east-asian: normal; font-variant-position: normal; font-variant-emoji: normal; font-feature-settings: normal; font-optical-sizing: auto; font-variation-settings: normal;"><b>University Professorship (W3)<br>
“Programming Languages and Program Analysis”</b></p><p style="margin: 0px 0px 8px 42.5px; text-align: justify; font-style: normal; font-variant-caps: normal; font-stretch: normal; font-size: 10px; line-height: normal; font-family: Arial; font-size-adjust: none; font-kerning: auto; font-variant-alternates: normal; font-variant-ligatures: normal; font-variant-numeric: normal; font-variant-east-asian: normal; font-variant-position: normal; font-variant-emoji: normal; font-feature-settings: normal; font-optical-sizing: auto; font-variation-settings: normal;">The professorship is intended to strengthen and expand KIT's expertise in the field of programming languages and software engineering. Research areas for this professorship include, for example, methods for the program analysis of security or correctness properties, the design and implementation of quantum programming languages or domain-specific languages, innovative concepts for parallel programming or compiler technologies. </p><p style="margin: 0px 0px 8px 42.5px; text-align: justify; font-style: normal; font-variant-caps: normal; font-stretch: normal; font-size: 10px; line-height: normal; font-family: Arial; font-size-adjust: none; font-kerning: auto; font-variant-alternates: normal; font-variant-ligatures: normal; font-variant-numeric: normal; font-variant-east-asian: normal; font-variant-position: normal; font-variant-emoji: normal; font-feature-settings: normal; font-optical-sizing: auto; font-variation-settings: normal;">In teaching, the professorship will contribute to the education of students of Informatics and other engineering courses at KIT. Significant participation in undergraduate teaching is expected. </p><p style="margin: 0px 0px 8px 42.5px; text-align: justify; font-style: normal; font-variant-caps: normal; font-stretch: normal; font-size: 10px; line-height: normal; font-family: Arial; font-size-adjust: none; font-kerning: auto; font-variant-alternates: normal; font-variant-ligatures: normal; font-variant-numeric: normal; font-variant-east-asian: normal; font-variant-position: normal; font-variant-emoji: normal; font-feature-settings: normal; font-optical-sizing: auto; font-variation-settings: normal;">The professorship will execute university tasks with a teaching obligation of 9 hours per week per semester and should participate in the KIT Center "Information - Systems - Technologies (KCIST)". In addition, active participation in the academic tasks of the KIT Department of Informatics and in the self-administration of the KIT in Division II as well as participation in the collegial institute management of the IPD is expected. </p><p style="margin: 0px 0px 8px 42.5px; text-align: justify; font-style: normal; font-variant-caps: normal; font-stretch: normal; font-size: 10px; line-height: normal; font-family: Arial; font-size-adjust: none; font-kerning: auto; font-variant-alternates: normal; font-variant-ligatures: normal; font-variant-numeric: normal; font-variant-east-asian: normal; font-variant-position: normal; font-variant-emoji: normal; font-feature-settings: normal; font-optical-sizing: auto; font-variation-settings: normal;">A distinguished scientist with excellent scientific qualifications and an international reputation in his or her field is sought. Skills in the acquisition of third-party funding and the management of scientific working groups are expected, as well as very good didactic skills. </p><p style="margin: 0px 0px 8px 42.5px; text-align: justify; font-style: normal; font-variant-caps: normal; font-stretch: normal; font-size: 10px; line-height: normal; font-family: Arial; font-size-adjust: none; font-kerning: auto; font-variant-alternates: normal; font-variant-ligatures: normal; font-variant-numeric: normal; font-variant-east-asian: normal; font-variant-position: normal; font-variant-emoji: normal; font-feature-settings: normal; font-optical-sizing: auto; font-variation-settings: normal;">Employment is subject to Art. 14, par. (2) of the KIT Act in conjunction with Art. 47 LHG Baden-Württemberg (Act of Baden-Württemberg on Universities and Colleges). </p><p style="margin: 0px 0px 8px 45px; text-align: justify; font-style: normal; font-variant-caps: normal; font-stretch: normal; font-size: 10px; line-height: normal; font-family: Arial; font-size-adjust: none; font-kerning: auto; font-variant-alternates: normal; font-variant-ligatures: normal; font-variant-numeric: normal; font-variant-east-asian: normal; font-variant-position: normal; font-variant-emoji: normal; font-feature-settings: normal; font-optical-sizing: auto; font-variation-settings: normal;">We prefer to balance the number of employees (f/m/d). Therefore, we kindly ask female applicants to apply for this job. Recognized severely disabled persons will be preferred if they are equally qualified. As a family-friendly university, KIT offers part-time employment, leaves of absence, a dual career service, and coaching to support the work-life balance.</p><p style="margin: 0px 0px 8px 45px; text-align: justify; font-style: normal; font-variant-caps: normal; font-stretch: normal; font-size: 10px; line-height: normal; font-family: Arial; font-size-adjust: none; font-kerning: auto; font-variant-alternates: normal; font-variant-ligatures: normal; font-variant-numeric: normal; font-variant-east-asian: normal; font-variant-position: normal; font-variant-emoji: normal; font-feature-settings: normal; font-optical-sizing: auto; font-variation-settings: normal;">Applications with the usual documents (curriculum vitae, list of publications, diplomas/certificates, teaching evaluations, presentation of previous and planned research and teaching activities, research, teaching and cooperation concept, presentation of own contributions in the above-mentioned fields, acquired third-party funds, statement on scientific honesty) are to be sent to the Karlsruhe Institute of Technology (KIT) by 7<span style="font-style: normal; font-variant-caps: normal; font-stretch: normal; font-size: 6.7px; line-height: normal; font-size-adjust: none; font-kerning: auto; font-variant-alternates: normal; font-variant-ligatures: normal; font-variant-numeric: normal; font-variant-east-asian: normal; font-variant-position: normal; font-variant-emoji: normal; font-feature-settings: normal; font-optical-sizing: auto; font-variation-settings: normal;"><sup>th</sup></span> of July 2024 compiled in one PDF document by e-mail to Division II, Head of Division Professor Michael Decker (dekanat@informatik.kit.edu). For further information, please contact Professor Dr. Ina Schaefer (ina.schaefer@kit.edu).</p><p style="margin: 0px 0px 8px 45px; text-align: justify; font-style: normal; font-variant-caps: normal; font-stretch: normal; font-size: 10px; line-height: normal; font-family: Arial; font-size-adjust: none; font-kerning: auto; font-variant-alternates: normal; font-variant-ligatures: normal; font-variant-numeric: normal; font-variant-east-asian: normal; font-variant-position: normal; font-variant-emoji: normal; font-feature-settings: normal; font-optical-sizing: auto; font-variation-settings: normal;">Your personal data will be processed by KIT in accordance with this <a href="https://urldefense.com/v3/__https://www.sts.kit.edu/downloads/2020-11-17_DSE_Berufungsverfahren_englisch.pdf__;!!IBzWLUs!SuggX6MpAssU46QzYyxOQ4VQ2uL7ajrQ5MKcfcfX-Wy0yo55my2JxjEX88jC6uVxfG9GZ7QIT3XKdPXw1eE6WglMPEU7HgWhm-l1Alc$"><span style="color: rgb(11, 76, 180);">privacy policy</span></a>.</p></div><a href="https://urldefense.com/v3/__https://www.pse.kit.edu/english/karriere/joboffer.php?id=154032__;!!IBzWLUs!SuggX6MpAssU46QzYyxOQ4VQ2uL7ajrQ5MKcfcfX-Wy0yo55my2JxjEX88jC6uVxfG9GZ7QIT3XKdPXw1eE6WglMPEU7HgWhH4nGrsY$">https://www.pse.kit.edu/english/karriere/joboffer.php?id=154032</a></div></div></div></body></html>