Logic List Mailing Archive

PhD student position in "Automatisation of Logic", Saarbr?n (Germany), Deadline: 15 Jan 2008

Max-Planck-Institut fr Informatik

Das Max-Planck-Institut fr Informatik in Saarbrcken sucht ab sofort eine/n

Wissenschaftliche/n Mitarbeiter/in
Automatisierung der Logik

Die Stelle ist in der Arbeitsgruppe "Automatisierung der Logik" angesiedelt.
Informationen ber die Arbeitsgruppe finden Sie unter
http://www.mpi-inf.mpg.de/units/rg1/.

Im Rahmen des Sonderforschungsbereiches "AVACS" beschftigen Sie sich mit
der Entwicklung, Implementierung und Integration von Verifikationswerkzeugen
(Model-Checking fr hybride Systeme) zur Verifikation und Analyse komplexer
Systeme.

Sie verfgen ber einen Diplom- oder Master-Abschlu in Informatik oder
Mathematik oder einem naturwissenschaftlichen oder
ingenieurwissenschaftlichen Fach und bringen idealerweise praktische
Programmiererfahrung in der Programmiersprache C++ und Kenntnisse in den
Bereichen Logik, Verifikation und/oder hybride Systeme mit.

Wir untersttzen nachhaltig eine Promotion in Informatik. Die Stelle ist
zunchst auf zwei Jahre befristet und wird nach den Richtlinien der
Max-Planck-Gesellschaft zur Frderung von Doktoranden vergtet.

Die Max-Planck-Gesellschaft will den Anteil an Frauen in den Bereichen
erhhen, in denen sie unterreprsentiert sind. Frauen werden deshalb
ausdrcklich aufgefordert, sich zu bewerben. Bewerbungen von
Schwerbehinderten sind ausdrcklich erwnscht und werden bei gleicher
Qualifikation bevorzugt bercksichtigt.

Bewerbungen mit den blichen Unterlagen richten Sie bitte an folgende
Adresse (bitte senden Sie auch eine elektronische Version als pdf an
uwe@mpi-inf.mpg.de):
Max-Planck-Institut fr Informatik

Campus E1 4
Herr Dr. Uwe Waldmann
66123 Saarbrcken

Bewerbungsschluss: 15.01.2008