[DMANET] Full Professorship for Theoretical Computer Science

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@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

--------------------------------------------------------------------

In der Carl-Friedrich-Gauß-Fakultät ist zum 1. April 2016 eine

Universitätsprofessur (W3) für Theoretische Informatik
(Nachfolge Prof. Dr. J. Adámek)

zu besetzen.

Der/Die Stelleninhaber/in soll die theoretische Informatik in ihrer Breite in Forschung und Lehre vertreten. In der Forschung soll er/sie in mindestens einem der folgenden Bereiche wissenschaftlich ausgewiesen sein:
• Logik und Verifikation (Statische Analysen, SAT-Solver, Model Checking, Deduktion);
• Automaten, formale Sprachen, Berechenbarkeit, und Komplexität;
• Maschinelles Lernen, Knowledge Discovery, statistische und induktive Inferenz;
• Theoretische Grundlagen von komplexen verteilten Systemen.
In der Lehre ist die Professur an den Bachelor- und Master-Studiengängen der Informatik, insbesondere an den Grundlagenveranstaltungen beteiligt. Von besonderer Wichtigkeit ist das Potenzial der Kandidatin/des Kandidaten zur erfolgreichen Einwerbung von Drittmitteln (insbesondere DFG), sowie zur Zusammenarbeit mit den Ingenieurwissenschaften. Mitarbeit in den Gremien der universitären Selbstverwaltung wird erwartet.

Die Einstellungsvoraussetzungen ergeben sich aus § 25 des Niedersächsischen Hochschulgesetzes.

Die TU Braunschweig ist Mitgliedsuniversität der Niedersächsischen Technischen Hochschule (NTH), der auch die zu besetzende Professur zugeordnet ist. Von den Bewerberinnen und Bewerbern wird deshalb die Bereitschaft vorausgesetzt, an koordinierten interdisziplinären Programmen mitzuwirken und sich in die Zusammenarbeit der Universitäten in Niedersachsen, insbesondere im Rahmen der Niedersächsischen Technischen Hochschule (NTH), in Forschung und Lehre einzubringen. Weitere Informationen zur NTH finden Sie unter:http://www.nth-online.org

Auf Wunsch kann Teilzeitbeschäftigung ermöglicht werden.

Die TU Braunschweig hat sich das strategische Ziel gesetzt, den Anteil von Frauen deutlich zu erhöhen. Wissenschaftlerinnen werden deshalb nachdrücklich um ihre Bewerbung gebeten. Schwerbehinderte Bewerberinnen und Bewerber werden bei gleicher Eignung bevorzugt. Bewerbungen von Wissenschaftlerinnen und Wissenschaftlern aus dem Ausland sind ausdrücklich erwünscht. Bewerberinnen und Bewerber, die zum Zeitpunkt der Ruferteilung das 50. Lebensjahr vollendet haben und nicht bereits im Beamtenverhältnis stehen, werden grundsätzlich im Angestelltenverhältnis eingestellt.

Weitere Auskünfte erteilt die Vorsitzende der Berufungskommission, Frau Prof. Dr.-Ing. Ina Schaefer, Tel. +49 (0) 531 391-2275.

Schriftliche Bewerbungen richten Sie bitte bis zum 30.09.2014 auf postalischem Wege an den
Dekan der Carl-Friedrich-Gauß-Fakultät
Herrn Prof. Dr. Thomas Sonar
Rebenring 58A
38106 Braunschweig
**********************************************************
*
* 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/
*
**********************************************************