Logic List Mailing Archive

PhD student position in dependence logic, Helsinki (Finland), Deadline: 9 Aug 2020

The Department of Mathematics and Statistics at the University of Helsinki 
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.fi<http://helsinki.fi>.

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