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 76/06 (text/html 18.5 KB)


Textalternate  Wissenschaftliche/r Mitarbeiter/in - Kennziffer A 76/06
Fulltext:








veröffentl











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.






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

 



zurück  




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