<mod-ki 0823> Stellenausschreibung Darmstadt

Thread View: dnet.mod-ki

1 messages

[T] Back to Threads [V] Tree View [G] Group Articles

1 total messages Started by Hans-Werner Hein Tue, 24 Dec 1991 11:08

#97

Author: Hans-Werner Hein
Date: Tue, 24 Dec 1991 11:08

33 lines
2390 bytes

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  *
   ****************************************************************
************************************************************************

Thread Navigation

This is a paginated view of messages in the thread with full content displayed inline.

Messages are displayed in chronological order, with the original post highlighted in green.

Use pagination controls to navigate through all messages in large threads.

Back to All Threads