Assistant Professor for Secure Systems

[Bernd Krieg-Brückner <bkb@informatik.uni-bremen.de>]

[I apologize for (mis)using this list, but some of you may indeed be interested]

Dear colleague,

we are presently looking for an Associate Professor for Secure Systems (formal methods appreciated) at Universität Bremen. 

I attach the German version of the advertisement. Apart from the usual requirements on teaching and research potential, the essence is, that the person should have background in at least one of the following areas:
- Modelling System Security, e.g. with Formal Methods,
- Security of distributed systems,
- Security of Internet applications, esp. Electronic Commerce,
- Security of embedded systems.
We already have the Bremen Institute of Safe Systems (specializing in formal methods) with 5 professors and about 30 researchers, and plan a special curriculum (at the Master's and PhD level) for Safety and Security (with some emphasis on Formal Methods).

The applicant should have either good command of German, or of English with the perspective to learn German fast.

We should have the application by the 21st December.

best regards
Bernd Krieg-Brückner

------------------------------------------------------------------

An der 
Universität Bremen 
ist im Studiengang Informatik des Fachbereichs 3- Mathematik/Informatik
zum nächstmöglichen Zeitpunkt 
und unter dem Vorbehalt der Stellenfreigabe

eine Professur
-Bes. Gr. C 3
im Beamtenverhältnis auf Lebenszeit

für das Aufgabengebiet 

Praktische Informatik 
mit dem Schwerpunkt Sichere Systeme
Kennziffer : P 685/99

zu besetzen. 

Der künftige Stelleninhaber bzw. die künftige Stelleninhaberin soll im Rahmen der Praktischen Informatik Fragen der Systemsicherheit (Schutz im Sinne von security) bei eingebetteten Steuerungssystemen, verteilten Informations- und Kommunikationssystemen und auf dem Gebiet des Electronic Commerce in Forschung und Lehre bearbeiten. Er bzw. sie soll Lehrveranstaltungen in der Informatik (Diplomstudiengang) für Grund- und Hauptstudium anbieten. Weiterhin wird eine Beteiligung am Aufbau eines strukturierten Lehrangebots für "Sichere Systeme" (im umfassenden Sinne von safety, security, availability, reliability) erwartet.

Die Orientierung der bisherigen Tätigkeiten soll in folgenden Bereichen liegen:
- Modellierung der Systemsicherheit, z.B. mittels Formaler Methoden,
- Sicherheit von verteilten Systemen,
- Sicherheit von Internet-Anwendungen, insbesondere Electronic Commerce,
- Sicherheit von eingebetteten Systemen.

Vorausgesetzt werden neben den allgemeinen beamtenrechtlichen Einstellungsbedingungen eine besondere Befähigung und längere Erfahrung in Lehre und Forschung in der Praktischen Informatik und speziell im Bereich der Systemsicherheit. Außerdem wird eine Habilitation oder gleichwertige Leistungen, welche auch in einer Tätigkeit außerhalb des Hochschulbereichs erbracht sein können, erwartet.

Die Universität Bremen strebt eine Erhöhung des Anteils von Frauen im Wissenschaftsbetrieb an und fordert deshalb Frauen nachdrücklich auf, sich zu bewerben. Schwerbehinderten Bewerbern bzw. Bewerberinnen wird bei im wesentlichen gleicher fachlicher und persönlicher Eignung der Vorrang gegeben.

Nähere Auskünfte erteilt der Dekan des FB 3 Mathematik / Informatik, 
Prof. Dr. Bernd Krieg-Brückner (bkb@informatik.uni-bremen.de). 

Bewerbungen mit den üblichen Unterlagen sind unter Angabe der o.g. Kennziffer P 685/99 innerhalb von vier Wochen zu richten an:
Universität Bremen
Fachbereich 3
Postfach 33 04 40
D 28334 Bremen