🚀 go-pugleaf

                      Stellenausschreibung


An  der Universitaet Bremen, Fachbereich  3/Informatik ist im Bremer Institut
fuer Sichere Systeme (BISS) zum fruehstmoeglichen Zeitpunkt eine halbe Stelle
(Verg. Gr. II a BAT halbe, befristet auf drei Jahre) fuer eine(n)

              Wissenschaftliche(n)  Mitarbeiter/in

zu besetzen.

Das  BISS ist   ein  Bereich  des  neu  eingerichteten Technologie   Zentrums
Informatik  (TZI), einer wissenschaftlichen  Einheit der Universitaet Bremen.
Wichtige Ziele des TZI sind Weiterentwicklung von Informatik-Technologien und
insbesondere ihr Transfer in Anwendungen.

Aufgaben:
Mitarbeit im Schwerpunkt

      "Modellierung, Validation und Test verlaesslicher Systeme"

in dem eine Umgebung fuer die Testautomatisierung von sicheren Systemen
zur Unterstuetzung des Entwurfsprozesses entwickelt wird

Eigenverantwortliche und  kreative Mitwirkung in  der Lehre und Forschung auf
dem Gebiet der  Modellierung  und Simulation von  parallelen Rechnersystemen,
insbesondere im Hinblick auf
  -  Spezifikationsmethoden (CSP, Automatentheorie)
  -  Methoden der Validation, Verifikation und Tests sicherer Systeme
  -  Testgenerierung, -durchf\"uhrung und -auswertung
  -  verteilte Verifikation,

Voraussetzungen:
*       Diplom in Informatik oder vergleichbarer Abschluss
*       Gute Sprachkenntnisse in Englisch
*       Interesse an Forschungsarbeit und an der Arbeit mit Studenten
*       Fertigkeiten im Bereich objekt-orientierter Programmierung
        und Softwareentwicklung (auch fuer verteilte Systeme)

Ausserhalb der Dienstaufgaben besteht  die Gelegenheit zur wissenschaftlichen
Weiterqualifikation, insbesondere zur Promotion.

Die  Universitaet  strebt eine    Erhoehung   des  Anteils  von   Frauen   im
Wissenschaftsbereich an und fordert  deshalb Frauen nachdruecklich  auf, sich
zu bewerben.  Schwerbehinderte   Bewerberinnen/Bewerber werden  bei  gleicher
Qualifikation bevorzugt eingestellt.

Bewerbungen mit den ueblichen Unterlagen richten Sie bitte
unter Angabe der Kennziffer BISS_JP97 an die

Universitaet Bremen
Fachbereich 3/Informatik
Postfach 33 04 40
28334 Bremen.

Fuer weitere Fragen steht Ihnen gerne zur Verfuegung:

Prof. Dr. Jan Peleska,
Tel. +49 (0) 421 218 7092,
email: jp@informatik.uni-bremen.de
http://www.informatik.uni-bremen.de/~biss

=========================================
Dr. Holger Schlingloff, Geschaeftsfuehrer
Bremer Institut fuer Sichere Systeme
Technologie Zentrum Informatik der Univ.

Post: TZI-BISS, Pf 330440, D-28334 HB
Tel.: 0421-218-7291 Fax : 0421-218-3054
Mail: hs@tzi.org, http://www.tzi.org/~hs
=========================================