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/
