Stream: Mirror: Isabelle Users Mailing List

Topic: [isabelle] Professorship (W3) for Theoretical Informatics...


view this post on Zulip Email Gateway (Aug 10 2021 at 09:37):

From: Michael Kirsten <kirsten@kit.edu>
Dear colleagues,

The Karlsruhe Institute of Technology (KIT), Germany, is inviting
applications for a full professorship for theoretical informatics.
Apply by September 12, 2021.

See also
https://www.pse.kit.edu/karriere/joboffer.php?id=232&new=true&language=de
(German) or
https://www.pse.kit.edu/karriere/joboffer.php?id=233&new=true&language=en
(English)

Here is the full job offer:

The Karlsruhe Institute of Technology (KIT) combines its three core
tasks: research, higher education, and innovation within one mission.
With about 9,400 employees and 25,000 students, KIT is one of the big
institutions of research and higher education in natural sciences and
engineering in Europe.

The Institute of Theoretical Informatics (ITI) within the Division 2 –
Informatics, Economics, and Society – with its KIT-Department of
Informatics is seeking to fill, as soon as possible, the position of a

Professorship (W3) for Theoretical Informatics

We are looking for an internationally recognized personality who
represents the field of theoretical informatics at KIT in research and
teaching. The thematic orientation of this professorship should
complement the existing competences of theoretical informatics and be
closely related to at least one of the following areas:

Participation in teaching in the German-language courses of the
Department of Informatics is expected, both in the mandatory and
elective areas. Willingness to learn the German language within three
years is required.

In case of personal interest and relevant preliminary work, involvement
in the Competence Center for Applied Security Technologies (KASTEL) is
possible.

The requirements for employment are outstanding, internationally visible
scientific achievements, for example in the context of an excellent
dissertation and subsequent scientific achievements, as well as a
didactic aptitude. In all other respects, employment conditions as
outlined in § 47 LHG (Act of Baden-Württemberg on Universities and
Colleges) in conjunction with § 20 KITG (KIT-Act) in the version
applicable until the legal validity of the 2.
KIT-Weiterentwicklungsgesetz (2nd KIT Further Development Act) shall apply.

KIT is an equal opportunity employer. Women are especially encouraged to
apply. Applicants with disabilities will be given preferential
consideration if equally qualified. The KIT is certified as a
family-friendly university and offers part-time employment, leaves of
absence, a Dual Career Service and coaching to actively promote
work-life-balance.

Applications with the required documents (curriculum vitae, degree
certificates as well as a list of publications) and a perspective paper
(maximum of two pages) should be sent - preferably summarized in a
single PDF file and by e-mail - to the Karlsruhe Institute of
Technology, Dean's Office of the KIT Department of Informatics, Am
Fasanengarten 5, D-76131 Karlsruhe, dekanat@informatik.kit.edu by
September 12, 2021. For further information, please contact Professor
Dr. Ralf Reussner (+49 721 608 45993, reussner@kit.edu).

The processing of personal data by the Karlsruhe Institute of Technology
(KIT) is carried out according to the Privacy Policy.

Best regards,
Michael Kirsten
OpenPGP_signature


Last updated: Jul 15 2022 at 23:21 UTC