Die Informatik des Fachbereiches 3 der Universität Bremen Hier geht es zur Homepage der Verwaltung des Fachbereiches 3 der Universität Bremen Hier geht es zur Homepage der Informatik des Fachbereiches 3 der Universität Bremen Hier geht es zur Homepage der Mathematik des Fachbereiches 3 der Universität Bremen Hier geht es zur Homepage des Fachbereiches 3 der Universität Bremen Hier geht es zur Homepage der Universität Bremen


INHALT & PFAD:
Startseite Textformat


Für den Fall, dass Ihr Computer das entsprechende Format nicht angezeigen kann, können Sie sich hier das Dokument als unformatierte Textausgabe ansehen.

(Bitte haben Sie dafür Verständnis, dass gewisse Dokumente nicht als Textalternative zur Verfügung stehen.)


Download:
Download Wissenschaftliche/r Mitarbeiter/in - Kennziffer A 77/06 (application/msword 29.0 KB)


Textalternate  Wissenschaftliche/r Mitarbeiter/in - Kennziffer A 77/06
Fulltext:
zu besetzen:

Wissenschaftliche/r Mitarbeiter/in

Verg. Gr. IIa BAT

Kennziffer A 77/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 Theorembeweisern, Modellprüfern und
Graphtransformationswerkzeugen,

Entwicklung einer Spezifikationssprache für rollenbasierte Security
Policies,

Entwicklung von Übersetzungswerkzeugen zwischen den verschiedenen
Formalismen.

Nähere Informationen können Sie auch unter HYPERLINK
"http://www.tzi.de/~sohr/ORKA" 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),

Theorembeweisen und Modellprüfung,

Sicherheit von WfMS (insbesondere rollenbasiertes
Berechtigungsmanagement).

Im Rahmen des Forschungsprojektes besteht die Möglichkeit zur Promotion.
Die Stelle ist zunächst auf zwei Jahre 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 22. Juni 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.

Wissenschaftliche/r Mitarbeiter/in - Kennziffer A 77/06 Wissenschaftliche/r Mitarbeiter/in - Kennziffer A 77/06

 



zurück  




Seitenanfang  -  Impressum Zuletzt geändert durch: cocs [b]   12.06.2006 Admin-Login