Universiteit van Amsterdam

Please note that this newsitem has been archived, and may contain outdated information or links.

PhD student position in dependence logic, Auckland (New Zealand)

Deadline: Tuesday 31 January 2017

PhD Position in Dependence Logic
Auckland's harbour setting, magnificent beaches and verdant bush make it a great place to study and work, while the University's close proximity to New Zealand's major businesses and hospitals enables staff and students to rub shoulders with leading practitioners in their field. Auckland offers a diverse range of employment and leisure options, including easy access to high quality schools which prepare students extremely well for the transition to university.

The Department of Computer Science of the University of Auckland is the country's largest, most diverse, and most accomplished. The department was founded in 1981. It now has more than 40 academic staff and 80 research students, and an ever-growing cohort of undergraduates. The department is among the top 100 Computer Science Departments in the world according to the 2016 QS World University Rankings.

We are currently looking for a PhD student to undertake research on dependence logic. Dependence logic is a novel logical formalism that has intriguing connections to computer science, statistics, linguistics, game theory, social choice theory, philosophy, and physics. We are seeking a PhD student to join a 3-year project that examines new variants of dependence logic, including approximate and probabilistic variants, and their applications to reasoning in database theory and statistics. The student will be supervised by Miika Hannula and Sebastian Link.

We expect the applicant to have:
- A strong background in logic and computational complexity,
- A master's degree in mathematics, computer science, or other relevant discipline,
- A good command of spoken and written English.
Good programming skills and a background in statistics would be ideal, but are not necessarily expected attributes.

The position is available from March 1, 2017, and the funding covers the student fees and an annual stipend of NZD 27,500. All applications should include a CV, a 1-page personal statement of suitability, and a letter of recommendation. Applications can be sent to by end of January 2017.

Please note that this newsitem has been archived, and may contain outdated information or links.