The Coq mailing list

[Klaus Ostermann <klaus.ostermann AT uni-tuebingen.de>]

I'm posting this to Coq-Club because applications from the Coq community
are very welcome.

The Department of Computer Science of the Faculty of Science at the
University of Tübingen, Germany, invites applications for the position of
Tenure-Track Professor of Software Engineering

A successful candidate for this position will strengthen the education
of students in all computer science and cognitive science programs. The
position has a teaching load of four hours per week prior to interim
evaluation, and six hours thereafter. The Department of Computer Science
seeks applications from outstanding individuals who have a proven
international record of excellent research in the area of software
engineering, in particular in one or more of the following research topics:

- Software Development (Continuous Integration, DevOps, Refactoring,
Recommender Systems, Projectional Editing, Reverse Engineering, Software
Life Cycle, Product Line Engineering)
- Program Comprehension and Visualization (Program Analysis)
- Software Validation (Testing, Debugging)
- Non-sequential Programs (asynchronous, concurrent, probabilistic)
- Repository Mining (Data Mining for Software Engineering)
- Didactics of Programming and Software Engineering
- Software Security

The chosen candidate will contribute to the central area of practical
computer science. Participation in academic self-administration of the
university and in the committees of the Department of Computer Science
are expected. The successful candidate has the opportunity to contribute
to the Cyber Valley Initiative of the state of Baden-Württemberg and
the new Cluster of Excellence "Machine Learning in Science".
Required qualifications include an outstanding doctoral thesis in a
pertinent field, recognizable potential for internationally visible
publications in leading international peer-reviewed journals, successful
grant applications, and teaching experience.

Applicants for a tenure-track professorship with a PhD from Tübingen
must have changed universities after completing their doctorates or have
worked in academia for at least two years somewhere other than the
University of Tübingen.
If the final evaluation after six years is positive, this professorship
will be upgraded to a full (W3) professorship with no re-advertising of
the position.

Detailed information on the criteria underlying the interim evaluation
and promotion to the tenured position may be found in our guidelines for
tenure review under the following link:
https://uni-tuebingen.de/en/faculties/faculty-of-science/faculty/service-
downloads/#c608746 . There you can also find information on this
employment category.

The University of Tübingen is particularly interested in increasing the
number of women in research and teaching and therefore strongly
encourages women candidates to apply. In line with its
internationalization agenda, the university welcomes applications from
researchers outside Germany. Applications from equally qualified
candidates with disabilities will be given preference.Applicants must be
in an early stage of their career; those who have completed a
habilitation will therefore be excluded.

Applications with supporting documents (cover letter, Curriculum Vitae,
list of publications and teaching experience, certificates/diplomas) as
well as a teaching statement and a research statement including
collaboration plans, along with the completed application form
(https://uni-tuebingen.de/en/faculties/faculty-of-science/faculty/service-downloads/#c608746)
should be sent by email as a single PDF-file to the Dean of the Faculty
of Science, Prof. Dr. Wolfgang Rosenstiel, University of Tuebingen,
Germany (career AT mnf.uni-tuebingen.de) by November 27, 2020. Enquiries
may be directed to this address.