Logic List Mailing Archive

W3 professorship in Theoretical Computer Science, Erlangen-Nuernberg (Germany), Deadline: 1 Feb 2010

A Full Professor position in the area of Theoretical Computer
Science is available in the Department of Computer Science,
School of Engineering, University of Erlangen-Nuremberg, Germany.

For the Call for Applications in English and German see below.

Best regards

 	Rolf
-------------------------------------------------------------------
  Prof. Dr. Rolf Wanka               | e-mail: rwanka@cs.fau.de
  Department of Computer Science     |
  University of Erlangen-Nuremberg   | Phone: +49 9131 85-25152
  Am Weichselgarten 3                | FAX:   +49 9131 85-25149
  91058 Erlangen, Germany            |
-------------------------------------------------------------------

[For the German call for applications, see below]

Friedrich-Alexander University of Erlangen-Nuremberg

W3-Professorship of Theoretical Computer Science

The Department of Computer Science at the School of Engineering of
the University of Erlangen-Nuremberg offers a faculty position
(W3-Professorship) in

Theoretical Computer Science.

The successful candidate will represent the discipline of
Theoretical Computer Science in teaching and research.

Preferably, the main focus should include one of the areas

- Deduction,
- Program Verification and Synthesis,
- Algorithmic Game Theory and Learning Theory.

Willingness to participate in the basic education in Computer Science
and in other related programs of study is assumed.

Requirements for the appointment include a university degree, teaching
ability, a doctoral degree (Ph. D. or equivalent) and additional
accomplishments in research demonstrated by, e.g., a Habilitation or
an equivalent postdoctoral qualification.

Applicants should not be older than 52 years at the time of
appointment. Exceptions are possible, but depend on the consent of the
Bavarian Ministry of Science, Research and Art and the Bavarian
Ministry of Finances (article 10, paragraph 3, sentence 2 BayHSchPG).


The University of Erlangen-Nuremberg is committed to increase the
number of women in research and teaching positions and especially
invites female scientists to apply.

In case of equal qualification, disabled applicants will be given
preference.

Applications including CV, list of publications, presentations and
teaching experience, copies of diplomas and certificates (university
degrees), and copies of the three most relevant publications
should be addressed to the dean of the School of Engineering (Dekan
der Technischen Fakultaet), University of Erlangen-Nuremberg,
Erwin-Rommel-Str. 60, 91058 Erlangen, Germany, no later than
1 February 2010. An additional electronic submission to
rolf.wanka@informatik.uni-erlangen.de is appreciated.

-------------------------------------------------------------------

Friedrich-Alexander-Universitaet Erlangen-Nuernberg

Die Technische Fakultaet besetzt im Department Informatik zum
naechstmoeglichen Zeitpunkt eine

W3-Professur fuer Theoretische Informatik .

Der kuenftige Stelleninhaber / die kuenftige Stelleninhaberin soll
den Bereich der theoretischen Informatik in seiner vollen Breite
in Forschung und Lehre vertreten. Wuenschenswert ist ein Schwerpunkt
in mindestens einem der Gebiete

- Deduktion,
- Programm-Verifikation und Synthese,
- Algorithmische Spiel- und Lerntheorie.

Erwartet wird die praktische Umsetzung in konkreten Anwendungen.
Die Bereitschaft zur Mitwirkung in den Gremien der akademischen
Selbstverwaltung wird ebenso vorausgesetzt wie die Mitwirkung an
den neuen Bachelor-, Master- und Lehramtsstudiengaengen sowie auch
die Bereitschaft zur inhaltlichen und organisatorischen Entwicklung
von Promotionsstudiengaengen, interdisziplinaeren und internationalen
Studiengaengen. Erwartet wird darueber hinaus die Beteiligung beim
Aufbau von Forschungsverbuenden und an bestehenden
Forschungseinrichtungen, insbesondere auch bei interdisziplinaeren
Zentren.

Einstellungsvoraussetzungen sind ein abgeschlossenes Hochschulstudium,
paedagogische Eignung, Promotion und zusaetzliche wissenschaftliche
Leistungen. Letztere werden durch Habilitation oder gleichwertige
wissenschaftliche Leistungen, die auch ausserhalb des Hochschulbereichs
erbracht sein koennen, nachgewiesen oder im Rahmen einer
Juniorprofessur erbracht.

Bei einer Berufung in das Beamtenverhaeltnis duerfen Bewerberinnen/
Bewerber zum Zeitpunkt der Ernennung das 52. Lebensjahr noch nicht
vollendet haben. Ausnahmen in dringenden Faellen kann das Staatsministerium
fuer Wissenschaft, Forschung und Kunst im Einvernehmen
mit dem Staatsministerium der Finanzen zulassen (Art. 10 Abs. 3
Satz 2 Bay-HSchPG).

Die Universitaet Erlangen-Nuernberg strebt eine Erhoehung des Anteils von
Frauen in Forschung und Lehre an und bittet deshalb Wissenschaftlerinnen
nachdruecklich um ihre Bewerbung.

Schwerbehinderte Bewerberinnen oder Bewerber werden bei ansonsten im
Wesentlichen gleicher Eignung bevorzugt eingestellt.

Bewerbungen mit den ueblichen Unterlagen (tabellarischer Lebenslauf mit
Lichtbild, Verzeichnis der Schriften, Vortraege und Lehrveranstaltungen
sowie beglaubigte Kopien von Zeugnissen und Urkunden) werden bis zum
01.02.2010 an den Dekan der Technischen Fakultaet der Universitaet
Erlangen-Nuernberg, Herrn Prof. Dr.-Ing. Reinhard German,
Erwin-Rommel-Str. 60, 91058 Erlangen, Deutschland, erbeten. Bitte
stellen Sie die Bewerbungsunterlagen zusaetzlich in elektronischer
Form Herrn Prof. Dr. Rolf Wanka (rolf.wanka@informatik.uni-erlangen.de)
zur Verfuegung.