[TYPES/announce] University Professorship (W3) Programming Languages and Program Analysis at KIT

[André Platzer]

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. 

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

University Professorship (W3)
“Programming Languages and Program Analysis”

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. 

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. 

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. 

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. 

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

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.

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 7th of July 2024 compiled in one PDF document by e-mail to Division II, Head of Division Professor Michael Decker (dekanat at informatik.kit.edu). For further information, please contact Professor Dr. Ina Schaefer (ina.schaefer at kit.edu).

Your personal data will be processed by KIT in accordance with this privacy policy <https://urldefense.com/v3/__https://www.sts.kit.edu/downloads/2020-11-17_DSE_Berufungsverfahren_englisch.pdf__;!!IBzWLUs!SuggX6MpAssU46QzYyxOQ4VQ2uL7ajrQ5MKcfcfX-Wy0yo55my2JxjEX88jC6uVxfG9GZ7QIT3XKdPXw1eE6WglMPEU7HgWhm-l1Alc$ >.

https://urldefense.com/v3/__https://www.pse.kit.edu/english/karriere/joboffer.php?id=154032__;!!IBzWLUs!SuggX6MpAssU46QzYyxOQ4VQ2uL7ajrQ5MKcfcfX-Wy0yo55my2JxjEX88jC6uVxfG9GZ7QIT3XKdPXw1eE6WglMPEU7HgWhH4nGrsY$ 
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20240605/c068ce1e/attachment-0001.htm>