PhD position Announcement

[OLIVETTI Nicola]

PhD POSITION IN MARSEILLES

(apologies for multiple copies)

GENERAL AREA: Logic, Automated Deduction


AREA : PROOF-THEORY OF MODAL AND RELATED LOGICS

The topic of this thesis is to investigate the proof theory and automated deduction modal and related logics, such as normal and non-normal modal logics, epistemic logics, conditional logics.
The expected research activity comprises:

1. the study of new  calculi of different kinds (tableaux, sequent calculi) for the respective logics and their relations.
2. the use of the calculi for investigating meta-logical properties of logics, for example constructive proof of decidability,  finite model property, interpolation, new or tighter complexity bounds;
3. the development of prototype theorem provers implementing the studied calculi and of other tools for automated proof-theoretical analysis.

ADDITIONAL INFORMATION
The research will be carried on at the LSIS Laboratory of the Aix-Marseilles University (http://www.lsis.org).
The fellowship is subsidized by a recently approved international ANR-PRCI project involving France and Austria.

FUNDING
The Ph.D. fellowship is funded for 3 years, amounting approximately to 1350 EUR (take-home salary). Addiitonal teaching allowances are possible.

CANDIDATE PROFILE
Applicants should have a M.Sc. in Computer Science, Mathematics or Philosophy, they are expected to have:
- a strong background in logic,

- specific skills in proof-theory and automated deduction,

Further skills in the following areas are highly sought:

- complexity theory and formal methods,

- logic or functional programming.

STARTING DATE:
the position starts in Spring 2017, no later than June 1, 2017.


APPLICATION AND CONTACT:
Candidates must send their application *before 31st January 31* 2017:
- A detailed Curriculum vitae,
- A transcript of the grades of  Bachelor and Master Degrees,
- A letter of intent,
- Reference letters,
- A short description as well as a copy of their master thesis.


Applications must be sent by email with attached pdf files to
nicola.olivetti at univ-amu.fr


--
Prof. Nicola Olivetti
Faculté d'Economie et Gestion (FEG),
Aix-Marseille Université
LSIS - UMR CNRS 7296
Adresse FEG: Espace Forbin,
15-19 Allée Claude Forbin, 13627 Aix-en-provence, (France)
Adresse LSIS: Domaine Universitaire de Saint-Jérôme
Avenue Escadrille Normandie-Niemen, 13397 Marseille Cedex 20 (France)
email: nicola.olivetti at univ-amu.fr, nicola.olivetti at lsis.org
phone: +33 (0)49128 9094, fax: +33 (0) 49128 8334
http://www.lsis.org/olivetti/






-------------- nächster Teil --------------
Ein Dateianhang mit HTML-Daten wurde abgetrennt...
URL: <https://lists.tu-clausthal.de/cgi-bin/mailman/private/ifi-ci-event/attachments/20161213/cf167b75/attachment.html>