[Stellenangebote] Vollzeit-Stelle: WiMi Software-Verifikation, Kiel

[Lutz Prechelt]

-----Original Message-----
From: Se-professoren [mailto:se-professoren-bounces at ira.uni-karlsruhe.de] On Behalf Of Dirk Nowotka
Sent: Dienstag, 30. August 2016 10:38
To: se-professoren at ira.uni-karlsruhe.de
Subject: [Se-professoren] Stellenausschreibung Software-Verifikation

Liebe Kolleginnen und Kollegen,

in meiner Arbeitsgruppe “Zuverlässige Systeme” sind zum nächstmöglichen Zeitpunkt zwei Mitarbeiterstellen (PostDoc oder Doktorand) im Bereich Software-Verifikation eingebetteter Systeme zu besetzen.  Die Stellenausschreibung finden Sie anbei. Ich würde mich freuen, wenn Sie geeignete Kandidatinnen oder Kandidaten auf die Stelle aufmerksam machen könnten.

Herzlichen Dank für Ihre Unterstützung!

Viele Grüße

Dirk Nowotka

----

Prof. Dr. Dirk Nowotka
Dependable Systems
Department of Computer Science
Kiel University
D-24098 Kiel, GERMANY
phone: +49 431 880 4199
http://zs.uni-kiel.de

-------------- nächster Teil --------------
Ein Dateianhang mit Binärdaten wurde abgetrennt...
Dateiname   : Open Positions.pdf
Dateityp    : application/pdf
Dateigröße  : 81009 bytes
Beschreibung: nicht verfügbar
URL         : <http://lists.spline.inf.fu-berlin.de/pipermail/stellenangebote/attachments/20160901/6bdfad85/attachment.pdf>
-------------- nächster Teil --------------
Ein Dateianhang mit Binärdaten wurde abgetrennt...
Dateiname   : signature.asc
Dateityp    : application/pgp-signature
Dateigröße  : 841 bytes
Beschreibung: nicht verfügbar
URL         : <http://lists.spline.inf.fu-berlin.de/pipermail/stellenangebote/attachments/20160901/6bdfad85/attachment.asc>
-------------- nächster Teil --------------
Ein eingebundener Text mit undefiniertem Zeichensatz wurde abgetrennt.
Name: ATT00001.txt
URL: <http://lists.spline.inf.fu-berlin.de/pipermail/stellenangebote/attachments/20160901/6bdfad85/attachment.txt>