Logic List Mailing Archive

CfA: PhD or postdoc position in logical modelling of notarial procedures, FAU Erlangen-Nürnberg (Germany), Deadline: asap

A fully funded

    three-year PhD or postdoc position
    (E-13 on the German TV-L scale, full time, no teaching obligation)

is available at the Theoretical Computer Science lab of 
Friedrich-Alexander-Universität Erlangen-Nürnberg (FAU), Germany, with 
starting date between now and April 2024. The position is affiliated 
with a large interdisciplinary project involving FAU labs in computer 
science, linguistics, and law, funded by the German Federal Chamber of 
Notaries (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 and reasoning. We 
are thus looking for a candidate with an MSc or PhD in computer science 
or mathematics, ideally with a background in logic, in particular modal 
or description logics.

The position is embedded into a large and active research group with a
highly collaborative spirit, see https://www8.cs.fau.de/ for more 
details. Erlangen's technical campus is situated within pleasant 
Franconia, and close to the vibrant city of Nuremberg. Please send 
applications or further inquiries to


Best wishes,

Lutz Schröder

Prof. Dr. Lutz Schröder
Department of Computer Science
Chair 8 -- Theoretical Computer Science
Martensstr. 3
91058 Erlangen

[LOGIC] mailing list, provided by DLMPST
More information (including information about subscription management) can
be found here: http://dlmpst.org/pages/logic-list.php