[ecoop-info] University Professorship (W3) in Theoretical Computer Science

[Ina Schaefer]

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

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://web.satd.uma.es/pipermail/ecoop-info/attachments/20140815/00962774/attachment.html>