[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
Postdoc position in Logic at Utrecht University, the Netherlands.
The postdoc is embedded in the research project “Optimal Proofs” funded by the
Netherlands Organization for Scientific Research led by Dr. Rosalie Iemhoff,
Department of Philosophy and Religious Studies, Utrecht University. The project
in mathematical and philosophical logic is concerned with formalization in
general and proof systems as a form of formalization 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 formalization in logic and to thereby distinguish
good formalizations from bad ones. The mathematical part of the project
focusses 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
formalization in logic is less common. The postdoc is expected to contribute
primarily to the mathematical part of the project. Whether the research of the
postdoc also extends to the philosophical part of the project depends on his or
her interests.
Qualifications
We are looking for a talented and dedicated researcher with a PhD in logic,
preferably in mathematical or philosophical logic, with excellent track record
and research skills relative to experience, excellent academic writing and
presentation skills, and publications in high-level journals or books.
Additional information
For more information on the practical details of the positions and the
application procedure , please visit
https://www.academictransfer.com/nl/47996/postdoc-position-in-logic-10-fte/
https://www.uu.nl/en/organisation/working-at-utrecht-university/jobs
For more information on the project, please contact Rosalie Iemhoff at
r.iemh...@uu.nl.
Deadline for applications: 22 June, 2018.
