[TYPES/announce] PhD position in Logic at Utrecht University, the Netherlands
[ 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 r.iemh...@uu.nl. Deadline for applications: 1 April, 2020.
[TYPES/announce] Postdoc position in Logic
[ 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.
[TYPES/announce] PhD position in Logic
[ 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 position 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 PhD student is expected to contribute primarily to the mathematical part of the project. Whether the research of the PhD student also extends to the philosophical part of the project depends on his or her interests. 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 positions and the application procedure , please visit https://www.academictransfer.com/nl/47995/phd-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.