Ongeveer 16 uur geleden - Universiteit van Amsterdam (UvA) - Amsterdam
The Korteweg-de Vries Institute for Mathematics (KdVI) at the University of Amsterdam invites you to apply for a postdoctoral position in the area of quantum …
Utrecht University's Faculty of Humanities is looking for a Postdoc Researcher. Are you interested? Then please read the full profile and apply.
The Postdoctoral Researcher is embedded in the research project “Optimal Proofs” funded by the Netherlands Organisation for Scientific Research and led by Dr. Rosalie Iemhoff, Department of Philosophy and Religious Studies, Utrecht University. The project in mathematical and philosophical logic is concerned with formalisation in general and proof systems as a form of formalisation 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 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 formalisation in logic is more rare. The Postdoc is expected to contribute to the mathematical part of the project.
Qualifications for the Postdoc position:
We offer a temporary position (1.0 FTE) for one year. Upon good performance, the contract will be extended for another 24 months (3 years in total). The gross salary - depending on previous qualifications and experience - ranges between €3,238 and €3,475 (scale 10 according to the Collective Labour Agreement Dutch Universities) gross per month for a full-time employment. Salaries are supplemented with a holiday bonus of 8 % and a year-end bonus of 8.3 % per year. We offer a pension scheme, (partly paid) parental leave, collective insurance schemes and flexible employment conditions (multiple choice model). More information is available at: working at Utrecht University.
For additional information about the project, please contact Dr. Rosalie Iemhoff via firstname.lastname@example.org. Please also refer to the websites of the Department of Philosophy and Religious Studies and of Utrecht University for general information.