Logic List Mailing Archive

PhD student position in "Automatization of Logic", Saarbr�cken (Germany), Deadline: 15 Feb 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 zur Verifikation und Analyse komplexer Systeme 
(Model-Checking f�r hybride Systeme).

Sie verf�gen �ber einen Diplom- oder Master-Abschlu� in Informatik od
er 
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.

Bitte senden Sie auch eine elektronische Version als pdf an 
weidenbach@mpi-inf.mpg.de

Bewerbungen mit den �blichen Unterlagen richten Sie bitte an folgende 
Adresse:
Max-Planck-Institut f�r Informatik

Campus E1 4
Herr Prof. Dr. Christoph Weidenbach
66123 Saarbr�cken

Bewerbungsschluss: 15.02.2008