<mod-ki 0761> Stellenangebot Karlsruhe

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, 08 Oct 1991 14:15

#57

Author: Hans-Werner Hein
Date: Tue, 08 Oct 1991 14:15

51 lines
3015 bytes

From: kaeufl@ira.uka.de (Thomas Kaeufl)
To: mod-ki@unido.informatik.uni-dortmund.de
Date: 9 Sep 91 09:53:42 GMT
Subject: <mod-ki 0761> Stellenangebot Karlsruhe
Keywords: Stellen

mod-ki message 0761
************************************************************************
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 16.8.91

                             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.

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

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