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

Job description

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.

Personal qualification

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 offer

Organizational unit

Division II - Informatics, Economics, and Society, Institute for Program Structures and Data Organization (IPD), KIT Department of Informatics

Starting date

zum nächstmöglichen Zeitpunkt / as soon as possible

Contract duration


Application up to

 July 7, 2024

Contact person in line-management

For further information, please contact Prof. Dr. Ina Schäfer.


Please mail your application with the relevant documents (curriculum vitae, list of publications, diplomas/certificates, teaching evaluations, description of previous and planned research and teaching activities, research, teaching and cooperation concept, description of your own contributions in the above-mentioned areas, acquired third-party funds, statement on scientific honesty), preferably as a single PDF file, to Karlsruhe Institute of Technology (KIT), Division II, Head of Division Prof. Michael Decker, E-Mail:


Vacancy number: 1223/2024


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.

Your personal data will be processed by KIT in accordance with this privacy policy.