Logic List Mailing Archive

Postdoctoral position on "optimal proofs", Utrecht (The Netherlands), Deadline: 22 Jun 2018

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.iemhoff@uu.nl.

  Deadline for applications: 22 June, 2018.

--
[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