🚀 go-pugleaf

From: Martin Protzen <martin@inferenzsysteme.informatik.th-darmstadt.de>
To: mod-ki@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: walther@inferenzsysteme.informatik.th-darmstadt.de  *
   ****************************************************************
************************************************************************