Logic List Mailing Archive

PhD student position in non-classical logics, Lodz (Poland), Deadline: 3 Oct 2018

We are looking for a highly motivated PhD student to work in the project 
?Sequent and tableau-based systems for non-classical logics?. The duration 
of the project is 33 months . A monthly stipend of 2500 PLN is attached to 
the position. Research in the project will be conducted under the 
supervision of prof. Andrzej Indrzejczak in the Department of Logic and 
Methodology of Science at the University of ?ód?, Poland.


BRIEF PROJECT DESCRIPTION

A (non-exhaustive) list of topics of interest comprises the following:
- sequent calculi for temporal and other non-classical logics
- tableau-calculi for logics with cardinality constraints and other non-classical logics
- decision procedures for various logics
- computational complexity and proof complexity of various logics.


MAIN RESPONSIBILITIES

- Participating actively in research conducted by other team members
- preparing papers for publication and/or presentation at domestic and/or international conferences
- conducting case studies, i.e., applying general methodology of devising tableau/sequent calculi to concrete logics
- (optionally) implementing concrete sequent and tableau-based decision procedures as automated provers.


SELECTION CRITERIA

Essential
A successful candidate
- holds Bachelor's/Master's degree in philosophy/mathematics/cognitive science or related discipline (involving logic);
- is a PhD student in his/her first or second year of studies (logic or related discipline) or is going to obtain this status by October, 3rd, 2018 (It is possible to apply for PhD studies in the Institute of Philosophy at the University of ?ód?, see: https://rekrutacja.uni.lodz.pl.);
- betrays extensive interest in logic and has good background in this discipline;
- has experience in delivering talks at conferences and writing scientific papers and submitting them for publication;
- has good command of English;
- has very strong motivation for scientific work;
- is ready for full involvement in the project, consisting in regular meetings with other members of the project and regular reporting on the progress of work to the PI.

Desirable
- Publication record in logic-related topics;
- Experience in publishing/delivering talks at conferences in English;
- Programming skills;
- Some background in theoretical computer science (computational complexity, proof complexity);
- Working knowledge of LaTeX.


HOW TO APPLY?

Applications should be send by email to the Principal Investigator of the 
project, prof. Andrzej Indrzejczak (indrzej@filozof.uni.lodz.pl), no later 
than on October, 3rd, 2018, 20:00, and titled ?Application, position for a 
PhD student?. Candidates should attach the following documents (in Polish 
or English):

- academic CV (including information on scientific interests, list of 
publications and conference talks etc.)

- cover letter

- sample of writing (a scientific article, an excerpt from a 
bachelor?s/master?s dissertation etc.) in English or Polish

- reference contact list (with email addresses and optionally phone 
numbers); at least one contact is mandatory.
--
[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