🚀 go-pugleaf

Submitted-by: mod-ki@Germany.EU.net
Posting-number: Volume 1992, Issue 135
Archive-name: 08/mes0959

mod-ki message 0959 (Volume 1992, Month 08, Issue 135)
***************************************************************************
Institut fuer Logik, Komplexitaet und Deduktionssysteme
Prof. Dr. P. Deussen               Tel.: 608 3975, Netz: deussen@ira.uka.de
Dr. Th. Kaeufl                     Tel.: 608 3978, Netz:  kaeufl@ira.uka.de

                                                     Karlsruhe, den 19.8.92


                              Stellenangebot
                              ~~~~~~~~~~~~~~

Wir entwickeln das Programmverifikationssystem Tatzelwurm.  Das System wird
schon jetzt in Anwendungen erprobt.  Im Rahmen des Verbundprojekts Korrekte
Software suchen wir einen

                       wissenschaftlichen Mitarbeiter
                       ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

Aufgaben
~~~~~~~~
Sie sollen Tatzelwurm weiterentwickeln und ihn an  Erfordernisse,  wie  sie
die Praxis diktierte, anpassen. Hierzu gehoert  u.a.  die  Erweiterung  des
Systems auf nicht vollstaendig ausformulierte Programme, so dass  es  schon
frueh in der Programmentwurfsphase benutzt werden kann. Ausserdem  ist  der
Beweiser des  Systems  um  eine  Sprache  zu  erweitern,  die  es  erlaubt,
Beweistechniken und Beweiswege zu  formulieren.  Die  gefundenen  Loesungen
erproben  Sie  an  u.a.  Beispielen  aus  der   Steuerung   und   aus   der
Kommunikation. Solche Beispiele fallen bei der Arbeit an  unserem  Institut
immer wieder an.

Anforderungen
~~~~~~~~~~~~~
Sie sollten Spass an der Umsetzung theoretischer Resultate  in  die  Praxis
haben. Kenntnisse in einem der Bereiche
  -  Semantik von Programmiersprachen oder Programmverifikation
  -  Logik oder automatisches Beweisen (bzw. Reduktionssysteme)
sind  von  Vorteil.  Daneben  sollten  Sie  die  Bereitschaft  in  Lisp  zu
programmieren mitbringen. Es besteht Gelegenheit zur Einarbeitung.

Sonstiges
~~~~~~~~~
Weitere  Auskuenfte  erhalten  Sie  bei   Prof. Dr. P. Deussen   oder   bei
Dr. Th. Kaeufl. Es besteht die  Moeglichkeit  zu  promovieren.  Die  Stelle
koennen Sie sofort antreten. Sie wird nach BAT IIa bezahlt.

Uebrigens wuerden wir uns freuen,  auch  eine  Mitarbeiterin  zu  gewinnen.
***************************************************************************