Logic List Mailing Archive

PhD student position (BAT IIa) Computer Science: automated proof systems, TU Berlin, Germany

Technische Universitaet Berlin
Bei der Technischen Universitaet Berlin ist folgende Stelle zu besetzen:

Wiss. Mitarbeiter/in

Vgr. IIA BAT (Anwendungs-TV Berliner Hochschulen)
fr max. 5 Jahre (zur Promotion)
Fakultaet IV - Institut fuer Softwaretechnik u. Theoretische Informatik / 
FG Programmierung eingebettete Systeme
Kennziffer: WM-545

Aufgabengebiet: Mitarbeit in der Lehre im o. g. Fachgebiet sowie Forschung
auf folgenden Gebieten: Software-Engineering / Qualitaetssicherung fr
eingebettete Systeme: Validierung u. Verifikation, maschinelle
Verifikation z.B. mit dem Theorembeweiser Isabelle / HOL; automatisierter
Entwurf u. Synthese eingebetteter Systeme unter Bercksichtigung d.  
Heterogenitt d. Software- u. Hardwarekomponenten in eingebetteten
Systemen.

Anforderungen: erfolgr. abgeschl. wiss. Hochschulstudium (Informatik); 
vertiefte Kenntnisse auf mind. einem d. folgenden Gebiete: eingebettete 
Systeme, Compilerbau, formale Logik, Softwaretechnik; Interesse an d. 
Vermittlung von Fachwissen an Studierende.

Die TUB strebt eine Erhhung ihres Frauenanteils an und fordert daher 
Frauen nachdrcklich zur Bewerbung auf. Bei gleichwertiger Qualifikation 
werden Frauen bevorzugt eingestellt (dies gilt fr Bereiche, jeweils 
bezogen auf Besoldungs-, Vergtungs- oder Lohngruppen, in denen mehr Mnner 
als Frauen beschftigt sind).

Schwerbehinderte werden bei gleicher Eignung bevorzugt.

Die Stellenauschreibung ist auch im Internet unter 
http://www.tu-berlin.de/zuv/IIA/

Ihre schriftliche Bewerbung richten Sie bitte unter Angabe der Kennziffer 
mit den blichen Unterlagen an

Technische Universitaet Berlin
Institut fuer Softwaretechnik u. Theoretische Informatik, Sekr. FR 5-6
Der Praesident
Franklinstr. 28/29 
10587 Berlin

http://www.tu-berlin.de/zuv/IIA/