Logic List Mailing Archive

W3 Professorship for Mathematics (Symbolic Computation), Passau (Germany)

Universit?t Passau

An der Fakult?t f?r Informatik und Mathematik der Universit?t Passau 
ist 
zum Wintersemester 2007/2008 die Planstelle f?r eine/einen

Universit?tsprofessorin/Universit?tsprofessor f?r MATHEMATIK MIT 
SCHWERPUNKT SYMBOLIC COMPUTATION

der Besoldungsgruppe W 3 im Beamtenverh?ltnis auf Lebenszeit (Nachfolge
 
Professor Dr. Volker Weispfenning)

zu besetzen.

Gesucht wird eine Pers?nlichkeit aus Universit?ten, 
Forschungseinrichtungen oder der Industrie, die in dem Themenbereich 
Symbolic Computation wissenschaftlich international ausgewiesen ist. Die 
Stelleninhaberin/Der Stelleninhaber hat das Fach in Forschung und Lehre zu
 
vertreten. In der Forschung soll der Schwerpunkt neben den mathematischen
 
Methoden in Algebra und Logik auch auf Anwendungen in der Informatik oder
 
in Informatik-nahen Bereichen (z. B. Computeralgebra, Constraint Solving,
 
Programm-Analyse und -Verifikation, Robotik, Automatisches Beweisen, 
Software-Sicherheit) liegen. Beitr?ge zu den Universit?tsschwerpunkten,
 
Kooperation mit Wirtschaft und Industrie und Erfahrung in der Einwerbung 
von Forschungsmitteln sind erw?nscht. Von den Bewerberinnen und Bewerbern
 
wird erwartet, dass sie in der Mathematik-Ausbildung sowohl in den 
Informatik-Studieng?ngen als auch im Lehramtsstudiengang mit den F?cher
n 
Informatik (vertieft) und Mathematik (vertieft) mitwirken.

Einstellungsvoraussetzungen sind ein abgeschlossenes Universit?tsstudium
 
(vgl. Art. 7 Abs. 1 Satz 1 Nr. 1 BayHSchPG), p?dagogische Eignung, 
besondere Bef?higung zu wissenschaftlicher Arbeit, die in der Regel durch
 
die Qualit?t einer Promotion nachgewiesen wird, und dar?ber hinaus 
zus?tzliche wissenschaftliche Leistungen. Diese werden durch eine 
Habilitation oder gleichwertige wissenschaftliche Leistungen, die auch 
au?erhalb des Hochschulbereichs erbracht sein k?nnen, nachgewiesen.

Die Universit?t Passau strebt eine Erh?hung des Anteils von Frauen in
 
Forschung und Lehre an und bittet deshalb Wissenschaftlerinnen 
nachdr?cklich, sich zu bewerben. Bewerberinnen und Bewerber d?rfen zum
 
Zeitpunkt der Ernennung das 52. Lebensjahr noch nicht vollendet haben 
(vgl. Art. 10 Abs. 3 Satz 2 BayHSchPG). Bewerbungen Schwerbehinderter 
werden bei im Wesentlichen gleicher Eignung bevorzugt ber?cksichtigt.

Bewerbungen mit aussagekr?ftigen Unterlagen werden erbeten an: Universit
?t 
Passau

Dekan der Fakult?t f?r Informatik und Mathematik
Innstra?e 33
94032 Passau

Bewerbungsschluss: 30.09.2006