[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
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 ([email protected]). For further information, please contact
Professor Dr. Ina Schaefer ([email protected]).
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$
