Thursday, January 19, 2023

[DMANET] W3 Professorship "Theoretical Computer Science" at U Stuttgart

The Faculty Computer Science, Electrical Engineering and Information
Technology of the University
of Stuttgart invites applications for the position of a

    Professorship (W3) in Theoretical Computer Science

at the INSTITUTE FOR FORMAL METHODS OF COMPUTER SCIENCE at the earliest
convenience.

The University of Stuttgart is one of the leading technically oriented
universities in Germany in one of
Europe's most vibrant high-tech and industrial areas. The university is
a reliable employer, partner for
technology transfer and is committed to the interdisciplinary
integration of engineering, natural
sciences, humanities, and social sciences based on the fundamentals of
cutting-edge research at a
disciplinary level.
The professorship should complement existing competences in Theoretical
Computer Science at the
University of Stuttgart and have connections to current topics, such as
Artificial Intelligence, Big Data,
Security/Privacy, or Verification. Ties to the university's profile
areas, Quantum Technology,
Simulation Science, Architecture and Adaptive Construction, Digital
Humanities, or Production
Technology, are also welcome.
We are seeking an individual who has demonstrated outstanding,
internationally visible scientific
achievements in a core area of Theoretical Computer Science. The
prospective position holder is
expected to participate in and contribute to teaching, including
introductory courses, both in German
and English, in the Faculty's Bachelor's and Master's degree programs,
as well as to actively solicit
external funding and to participate in collaborative research projects
at the university.
For a qualitative assessment of your academic accomplishments, we kindly
ask you to submit a short
description of your three most important scientific achievements, which
should be no longer than one
page in total. Possible successes may include, for example, those in the
fields of research, teaching,
science and society, knowledge and technology transfer, inventions and
patents, software development,
or spin-offs.
The requirements for employment listed in § 47 and § 50
Baden-Württemberg university law (LHG) apply.

Applications with the usual documents (as one PDF file), including a
detailed curriculum vitae, copies
of certificates, a list of publications, research and teaching
statements, a list of the three most
important scientific achievements as well as the completed form at
    https://www.f05.uni-stuttgart.de/open-positions
are requested by *Feb. 26th, 2023* to Prof. Dr. Ralf Küsters, Dean's
Office, Pfaffenwaldring 47,
70569 Stuttgart, Germany, e-mail: dekanat@f05.uni-stuttgart.de
At www.f05.uni-stuttgart.de/open-positions you will find our public key
for encrypting your email.
Please be aware of the risks to the confidentiality and integrity of
your application content when sending
your application via unencrypted e-mail. If you have any questions about
this call for applications, please
contact Prof. Dr. Ralf Küsters (ralf.kuesters@sec.uni-stuttgart.de).
The University of Stuttgart has established a Dual Career Program to
offer assistance to partners of
those moving to Stuttgart: https://www.uni-stuttgart.de/dual-career-en
The University of Stuttgart is an equal opportunity employer.
Applications from women are strongly
encouraged. Disabled persons will be given preference in case of equal
qualifications.
Information on the collection of personal data in accordance with
Article 13 of the GDPR can be found
via the following link:
https://www.uni-stuttgart.de/en/privacy-notice/job-application

**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************