🚀 go-pugleaf

From: bertram@informatik.tu-muenchen.de (Bertram Fronhoefer)
To: mod-ki@unido.informatik.uni-dortmund.de
Date: Thu, 28 Mar 1991 10:58:29 GMT
Subject: <mod-ki 0679> Stellenangebot TU Muenchen/Job at TU Munich
Keywords: Stellen

mod-ki message 0679
************************************************************************
                            STELLENANGEBOT

                    wissenschaftlicher Angestellter
      in der Forschungsgruppe INTELLEKTIK / KUENSTLICHE INTELLIGENZ
                   Technische  Universitaet Muenchen
                    (Lehrstuhl Prof. Dr. E. Jessen)

Die  Forschungsgruppe  besteht  aus  insgesamt  einem  knappen   Dutzend
wissenschaftlicher   Mitarbeiter,   die   in   verschiedenen   Projekten
Grundlagenforschung  und  anwendungsorientierte   Entwicklung   in   den
Bereichen "Deduktionssysteme", "Wissensbasierte Systeme" und  "Parallele
Inferenzsysteme" betreiben und von denen international konkurrenzfaehige
Spitzenforschung erwartet wird.

Der/die  Bewerber/in  uebernimmt  speziell  Aufgaben   innerhalb   eines
DFG-Projekts, welches  sich  mit  der  Konzeption  und  Entwicklung  von
Logikprogrammiersystemen   jenseits   des   gaengigen   Paradigmas   der
Hornklauselprogrammierung befasst. Insbesondere handelt es sich  um  die
Weiterentwicklung  des  Hochleistungstheorembeweisers  SETHEO,  der   in
unserer     Forschungsgruppe     entwickelt     wurde,     zu      einem
Logikprogrammierwerkzeug. Spezielle Themenstellungen sind:  Gleichheits-
und  Funktionsbehandlung,  Kalkuelverfeinerungen,   Suchraumreduktionen,
Verwendung Klassischer Negation, Programmoptimierung  sowie  semantische
Fragen   des   Einsatzes   von   Praedikatenlogik   erster   Stufe   als
Programmiersprache.

Mindestvoraussetzung   ist    ein    abgeschlossenes    Hochschulstudium
(Diplom/Magister) in einer  der  Fachrichtungen  Mathematik,  Informatik
oder Logik.  Aufgrund der stark  theoretisch-logischen  Ausrichtung  der
zu besetzenden Projektstelle sollte der  Schwerpunkt  des  Studiums  auf
theoretischer Informatik und/oder mathematischer  Logik  gelegen  haben.
Kenntnisse   in   logischer   und   funktionaler   Programmierung   (und
diesbezueglicher formaler Semantik) waeren von Vorteil.

Des Weiteren erwarten wir von unseren  Mitarbeitern,  dass  sie  bemueht
sind die Ergebnisse ihrer wissenschaftlichen  Arbeit  kontinuierlich  zu
veroeffentlichen. Von unpromovierten Bewerbern wird erwartet,  dass  sie
im Rahmen der Forschungsaufgaben der Forschungsgruppe eine  Dissertation
anfertigen. Darueberhinaus wird generelles Engagement fuer die in  einer
groesseren Forschungsgruppe anfallenden Aufgaben erwartet.

Die Verguetung erfolgt nach BAT. Die Stelle ist  zunaechst  auf  2 Jahre
befristet.

Bewerbungen richten Sie bitte an:

Bertram Fronhoefer  Tel.: (089) 2105 - 2031
                          (089) 2105 - 8163
Reinhold Letz             (089) 521098

Institut fuer Informatik 
TU Muenchen
Postfach 20 24 20
8 Muenchen 2

E-mail: fronhoef@lan.informatik.tu-muenchen.dbp.de
************************************************************************