• Wissenschaftlicher Mitarbeiter
• PhD Students
• Post-Docs

• Hiwi
• Research and Teaching Assistants

Openings

NEWS: At the beginning of the Summer Term 2004 Prof. Leue will move to the University of Konstanz where he will establish a research group on Software Engineering. The advertised positons in the tele group at the University of Freiburg can unfortunately no longer be filled. For new openings at Konstanz please check the home page of the Software Engineering Group.

1. Wissenschaftliche Mitarbeiter/-in: BITTE NICHT WEITER BEWERBEB - STELLE WIRD NICHT BESETZT!

In der Forschungsgruppe tele für Rechnernetze und Telematik (Prof. Dr. Stefan Leue) sind im Rahmen der Teilnahme an dem von der Deutschen Forschungsgemeinschaft zum 1. Januar 2004 neu eingerichteten Transregio-Sonderforschungsbereich 14 AVACS (Automatische Verifikation und Analyse komplexer Systeme) mehrere wissenschaftlicher Mitarbeiterstellen nach Vergütungsgruppe BAT IIa zu besetzen. Im Mittelpunkt der Forschungsarbeiten steht die Entwicklung von formalen Verifikations- und Analyseverfahren für komplexe, eingebettete Softwaresysteme. Wir interessieren uns besonders für die Entwicklung automatischer Verifikationsmethoden für Echtzeitsysteme und Systeme mit probabilistischem Verhalten. Die Forschungsarbeiten sind grundlagenorientiert und bieten exzellente Möglichkeiten zur Durchführung von Promotions- oder Habilitationsvorhaben. Entsprechend können die Stellen mit Doktoranden oder Post-Doktoranden besetzt werden. Bewerberinnen oder Bewerber verfügen über einen exzellenten ersten Studienabschluss in Informatik oder einer nahe verwandten Disziplin und interessieren sich sowohl für praktische wie auch für mehr theoretisch-formale Arbeiten. Kenntnisse im Bereich der formalen Methoden des Software Engineering, besonders die Kenntnis der Grundlagen von Modellprüfverfahren (Model Checking), sind von Vorteil. Die Stellen können ab dem 1. Januar 2004 besetzt werden. Die Universität Freiburg strebt eine Erhöhung des Frauenanteils an und fordert daher ausdrücklich entsprechend qualifizierte Frauen zur Bewerbung auf. Bitte senden Sie Ihre Bewerbungsunterlagen (wenn möglich elektronisch als PDF, einschliesslich Lebenslauf, Publikationsliste (falls vorhanden), Zeugnisse, und Namen von mondestens zwei Referenzen aus dem akademischen Bereich) baldmöglichst an Prof. Dr. Stefan Leue, Institut für Informatik, Universität Freiburg, Georges-Köhler-Allee 51, D-79110 Freiburg, Telefon (0761) 203 8181, Fax (0761) 203 8182, Email: leue@uni-freiburg.de, Web: http://tele.informatik.uni-freiburg.de/ .

PhD Position / Research Assistant / PostDoc: PLEASE DO NOT APPLY - POSITION WILL NOT BE FILLED

The tele research group for Computer Networks and Telematics (Prof. Dr. Stefan Leue) has immediate openings for two PhD student / research assistant / Post-Doc positions. These positions are available in the context of our participation in the newly established Collaborative Transregional Reserch Centre AVACS (Automatic Verification and Analysis of Complex Systems, Transregio-SFB 14) funded by the Deutsche Forschungsgemeinschaft (DFG). The research is centered around the development of formal verification and analysis methods for complex, embedded real-time systems. In particular, we develop automated verification methods for real-time and probabilistic systems. The research is foundational and offers excellent opportunities for pursuing a doctoral dissertation (or a habilitation). The positions can be filled either by a doctoral student or a Post-Doc. A PhD thesis can be written in either German or English. English is a working language within the tele research group. Renumeration is according to the German public employee payscale BAT IIa (the amount depends on age, marital status and number of children, cf. http://www.uni-tuebingen.de/uni/qqp/Verg-BAT-Euro.html). Applicants will have an excellent first first degree (preferably at the Diplom or Master level, but a Bachelor Degree may be acceptable as well) in Computer Science or a closely related area and have strong interests in both practical as well as theoretical/formal aspects of Computer Science. A background in formal software engineering methods, in particular in model checking, is an advantage. The positions can be filled starting January 1, 2004. The University of Freiburg aims to increase the percentage of women in research and teaching, and therefore encourages female candidates meeting the above qualifications to apply. Please send you application (preferably electronically as PDF, including CV, list of publications (if applicable), certificates, transcripts, and the names of at least two academic references) to Professor Stefan Leue, Institute for Computer Science, University of Freiburg, Georges-Koehler-Allee 51, D-79110 Freiburg, Germany, phone +49 761 203 8181, fax +49 761 203 8182, email: leue@uni-freiburg.de, web: http://tele.informatik.uni-freiburg.de/ .