Openings

Die Universität Konstanz ist eine der neun Exzellenz-Universitäten der Bundesrepublik Deutschland.

Im Fachbereich Informatik und Informationswissenschaft, Lehrstuhl für Software Engineering (Prof. Leue), ist ab 01.11.2010 die Stelle einer / eines

Akademischen Mitarbeiterin / Akademischen Mitarbeiters
(Entgeltgruppe 13 TV-L)

befristet zu besetzen. Die Stelle ist grundsätzlich teilbar. Die Möglichkeit zur Promotion ist gegeben. In Ausnahmefällen können auch einschlägig promovierte Bewerberinnen / Bewerber berücksichtigt werden.

Gesucht werden motivierte Mitarbeiterinnen / Mitarbeiter mit abgeschlossenem Universitätsstudium (Diplom / Master) in Informatik oder einer eng verwandten Disziplin. Der Aufgabenbereich umfasst die Mitarbeit an Forschungsprojekten des Lehrstuhls im Bereich der

Modellierung und Analyse von Software und Systemen

sowie die Unterstützung der Aufgaben des Lehrstuhls in der Lehre. Die laufenden Forschungsprojekte umfassen u.a. das stochastische Model Checking, funktionale Sicherheitsanalyse von Systemen, die quantitative Analyse von Softwarearchitekturen und die Anwendung formaler Modellierungstechniken in der Systembiologie. Das konkrete Arbeitsgebiet und das Promotionsthema können mit der erfolgreichen Bewerberin / dem erfolgreichen Bewerber individuell abgestimmt werden.

Bewerberinnen / Bewerber sollten über Vorkenntnisse in den Bereichen Software Engineering und dessen formale Grundlagen, Systemmodellierung und Analyse sowie nach Möglichkeit in dem Bereich der Formalen Methoden verfügen. Programmiererfahrung, die praktische Beherrschung moderner Software Engineering Methoden sowie sehr gute Kenntnisse der deutschen und der englischen Sprache in Wort und Schrift werden ebenfalls vorausgesetzt.

Wir bieten ein angenehmes Arbeitsklima in einer motivierenden, kollegialen und technisch hervorragend ausgestatteten Arbeitsumgebung. Unsere Forschungskontakte sind international und unsere Forschungsergebnisse werden auf internationalen Konferenzen präsentiert. Wir arbeiten mit Industrieunternehmen in der Bodenseeregion in den Bereichen Automotive Systems und Embedded Systems zusammen, wodurch sich zahlreiche Möglichkeiten zu industriellen Kontakten ergeben.

Die Universität Konstanz bemüht sich um die Beseitigung von Nachteilen, die für Wissenschaftlerinnen im Bereich der Hochschule bestehen. Sie strebt eine Erhöhung des Anteils von Frauen in Forschung und Lehre an. Die Universität Konstanz wurde von der Hertie-Stiftung als familiengerechte Hochschule zertifiziert. Sie setzt sich besonders für die Vereinbarkeit von Familie und Erwerbsleben ein. Schwerbehinderte werden bei entsprechender Eignung vorrangig eingestellt (Telefonnummer der Schwerbehinderten- vertretung: 07531 / 88 - 4895).

Ihre Bewerbung mit den üblichen Unterlagen senden Sie bitte in elektronischer Form (eine PDF-Datei) unter Angabe der Kennziffer 2010 / 148 bis zum 11. Oktober 2010 per Email an Herrn Prof. Dr. Stefan Leue, Stefan.Leue@uni-konstanz.de. Prof. Leue steht gerne für weitere Auskünfte zur Verfügung.