The Department of Mathematics and Statistics at the University of Helsinki (Finland) invites applications for a
Doctoral student position in Dependence Logic
for a fixed-term of four years. The position will start as soon as possible.
**Application deadline**
Applications should be sent as soon as possible, preferably by August 9, 2020. The position will remain open until filled.
**Job description**
The doctoral student is expected to conduct research on dependence logic. Dependence logic a novel logical formalism for reasoning about dependence and independence concepts in sciences (read more on: https://plato.stanford.edu/entries/logic-dependence/). The doctoral student will work within the research project on “Dependence logic and its applications in no-go paradoxes in sciences” funded by Academy of Finland. This multidisciplinary project aims to study open problems in dependence logic (including the axiomatization problem, expressivity, etc.) and to investigate applications of dependence logic and team semantics in no-go paradoxes in social choice, quantum foundations and database theory. The principal investigator of the project is Dr. Fan Yang (https://sites.google.com/site/fanyanghp/).
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 see https://sites.google.com/site/fanyanghp/phd-position or contact Dr. Fan Yang at fan.yang(at)helsinki.fihttp://helsinki.fi.