Logic List Mailing Archive

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 zur Verifikation und Analyse komplexer Systeme 
(Model-Checking fr hybride Systeme).

Sie verfgen 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 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.

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 fr Informatik

Campus E1 4
Herr Prof. Dr. Christoph Weidenbach
66123 Saarbrcken

Bewerbungsschluss: 15.02.2008