Logic List Mailing Archive

PhD student position in automated deduction, Marseilles (France), Deadline: 30 Apr 2021

PH.D POSITION IN MARSEILLES:

GENERAL AREA: Logic, Automated Deduction

TITLE: UNIFORM CONSTRUCTIVE MODAL LOGICS

The study of modalities with an intuitionistic basis goes back to 
pioneering work by Fitch in the 40's and by Prawitz in the 60'; since then 
it has developed into a wealthy stream of research.

One particular approach to the field is the so-called constructive modal 
logics proposed initially by Nerode and Wijesekera in the 90's and then 
independently by Bellin, Bierman, Mendler and de Paiva among others.

Constructive modal logics are mainly motivated by their interest for 
applications to computer science, such as the type-theoretic 
interpretations (Curry?Howard correspondence, typed lambda calculi), 
verification and knowledge representation, not to mention their 
mathematical semantics.

The object of the thesis is to carry on a systematic and uniform study of 
constructive modal logics in order to cover the analogue of the standard 
cube of classical modal logics.

Despite some works in this direction, a general framework for extensions 
of the basic systems is lacking. The research involved in this thesis aims 
to study such extensions in all respects: calculi, computational property, 
complexity, type-theoretic interpretation (via Curry-Howard 
correspondence), and semantics.

SUPERVISION

The thesis will be carried on under the direction of Charles Grellois and 
Nicola Olivetti, LIS AMU.

Charles Grellois: http://www.grellois.fr/ <http://www.grellois.fr/>

Nicola Olivetti: https://pageperso.lis-lab.fr/nicola.olivetti/ 
<https://pageperso.lis-lab.fr/nicola.olivetti//>

The Ph.D Student will join the Laboratoire d?Informatique et Systmes ( LIS) of 
Marseilles and Aix-Marseille University (AMU).


LOCATION

The Ph.D student will carry on her research in Marseilles and/or in 
Aix-en-Provence, and integrate the LIRICA Team of LIS.

STARTING DATE

The Ph.D. fellowship can start in September 2021 and its start can be postponed 
until the end of the year.


DURATION

The thesis will last 36 months


SALARY

The salary is about 1400 euros per month (after taxes) . The salary can be 
increased by complementary teaching activities.


CANDIDATE PROFILE:

Applicants should have a M.Sc. in Computer Science, Mathematics or Philosophy, 
and they are expected to have:

- a strong background in logic,

- specific skills in proof-theory and automated deduction,

- an acquaintance with complexity theory and formal methods,

- some programming skills in logic or functional programming are also welcome


TO CANDIDATE:

If interested, please send to Charles Grellois:

Charles.grellois@lis-lab.fr <mailto:Charles.grellois@lis-lab.fr>

the documents listed below in pdf format no later than April 30, 2021:

  *

    CV

  *

    Transcript of grades of Bachelor and Master Degrees

  *

    Personal statement

  *

    Any other material: master thesis and/or research papers

  *

    Reference letters (sent directly by the recommending person)


The candidates who pass a first selection will be interviewed.

The final decision will be taken at the beginning of July.
--
[LOGIC] mailing list
http://www.dvmlg.de/mailingliste.html
Archive: http://www.illc.uva.nl/LogicList/

provided by a collaboration of the DVMLG, the Maths Departments in Bonn and Hamburg, and the ILLC at the Universiteit van Amsterdam