[[JSPL: The following email was sent to the old mailing list by lutz.schroeder@fau.de while it was offline]] 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 lutz.schroeder@fau.de Best wishes, Lutz Schröder -- -------------------------------------- Prof. Dr. Lutz Schröder Friedrich-Alexander-Universität Erlangen-Nürnberg Department of Computer Science Chair 8 -- Theoretical Computer Science Martensstr. 3 91058 Erlangen +49-9131-85-64059 lutz.schroeder@fau.de http://www8.cs.fau.de/~schroeder/ -------------------------------------