[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
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 t!
he 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
[email protected].
Deadline for applications: 1 April, 2020.
