Im Rahmen des vom Bundesministerium für Bildung und Forschung geförderten Verbundprojektes ORKA (Organisatorische Kontrollarchitektur) ist im Technologie-Zentrum Informatik (TZI) der Universität Bremen in der Arbeitsgruppe von Prof. Dr. Hans-Jörg Kreowski zum nächstmöglichen Zeitpunkt die folgende Stelle – unter dem Vorbehalt der Stellenfreigabe – zu besetzen:

Wissenschaftliche/r Mitarbeiter/in

Informatik – Verg. Gr. IIa BAT
Kennziffer A 76/06

Ziel des Forschungsprojektes ist die Entwicklung von rollenbasierten Sicherheitsmechanismen für Workflow-Managementsysteme (WfMS). Zu den Aufgaben des Mitarbeiters gehören dabei insbesondere:

§ Spezifikation von rollenbasierten Security Policies für ein WfMS in temporaler Logik, UML/OCL und Graphformalismen,

• Verifikation mit Hilfe von Modellprüfern und Graphtransformationswerkzeugen,

§ Entwicklung einer Spezifikationssprache für rollenbasierte Security Policies,

§ interne Administration des Projektes.

Nähere Informationen können Sie auch unter http://www.tzi.de/~sohr/ORKA

finden.

Neben einem abgeschlossenen Hochschulstudium der Informatik sind Kenntnisse in den folgenden Gebieten erwünscht:

§ Formale Spezifikation (z.B. in Temporallogik),

§ Kenntnisse in UML/OCL,

§ Sicherheit von WfMS (insbesondere rollenbasiertes Berechtigungsmanagement).

Im Rahmen des Forschungsprojektes besteht die Möglichkeit zur Promotion. Die Stelle ist zunächst auf 18 Monate befristet.

Die Universität Bremen beabsichtigt, den Anteil von Frauen im Wissenschaftsbereich zu erhöhen und fordert deshalb Frauen ausdrücklich auf, sich zu bewerben.

Schwerbehinderten Bewerberinnen/Bewerbern wird bei im Wesentlichen gleicher fachlicher und persönlicher Eignung der Vorrang gegeben.

Auskünfte telefonisch unter 0421/218-4226 oder per E-Mail: sohr@informatik.uni-bremen.de.

Schicken Sie Ihre Bewerbungen bitte unter Angabe der o. g. Kennziffer bis zum 15.06.2006 an:

Universität Bremen

Dr. Karsten Sohr, Fachbereich 3

Postfach 33 04 40, 28334 Bremen

Wir bitten Sie, uns von Ihren Bewerbungsunterlagen nur Kopien (keine Mappen) einzureichen, da wir sie aus Kostengründen nicht zurücksenden können; sie werden nach Abschluss des Auswahlverfahrens vernichtet.