The Department of Mathematics and Statistics at the University of Helsinki invites applications for a doctoral student position in

Theory and Applications of Dependence Logic

for a fixed-term of three years (with a possibility of extension if further funding can be obtained later). The starting date of the full-time position is September 1, 2019, or earlier by agreement. The salary of the position is determined according to the salary system of Finnish universities. The starting salary will be 2200–2700 euros/month, depending on the appointee’s qualifications and experience.

***Application deadline***

27 April 2019

***Project description***

The doctoral student will work within the three-year research project on “Logical analysis of no-go theorems in social choice and quantum foundations” funded by the University of Helsinki. The principal investigator of the project is Dr. Fan Yang.

This multidisciplinary project aims to apply the methodology of dependence logic to develop formal connections between no-go theorems in social choice theory (such as Arrow’s Theorem) and in quantum foundations (such as Bell’s Theorem). The project will also address relevant open problems in the theory of dependence logic, especially the axiomatization problem. Read more about the project on the homepage of Dr. Fan Yang: https://sites.google.com/site/fanyanghp/ and about dependence logic on Stanford Encyclopedia of Philosophy: https://plato.stanford.edu/entries/logic-dependence/.

This research is embedded in the Helsinki Logic Group. For more information about the Group, please visit: https://wiki.helsinki.fi/display/Logic/Home.

***Qualifications***

Applicants are expected to hold a Master’s degree in mathematics, computer science, philosophy or some other relevant subject by the time of the start date. An ideal candidate should have a strong background in mathematical logic, and a keen interest in interdisciplinary research.

For more information and details on how to apply, see https://www.helsinki.fi/en/open-positions/doctoral-student-theory-and-applic... or contact Dr. Fan Yang at fan.yang@helsinki.fi.