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, BAT IIa - Kennziffer A 59/06 (text/html 17.8 KB)


Textalternate  Wissenschaftliche/r Mitarbeiter/in, BAT IIa - Kennziffer A 59/06
Fulltext:








veröffentl











Im
Rahmen des von der DFG geförderten Projektes ForRBAC (Formale Spezifikation,
Verifikation und Umsetzung von rollenbasierten Sicherheitsrichtlinien) ist im
Technologie-Zentrum Informatik (TZI) der Universität Bremen in der
Arbeitsgruppe von Prof. Dr. Otthein Herzog 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 59/06

 

 

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

§        
formale Spezifikation von rollenbasierten
Sicherheitsmechanismen für ein WfMS in JML (Java Modeling Language),


Verifikation mit Hilfe eines Theorembeweisers,


§        
Durchführung einer Fallstudie im Rahmen einer
sicherheitskritischen SAP-Anwendung.

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

finden.

 

Neben einem abgeschlossenen
Hochschulstudium der Informatik sind
Kenntnisse in einem oder mehreren der folgenden Gebiete erwünscht:

§        
Formale Spezifikation (z.B. in JML) und
Theorembeweisen,


Programmieren in Java,


§        
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 26.
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, BAT IIa - Kennziffer A 59/06 Wissenschaftliche/r Mitarbeiter/in, BAT IIa - Kennziffer A 59/06

 



zurück  




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