In the offered positions you have to do some teaching in German. Hence I didn't
translate the advert into English. Informal inquiries may be made to me.
In our group Haskell is used as implementation language and is a subject of
research.
---------------------------------------------------------------------
Am Lehrstuhl f�r Informatik II (Programmiersprachen und Verifikation)
der Rheinisch-Westf�lischen Technischen Hochschule Aachen sind
baldm�glichst zwei Stellen f�r
Wissenschaftliche Mitarbeiter/innen
(Verg.-Gr. IIa BAT)
zu besetzen. Die Besch�ftigung ist zun�chst auf 2 Jahre befristet, kann
jedoch auf insgesamt 5 Jahre verl�ngert werden.
Die Forschungsarbeiten des Lehrstuhls betreffen die Analyse
von Programmiersprachen und Verteilten Systemen mit dem Ziel
praktischer Anwendungen. Schwerpunkte bilden
- die Modellierung und Verifikation Verteilter Systeme sowie
- die Analyse, Transformation und Optimierung deklarativer und
objektorientierter Programme.
Dabei werden als Methoden vor allem Abstrakte Interpretation und
Model-Checking eingesetzt.
Zu den Aufgaben geh�rt die Mitarbeit in Forschung und Lehre. Es wird
erwartet, da� die Gelegenheit zur Promotion zielstrebig genutzt wird.
Voraussetzung f�r eine Einstellung ist ein sehr gut abgeschlossenes
Hochschulstudium in Informatik oder einem benachbarten Fach sowie
Interesse an einem der genannten Gebiete.
Die Hochschule strebt eine Erh�hung des Anteils von Frauen am
wissenschaftlichen Personal an. Daher werden insbesondere Frauen
gebeten, sich zu bewerben.
Bewerbungen geeigneter Schwerbehinderter sind erw�nscht.
Richten Sie Ihre Bewerbung bis zum 15. Dezember bitte an
Prof. Dr. Klaus Indermark
Lehrstuhl f�r Informatik II
RWTH Aachen
Ahornstr. 55
52074 Aachen
Tel.: 0241/80-21201
Email: [EMAIL PROTECTED]
URL: www-i2.informatik.rwth-aachen.de
--
OLAF CHITIL, Lehrstuhl fuer Informatik II, RWTH Aachen, 52056 Aachen, Germany
Tel: (+49/0)241/80-21212; Fax: (+49/0)241/8888-217
URL: http://www-i2.informatik.rwth-aachen.de/~chitil/
