PhD Student Theory and Applications of Dependence Logic

University of Helsinki, Finland is inviting excellent candidates to apply for a PhD position in computer science. Successful candidate will have funding to work and study for 3 years in Finland. This position is closed on April 27, 2019.

The University of Helsinki, founded in 1640, is one of the world's leading universities for multidisciplinary research. The university has an international academic community of 40,000 students and staff members.

The Department of Mathematics and Statistics (…) at the Faculty of Science, is the biggest department of mathematical sciences in Finland. The department invites applications for a

theory and applications of dependence logic 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 contract of employment includes a probationary period of 6 months. 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.

The duties of a doctoral student are to work on his/her doctoral thesis and to complete the doctoral studies determined by the doctoral programme's curriculum. The duties may also include teaching and other tasks for up to 5% of the annual working time.

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: and about dependence logic on Stanford Encyclopedia of Philosophy:

This research is embedded in the Helsinki Logic Group. For more information about the Group, please visit:

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. The position also requires the ability to work in an environment with English as a working language.

The successful candidate is required to acquire a doctoral student status in the Doctoral Programme in Mathematics and Statistics (Domast) at the University of Helsinki by the end of the standard 6-month probationary period. For more information on Domast, please visit….

- an application letter describing your motivation and research interests (at most three pages);

- a detailed curriculum vitae (including the names of two academic referees who will provide recommendation letters for the applicant); - a copy of the official transcript of grades at Master level; - a writing sample, such as a Master's thesis, a term paper, or a publication (in case of joint authorship, please indicate explicitly your own contribution). Please submit your application through the University of Helsinki Recruitment System via the "Apply for the position" link below. Applicants who are employees of the University of Helsinki are requested to leave their application via the SAP HR portal.

The closing date for the application is April 27th (Saturday), 2019 at 23:59 Finnish time (GMT+2).

In addition, each application should be supplemented by two letters of recommendation. The letters should be sent separately by the referees of the applicant no later than April 29 th, 2019 to the email address of Dr. Fan Yang (fan.yang(at)

For more information on the position, please contact Dr. Fan Yang (fan.yang(at)

For technical support to use the recruitment system, please contact rekrytointi(at)


More scholarships: phd position in computer science, phd position in mathematics, computer science phd scholarship, mathematics phd fellowship, phd fellowship in finland, phd scholarship at university of helsinki

Get latest scholarships via your email! It's free!
Remember to check your email and active the subscription.
You can unsubscribe any time.
Copyright © 2019 All Right Reserved.