[logic-ml] Fwd: PhD/Postdoc Positions in Theoretical Computer Science at FAU Erlangen-Nürnberg
Ichiro Hasuo
ichiro at is.s.u-tokyo.ac.jp
Wed Mar 28 10:36:43 JST 2012
みなさま,
東京大学の蓮尾です.ドイツの博士学生・ポスドクの求人,
念のため転送します.Lutz Schröder さんは
modal logic/coalgebra/computational effect の文脈で
大活躍の方です.
それでは!
蓮尾 一郎
http://www-mmm.is.s.u-tokyo.ac.jp/~ichiro/
---------- Forwarded message ----------
From: Lutz Schröder <lutz.schroeder at cs.fau.de>
Date: Wed, Mar 28, 2012 at 5:25 AM
Subject: PhD/Postdoc Positions in Theoretical Computer Science at FAU
Erlangen-Nürnberg
[I would be grateful for further distribution of the job advertisement below]
In the newly founded Theoretical Computer Science group (Chair 8) at
the University of Erlangen-Nürnberg, several research positions are
available that can be filled at the doctoral or post-doctoral level.
These include project positions of up to two years, in the TV-L E13 or
E14 pay scale depending on qualification of the applicant; project
topics include
- coalgebraic logic
- probabilistic description logic
- formal methods in mechanical engineering.
Additionally, at least one position is available that is not tied to a
specific research project but does carry a teaching obligation of 5h
per week; in this case, research work can be positioned in any of the
core fields of the group including
- modal logic
- knowledge representation
- coalgebra
- formal methods
- program semantics
- applications of semantic technologies
Such positions can be filled at TV-L E13 for an initial appointment of
three years, with a possibility of extension for another three years
subject to provisions by German laws on temporal employment in
academia; postdoctoral applicants from EU countries can be appointed
at the A13 payscale ("akademischer Rat") (which pays better and has
better benefits) for two periods of three years, with a possible
extension of two periods of two years at the A14 payscale
("akademischer Oberrat") for candidates who successfully complete a
habilitation during the first six years.
Please send applications consisting of a cover letter, resume, and
contact details of three references by email to
lutz.schroeder at cs.fau.de. There is no particular application deadline;
positions will be filled when suitable candidates are found.
Best regards,
Lutz
--
--------------------------------------
Prof. Dr. Lutz Schröder
Chair of Theoretical Computer Science
Department of Computer Science
Friedrich-Alexander-Universität
Erlangen-Nürnberg
lutz.schroeder at informatik.uni-erlangen.de
lutz.schroeder at cs.fau.de
--------------------------------------
More information about the Logic-ml
mailing list