schließen

Professur für Symbolisches Rechnen

Ausschreibung einer unbefristeten Stelle eines/r Universitätsprofessors/in für Symbolisches Rechnen gemäß § 94 Abs. 2 Z 1 UG an der Technisch-Naturwissenschaftlichen Fakultät der Johannes Kepler Universität Linz

An der Technisch-Naturwissenschaftlichen Fakultät der Johannes Kepler Universität Linz ist eine

Professur für Symbolisches Rechnen

in Form eines privatrechtlichen Angestelltenverhältnisses ab 1. Oktober 2021 zu besetzen. Die Anstellung erfolgt gemäß § 98 UG. Eine Evaluierung der Professur erfolgt nach 5 Jahren.

Gesucht wird eine Persönlichkeit, die das Gebiet des Symbolisches Rechnen umfassend vertritt und dabei in wenigstens einem seiner Kerngebiete international hervorragend ausgewiesen ist, etwa in Computeralgebra (symbolische Methoden in Verbindung mit z.B.: Algebra, Analysis, Geometrie, Kombinatorik, usw.) oder Computational Logic (z.B.: automatisches und computer-unterstütztes Beweisen, formale Methoden und Softwareverifikation, Termersetzungssysteme, Constraint Solving, usw.). Besonderer Wert wird auf die Verbindung zwischen den mathematischen Grundlagen und algorithmischen bzw. software-technologischen Aspekten des Gebiets gelegt. Des Weiteren soll sich der/die erfolgreiche Bewerber/in an einem oder mehreren der Forschungsschwerpunkte der Universität beteiligen und mit dem „Johann Radon Institute for Computational and Applied Mathematics (RICAM)“ der Österreichischen Akademie der Wissenschaften zusammenarbeiten.

Aufgabe des Stelleninhabers bzw. der Stelleninhaberin wird es sein, das Fachgebiet in Lehre und Forschung zu vertreten und weiter zu entwickeln. Die detaillierten Anforderungen sind in einem Stellenprofil dokumentiert.

Info Box

Ansprechperson

Univ.-Prof.
Dr. Peter Paule
+43 732 2468 9940
peter.paule@jku.at

Anstellungs- verhältnis

unbefristet (§ 98 UG)
Vollzeit

Bewerbungsfrist

30. Dezember 2020

Bewerbungen an

bewerbung@jku.at

Voraussetzungen sind eine Habilitation im Bereich der Mathematik oder Informatik oder eine vergleichbare Qualifikation.

Es ist eine auf freiwilliger Basis beruhende Vereinbarung eines Gehaltes, das über dem kollektivvertraglich vorgesehenen Mindestgehalt von derzeit € 73.438,40 liegt, vorgesehen.

Für eventuelle Fragen steht Herr Univ.-Prof. Dr. Peter Paule, T +43 732 2468 9940, E-Mail: peter.paule@jku.at, gerne zur Verfügung.

Die Johannes Kepler Universität strebt eine Erhöhung des Anteils an Frauen im wissenschaftlichen Personal an und fordert deshalb qualifizierte Frauen nachdrücklich auf, sich zu bewerben. Bei gleicher Qualifikation wird bevorzugt eine Frau berufen. Begünstigt behinderte Bewerber/innen werden bei entsprechender Eignung besonders berücksichtigt. Bewerbungen aus dem Ausland sind besonders erwünscht.

Interessent/inn/en werden gebeten, ihre Bewerbung unter Beachtung der im Stellenprofil angegebenen Kriterien samt den dort verlangten Anlagen (z.B. Lebenslauf) in elektronischer Form bis zum 30.12.2020 unter bewerbung@jku.at an den Rektor der Johannes Kepler Universität Linz zu schicken. Falls die Übersendung von Anlagen in elektronischer Form nicht möglich ist, sind diese in fünffacher Ausfertigung derart zu übersenden, dass sie längstens innerhalb einer Nachfrist von einer Woche nach Ende der Bewerbungsfrist beim Rektor einlangen.