[DL] Fwd: [Dbworld] PhD Position in Dependence Logic - University of Auckland

Camilo Thorne camilo.thorne at gmail.com
Tue Dec 13 21:01:53 CET 2016


Camilo Thorne

Mannheim, Germany

mobile: +49(0)15202380352
http://camilothorne.com

"Exegi monumentum aere perennius"
(Horatius, Ode III-30)

---------- Forwarded message ----------
From: Miika Hannula <m.hannula at auckland.ac.nz>
Date: Sun, Dec 11, 2016 at 10:40 PM
Subject: [Dbworld] PhD Position in Dependence Logic - University of Auckland
To: dbworld at cs.wisc.edu


PhD Position in Dependence Logic
University of Auckland, Department of Computer Science

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 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 m.hannula at auckland.ac.nz by end
of January 2017.
_______________________________________________
Please do not post msgs that are not relevant to the database community at
large.  Go to www.cs.wisc.edu/dbworld for guidelines and posting forms.
To unsubscribe, go to https://lists.cs.wisc.edu/mailman/listinfo/dbworld
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://mailman.informatik.uni-bremen.de/pipermail/dl/attachments/20161213/cc3623d6/attachment-0001.html>


More information about the dl mailing list