Logic List Mailing Archive

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

Max-Planck-Institut f�r Informatik

Das Max-Planck-Institut f�r Informatik in Saarbr�cken 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" besch�ftigen Sie sich mit
der Entwicklung, Implementierung und Integration von Verifikationswerkzeugen
(Model-Checking f�r hybride Systeme) zur Verifikation und Analyse komplexer
Systeme.

Sie verf�gen �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 unterst�tzen nachhaltig eine Promotion in Informatik. Die Stelle ist
zun�chst auf zwei Jahre befristet und wird nach den Richtlinien der
Max-Planck-Gesellschaft zur F�rderung von Doktoranden verg�tet.

Die Max-Planck-Gesellschaft will den Anteil an Frauen in den Bereichen
erh�hen, in denen sie unterrepr�sentiert sind. Frauen werden deshalb
ausdr�cklich aufgefordert, sich zu bewerben. Bewerbungen von
Schwerbehinderten sind ausdr�cklich erw�nscht und werden bei gleicher
Qualifikation bevorzugt ber�cksichtigt.

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 f�r Informatik

Campus E1 4
Herr Dr. Uwe Waldmann
66123 Saarbr�cken

Bewerbungsschluss: 15.01.2008