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 36/06 (text/html 8.7 KB)


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








An der Universität Bremen sind im Fachbereich Mathematik und Informatik
in der Arbeitsgruppe Rechnerarchitektur und Modellierung ab sofort jedoch
spätestens bis zum 1











An der  Universität
Bremen ist im Fachbereich Mathematik und Informatik in der Arbeitsgruppe Rechnerarchitektur für die Dauer von
zwei Jahren – vorbehaltlich der Stellenfreigabe – eine Stelle als

 

Wissenschaftlicher
Mitarbeiter/Wissenschaftliche Mitarbeiterin

- Vergütungsgruppe II
a BAT-

Kennziffer: A 36/06

 

zu besetzen.

 

Im Rahmen der Stelle sollen effiziente
Erfüllbarkeitsalgorithmen für die Generierung von Testmustern untersucht
werden. Das gleichnamige Projekt wird von der DFG für die Dauer von zwei Jahren
gefördert.

 

Zu den Forschungsaufgaben gehören

 


SAT-basierte Testmustergenerierung
Integration moderner
SAT-Beweistechniken
Modellierung statischer und
dynamischer Fehlermodelle
Entwicklung von problemspezifischen
Heuristiken
Einsatz im realen Umfeld


 

Voraussetzung ist
ein abgeschlossenes wissenschaftliches Hochschulstudium.

 

Für weitere Fragen steht der Leiter der Arbeitsgruppe Prof.
Dr. Rolf Drechsler (Tel: 0421 218 7389, drechsle@informatik.uni-bremen.de)
gerne zur Verfügung. Weitere Informationen zur Forschungs- und Lehrtätigkeit
der Arbeitsgruppe sind unter

http://www.informatik.uni-bremen.de/agra/


zu finden.

 

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.

 

Bewerbungen mit den üblichen Unterlagen (Lebenslauf,
Zeugnisse, Publikations- und Vortragsliste, usw.) richten Sie bitte unter
Angabe der o. g. Kennziffer bis zum
23. März 2006 an folgende Adresse:

 

Prof. Dr. Rolf Drechsler

Fachbereich 3 – Informatik

Universität Bremen

Bibliothekstr.1

28359 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 36/06 Wissenschaftliche/r Mitarbeiter/in, BAT IIa - Kennziffer A 36/06

 



zurück  




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