Logic List Mailing Archive

W3 Professorship in Theoretical Computer Science, Darmstadt (Germany), Deadline: 26 November 2010

Im Fachbereich Informatik der Technischen Universität Darmstadt ist eine
Universitätsprofessur für "Theoretische Informatik" mit Schwerpunkt Formale 
Verifikation (W3)
(Kenn Nr.: 368)

zu besetzen.

Gesucht wird eine herausragende Persönlichkeit, die in der Forschung im Bereich 
Formale Methoden international ausgewiesen ist. Durch diese Professur soll die 
im Fachbereich Informatik der Technischen Universität Darmstadt bestehende 
Kompetenz im Bereich der Formalen Modellierung und Verifikation in Forschung 
und Lehre gestärkt werden.

Anknüpfungspunkte zum Bereich Softwaretechnik und anderen Bereichen der 
praktischen Informatik sind wünschenswert.

Relevante Themen sind nachfolgend aufgeführt, aber nicht auf diese Liste 
beschränkt:

     * Automated Reasoning
     * Automatische Abstraktion und Verfeinerung
     * Entscheidungsverfahren (SAT solving, SMT solving, Constraint solving, 
...)
     * Hybride Spezifikationen und Kombinationen formaler Methoden
     * Semantik von Spezifikations- und Programmiersprachen
     * Verifikation von Systemen (hybride, reaktive Systeme, 
Kommunikationsprotokolle, funktionale Eigenschaften)
     * Verifikationswerkzeuge und Beweisassistenten


Neben wissenschaftlichen Arbeiten auf international sichtbarem Niveau ist die 
pädagogische Eignung in den Bewerbungsunterlagen nachzuweisen. Erwartet wird 
die Fähigkeit und Bereitschaft, Themen der Formalen Grundlagen der Informatik 
und der Formalen Methoden engagiert und kompetent in der Lehre zu vertreten. 
Ebenso wird die Beteiligung an den allgemeinen Lehraufgaben des Fachbereichs 
erwartet.

Die Ausstattung der Professur wird abhängig von der Berufserfahrung der 
erfolgreichen Bewerberin/des erfolgreichen Bewerbers festgelegt. Sowohl 
etablierte Wissenschaftler als auch jüngere Wissenschaftler mit überragendem 
Potential werden zur Bewerbung aufgefordert.

Die TU Darmstadt ist eine autonome Universität mit breiter Forschungsexzellenz, 
interdisziplinärem Profil und klaren Schwerpunkten in den 
Ingenieurwissenschaften und der Informations- und Kommunikationstechnologie. 
Der Fachbereich Informatik ist ein Leistungsträger der TU Darmstadt in 
Forschung und Lehre und in einschlägigen bundesweiten Rankings regelmäßig in 
der Spitzengruppe zu finden. Im Fachbereich Informatik sind mehrere Themen der 
formalen Methoden und der Softwaretechnik bereits hervorragend etabliert, 
wodurch ein exzellentes Forschungsumfeld in diesem Bereich angeboten wird. 
Interdisziplinäre Verbundprojekte, etwa aus der Exzellenzinitiative von Bund 
und Ländern (Smart Interfaces, Computational Engineering) oder der 
LOEWE-Initiative des Landes Hessen (CASED, Adaptronik), bieten ebenfalls 
vielfältige Anknüpfungspunkte in der Forschung.

Die Einstellung erfolgt im außertariflichen Angestelltenverhältnis mit einer 
qualifikationsabhängigen Vergütung in Anlehnung an die W-Besoldung. Diese wird 
zwischen Bewerber/in und Hochschulleitung verhandelt. Professorinnen und 
Professoren, die bereits in einem Beamtenverhältnis stehen, können in einem 
solchen weiterbeschäftigt werden. Es gelten ferner die 
Einstellungsvoraussetzungen der §§ 61 und 62 Hessisches Hochschulgesetz.

Die Technische Universität Darmstadt strebt eine Erhöhung des Anteils der 
Frauen am Personal an und fordert deshalb besonders Frauen auf, sich zu 
bewerben. Schwerbehinderte werden bei gleicher Eignung bevorzugt.

Teilzeitbeschäftigung ist grundsätzlich möglich. Bewerbungen sind mit den 
üblichen Unterlagen unter Angabe der Kenn-Nummer an den Dekan des Fachbereichs 
20, Hochschulstraße 10, 64289 Darmstadt, zu senden.

Bewerbungsfrist: 26.11.2010