[TYPES/announce] PhD or postdoc position in logical modelling of notarial procedures at FAU Erlangen-Nürnberg

(Bundesnotarkammer). The project is aimed at providing automated support for notarial procedures using methods from formal logic, machine learning, and computational linguistics. The position at the Theoretical Computer Science lab, supervised by Lutz Schröder, is concerned with formal logical modelling

[TYPES/announce] Open Topic Full Professorship in Computer Science, FAU Erlangen-Nürnberg

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Friedrich-Alexander-Universität Erlangen-Nürnberg is advertising an open-topic full professorship in computer science, see

[TYPES/announce] PhD position in Coalgebraic Model Checking at FAU Erlangen-Nürnberg

Erlangen-Nürnberg, located at the Chair of Theoretical Computer Science. The position is within the new DFG project "Coalgebraic Model Checking", with Stefan Milius and Lutz Schröder as PIs and with Daniel Hausmann collaborating on a second project position. The aim of the project is

[TYPES/announce] PhD and Postdoc Position in Monad-Based Programming and Verification at FAU

nical part of the project proposal can be made available on request. The project is supervised by Sergey Goncharov and Lutz Schröder. The positions are in the TV-L E13 or E14 pay scale depending on qualification of the applicant; the project duration is three years. Please enquire or apply