Logic List Mailing Archive

PhD student position in dependence logic, Helsinki (Finland), Deadline: 27 Apr 2019

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 3 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-applications-of-dependence-logic 
or contact Dr. Fan Yang at fan.yang@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