[TYPES/announce] Post-Doc position within the ANR-FWF project "TICAMORE"

[Didier Galmiche]

-----------------------------------------------------
                 Post-Doc position
           within the ANR-FWF project "TICAMORE"
-----------------------------------------------------

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