The Coq mailing list

[Ina Schaefer <i.schaefer AT tu-bs.de>]

The Carl-Friedrich-Gauß-Fakultät der Technischen Universität Braunschweig invites applications for a

University Professorship (Salary Scale W3 BBesO) in Theoretical Computer Science

starting 1 April 2016

The successful candidate should be internationally well-known for his/her research in the area of Theoretical Computer Science. Preference will be given to individuals whose research interests are in one or more of the following fields:
•    Logic and Verification (Formal Analysis, SAT-Solvers, Model Checking, Deduction)
•    Automata, Formal Languages, Complexity, Decidability
•    Machine Learning, Knowledge Discovery, Statistical and Inductive Inference
•    Theoretical Foundations of Complex Distributed Systems

Responsibilities of the future professor also include teaching undergraduate and graduate students within the course of studies Computer Science. The professor is expected to attract external funding and collaborate with in the interdisciplinary environment of Technische Universität Braunschweig.

Conditions of appointment are in accordance with § 25, Niedersachsen Higher Education Act (NHG).

Technische Universität Braunschweig is a member of Niedersachsen Institutes of Technology (NTH), to which the vacant professorship is also assigned. Candidates are therefore expected to participate in coordinated interdisciplinary programmes and to collaborate in research and teaching with the universities in Niedersachsen, and especially within the NTH. For more information on NTH please visit http://en.nth-online.org. Part time employment can be arranged on request.

As an equal opportunities employer, Technische Universität Braunschweig has set itself the strategic aim of significantly increasing the proportion of women. Female scientists are therefore particularly encouraged to apply. Equally qualified candidates with disabilities will be given preference.

The Technische Universität Braunschweig offers first-class infrastructure, regional, national and international cooperation in research and teaching, an exciting work environment with flexible and competitive personnel and budgetary management, and support in technology transfer through the Innovationsgesellschaft TU Braunschweig mbH.
Successful candidates who have reached the age of fifty by the time of appointment and who do not already have civil servant status will be given an employment contract.

Further information is available from the Head of the Search Committee Prof. Dr.-Ing. Ina Schaefer (i.schaefer AT tu-bs.de).

Please submit your full application by 30. September 2014 to
Technische Universität Braunschweig
Dekan der Carl-Friedrich-Gauß-Fakultät
Prof. Dr. Thomas Sonar
Rebenring 58A
38106 Braunschweig, Germany
www.tu-braunschweig.de/fk1

-- 
Prof. Dr.-Ing. Ina Schaefer
Institut für Softwaretechnik und Fahrzeuginformatik
Technische Universität Braunschweig
Mühlenpfordtstr. 23
D-38106 Braunschweig
Germany

Tel: +49-531-391-2275
Fax: +49-531-391-2277
URL: http://www.tu-braunschweig.de/isf