🚀 go-pugleaf

Dies ist der Text der offiziellen Ausschreibung der Professur fuer
Mathematischen Logik an der Universitaet Wien, Oesterreich.

Rueckmeldungen bitte NICHT per eMail, sondern per Post an untenstehende
Adresse.
----------------------------------------------------------------------

Am Institut fuer Logistik der Universitaet Wien ist das Ordinariat fuer

"Mathematische Logik mit besonderer Beruecksichtigung der Grundlagen der
Theoretischen Informatik" (Nachfolge Prof. Christian)

zu besetzen.

Ernennungserfordernisse:
abgeschlossenes Hochschulstudium, einschlaegige Lehrbefugnis oder
gleichwertige wissenschaftliche Befaehigung, paedagogische Eignung.

Der/die Bewerber/in soll die Faehigkeit besitzen, den gesamten in der
Studienordnung Logistik $ 4 Abs.I lit. a und b (BGBL.Nr. 194/1978)
genannten Faecherkatalog in der Lehre zu vertreten; es sind dies
- Faecher der Theoretischen Logik mit Anwendung (Formale Logik,
Beweistheorie, Modelltheorie, Induktionstheorie).
- Faecher der Theoretischen Grundlagen der Mathematik (Formale
Zahlentheorie, Formale Mengentheorie, Grundbegriffe der Mathematik,
Allgemeine Theorie der algebraischen Strukturen).
- Faecher der Theoretischen Grundlagen der Informatik (Rekursionstheorie,
Algorithmentheorie, Kuenstliche Intelligenz, Computationale Logik,
Formale Sprachen und Automaten).
Erwuenscht ist eine hohe wissenschaftliche Qualifikation auf mindestens
einem dieser Gebiete.

Aufgrund des Frauenfoerderungsplanes im Wirkungsbereich des
Bundesministeriums fuer Wissenschaft, Verkehr und Kunst werden an der
Universitaet Wien Frauen bei gleicher Qualifikation bevorzugt aufgenommen.

Bewerbungen sind bis 15. September 1996 mit folgenden Beilagen
- Lebenslauf
- Sonderdrucke der 10 wichtigsten Arbeiten
- Gesamtverzeichnis der wissenschaftlichen Publikation und Lehrbuecher
- Angaben ueber abgehaltene Lehrveranstaltungen

an das Dekanat der Formal- und Naturwissenschaftlichen Fakultaet der
Universitaet Wien, Dr.Karl Lueger-Ring 1, 1010  Wien, zu richten.