Logic List Mailing Archive

PhD student position in logic, Utrecht (The Netherlands), Deadline: 1 Apr 2020

PhD position in Logic at Utrecht University, the Netherlands

The PhD project is embedded in the research project Optimal Proofs funded 
by the Netherlands Organisation for Scientific Research led by Rosalie 
Iemhoff at Utrecht University. The project in mathematical and 
philosophical logic is concerned with formalisation in general and proof 
systems in particular. Its mathematical aim is to develop methods to 
describe the possible proof systems of a given logic and establish, given 
various criteria of optimality, what the optimal proof systems of the 
logic are. Its philosophical aim is to develop general criteria for 
faithful formalisation in logic and to thereby distinguish good 
formalisations from bad ones. The mathematical part of the project focuses 
on, but is not necessarily restricted to, the (non)classical logics that 
occur in computer science, mathematics, and philosophy, while the 
philosophical part of the project also takes into account domains where 
formalisation via logic is rare. The research of the PhD lies mainly 
within the mathematical part of the project, but can, depending on the 
interests of the candidate, be extended to the philosophical part of the 
project as well.

The PhD candidate will be part of a research team consisting of two 
PhD-candidates, two postdoctoral researchers and Rosalie. Besides doing 
research, the candidate will take part in other activities of the group, 
such as the organization of workshops, and there will be ample opportunity 
for the candidate to attend international conferences and visit logic 
groups abroad.

The project is based at the discipline group Theoretical Philosophy at the 
Department of Philosophy and Religious Studies of Utrecht University. The 
research carried out in the lively group is broad and varied, and part of 
the humanities as well as the sciences. Utrecht University currently has a 
Focus Area Artificial Intelligence that the department is involved in. All 
this provides a stimulating and internationally oriented research 
environment.

Qualifications

We are looking for a talented and dedicated student with a master's degree 
or equivalent degree in mathematics, computer science, or philosophy, 
specializing in logic or a related area.

Additional information

For more information on the practical details of the position and the 
application procedure, please visit 
https://www.uu.nl/en/organisation/working-at-utrecht-university/jobs/phd-position-in-the-research-project-optimal-proofs-10-fte 
or https://www.uu.nl/en/organisation/working-at-utrecht-university/jobs

For more information on the project, please contact Rosalie Iemhoff at 
r.iemhoff@uu.nl<mailto:r.iemhoff@uu.nl>.

Deadline for applications: 1 April, 2020.
--
[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