<mod-ki 0823> Stellenausschreibung Darmstadt
Hans-Werner Hein
To: mod...@unido.Germany.EU.net
Date: Wed, 18 Dec 91 12:43:16 +0100
Subject: <mod-ki 0823> Stellenausschreibung Darmstadt
Keywords: Stellen
mod-ki message 0823
************************************************************************
S T E L L E N A U S S C H R E I B U N G
Im Fachbereich Informatik der Technischen Hochschule Darmstadt ist
(vorbehaltlich der endgueltigen Bewilligung) zum Fruehjahr 1992 im
Rahmen eines von der DFG gefoerderten Vorhabens zum Automatischen
Beweisen noch eine Stelle einer wissenschaftlichen Mitarbeiterin /
eines wissenschaftlichen Mitarbeiters (BAT IIa) zu besetzen.
Gesucht werden Dipl. Informatikerinnen / Dipl. Informatiker, deren
Interesse sowohl praktischen als auch formalen Aspekten der Informatik
gilt. Eine Vertiefung des Studiums in einem oder mehreren der Gebiete
Termersetzungssysteme, Logik, Automatisches Beweisen / Deduktions-
systeme, Kuenstliche Intelligenz waere fuer die Mitarbeit im geplanten
Vorhaben von Vorteil. Die Moeglichkeit zur Promotion ist gegeben.
Bewerbungen bitte an:
****************************************************************
* Prof. Dr. Christoph Walther *
* Fachbereich Informatik, Technische Hochschule Darmstadt *
* Alexanderstr. 10, D-6100 Darmstadt (FRG) *
* Tel. 06151 / 16-4492, -4493, Fax 06151 / 16-5326, -5550 *
* e-mail: wal...@inferenzsysteme.informatik.th-darmstadt.de *
****************************************************************
************************************************************************