W2-Professorship in the Field of Theoretical Computer Science
The Department of Computer Science at the University of Kaiserslautern invites applications for a
W2 Professor of Theoretical Computer Science
with a focus on logic, formal languages and automata
to be appointed as soon as possible, prospectively for the winter semester 2018/19.
We are looking for a candidate who is highly qualified in research in the classical area of mathematical logic with associations with languages and automata, although we especially welcome candidates with experience in the following areas:
- Logics for the specification and verification of systems: decision procedures, automatic and interactive verification, proof and analysis procedures like model checking and automatic/interactive theorem proving.
- Formal analysis of the quantitative properties of systems: timed systems, discrete/continuous (hybrid) systems, probabilistic systems
- Logic and automata theory: process algebras, state-based analysis of systems, verification of systems with infinite state space.
The professor is expected to add to the content of existing research in theoretical computer science at the university in the areas of focus. In addition to outstanding academic qualifications, the candidate is expected to have experience in the acquisition and carrying out of third-party funded projects and in relevant lectures of theoretical computer science. Further criteria for the choice of applicant are cooperation opportunities with other professorships in the Department of Computer Science and the computer science related research institutes in Kaiserslautern.
Kaiserslautern is one of the largest computer science locations in Germany. The department combines foundations in education with excellence in application and regularly ranks among the top universities in relevant German rankings. More information about the Department of Computer Science can be found at http://www.cs.uni-kl.de.
There is a unique opportunity to cooperate in computer science research throughout Germany with the research institutes affiliated with the Department of Computer Science, e.g. the Max Planck Institute for Software Systems (MPI-SWS), the Fraunhofer Institute for Industrial Mathematics, the Frauenhofer Institute for Experimental Software Engineering (IESE) and the German Research Center for Artificial Intelligence (DFKI).
We expect candidates to have excellent didactic skills and teaching experience and to use these skills with commitment during computer science courses in the Bachelor and Master programs. Lectures in the Bachelor courses are usually taught in German whereas courses in the Master programs are generally taught in English.
In addition to public service employment regulations, the conditions of employment regulated in §49 of the Universities Act of the state Rhineland-Palatinate are valid. The text can be found on the homepage of the University of Kaiserslautern (http://www.uni-kl.de/universitaet/verwaltung/ha-1/ha1-rechtsvorschrift/).
Rhineland-Palatinate and the University of Kaiserslautern support a mentoring concept in which teachers are expected to be present on campus as much as possible. Candidates must be willing to cooperate with the self-administration at the university.
The University of Kaiserslautern strongly encourages qualified female academics to apply. Applicants with children are welcome.
Disabled applicants will be given preference when equally qualified (please enclose evidence).
Applications together with supporting documents in German or English (CV, academic background, list of publications, a summary of third-party funds acquired, copies of reports and certificates and a copy of the five most important publications) should be sent by latest 10 December 2017 to the below address:
Dean of the Department of Computer Science
University of Kaiserslautern
PO Box 3049
Please also send your application as a PDF file along with a completed candidate data sheet to firstname.lastname@example.org. More detailed selection criteria and the position of the professorship at the university can also be found here. For further information please contact Prof. Dr. Klaus Schneider (email@example.com).
PDF (473kB, 2017-07-21) [more ...]