Postdoctoral position in logic, proof theory, and semantics, Nancy (France)

A post-doc position is available at LORIA (Nancy, France) in logic, proof theory and semantics, supported by the international ANR-FWF Ticamore project (ANR-16-CE91-0002) "Translating and Discovering Calculi for Modal and Related logics". See https://ticamore.logic.at for more information.

The successful candidate will be working within the TYPES team at LORIA. He will have access to the resources of the team through the Ticamore project.

It is a 1 year post-doc position that could be extended with 1 more year.

RESEARCH AREA

The central goal of the Ticamore project is to study the proof-theory of sub-structural or modal logics with a focus on the bridges that can be built between internal calculi (like sequent, hyper-sequent, nested or bunched calculi) and external calculi (like labelled or display calculi). These bridges should be understood as proof (or counter model) transformation procedures, embeddings, encodings, ...

POST-DOC RESEARCH TASKS

The postdoc will be to carry out research within the project Ticamore by focusing on the following tasks:

- to study new internal calculi for Bunched Logics (BI, BBI and some modal extensions) and their connections with existing external calculi, - to use such calculi for studying high level properties like termination, finite model property, cut-elimination, interpolation or complexity. - to implement external and internal calculi for Bunched Logics and to develop tools for automated translations between calculi.

REQUIREMENTS

Requirements are a PhD degree in Computer Science, Logic or Mathematics and a strong background in some of the following topics:
- formal logic (non-classical, sub-structural, modal, ...)
- proof theory (sequents, tableaux, natural deduction ...)
- logical semantics (translations, embeddings, bisimulations ...)
- computability theory (decidability, complexity ...)

VENUE/SALARY

The position is for 1 year (with possible extension of 1 more year) with a starting date that could be fixed between September and December 2017. The position holder will work in the TYPES team at LORIA and will be paid by the University of Lorraine. The monthly salary will be around 2000 euros free of charge.

APPLICATION PROCEDURE

The deadline for application is July 25th, 2017, but an email to inform about the intention of application is welcome as soon as possible.

Applications should be sent in electronic form, including a CV, publication list, title and summary of the PhD, reports on the PhD, recommendation letters and a motivation letter w.r.t. research topics related to the post-doc position.

They should be sent by email to either/both

- Didier Galmiche (galmiche at loria.fr)
- Dominique Larchey-Wendling (larchey at loria.fr)

Informal inquiries by email are welcome.

IMPORTANT DATES

- Intention of application (short email) as soon as possible
- Deadline for application July 25th, 2017
- Starting dates Sep.-Dec. 2017