13/03/2019

Doc­toral Stu­dent, The­ory and Ap­plic­a­tions of De­pend­ence Lo­gic


  • ORGANISATION/COMPANY
    University of Helsinki
  • RESEARCH FIELD
    MathematicsApplied mathematics
    MathematicsComputational mathematics
    MathematicsMathematical analysis
    MathematicsMathematical logic
  • RESEARCHER PROFILE
    First Stage Researcher (R1)
  • APPLICATION DEADLINE
    27/04/2019 00:00 - Europe/Brussels
  • LOCATION
    Finland › Helsinki
  • TYPE OF CONTRACT
    Temporary
  • JOB STATUS
    Full-time
  • HOURS PER WEEK
    38

OFFER DESCRIPTION

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 (https://www.helsinki.fi/en/faculty-of-science/faculty/mathematics-and-st...) 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.

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. 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 https://www.helsinki.fi/en/research/doctoral-education/doctoral-schools-....

How to apply

Your application should include the following documents (in one single pdf file):

• 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)helsinki.fi).

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

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

Due date

27.04.2019 23:59 EEST

More Information

Web site for additional job details

Required Research Experiences

  • RESEARCH FIELD
    Mathematics
  • YEARS OF RESEARCH EXPERIENCE
    None
  • RESEARCH FIELD
    Mathematics
  • YEARS OF RESEARCH EXPERIENCE
    None
  • RESEARCH FIELD
    Mathematics
  • YEARS OF RESEARCH EXPERIENCE
    None
  • RESEARCH FIELD
    Mathematics
  • YEARS OF RESEARCH EXPERIENCE
    None
Work location(s)
1 position(s) available at
University of Helsinki
Finland
Helsinki
00100
Yliopistonkatu 4

EURAXESS offer ID: 166071
Posting organisation offer ID: 126331

Disclaimer:

The responsibility for the jobs published on this website, including the job description, lies entirely with the publishing institutions. The application is handled uniquely by the employer, who is also fully responsible for the recruitment and selection processes.

 

Please contact support@euraxess.org if you wish to download all jobs in XML.