みなさま，

東京大学の蓮尾です．ドイツの博士学生・ポスドクの求人， 念のため転送します．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@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@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@informatik.uni-erlangen.de lutz.schroeder@cs.fau.de --------------------------------------