Camilo Thorne Mannheim, Germany
mobile: +49(0)15202380352 http://camilothorne.com "Exegi monumentum aere perennius" (Horatius, Ode III-30) ---------- Forwarded message ---------- From: Miika Hannula <[email protected]> Date: Sun, Dec 11, 2016 at 10:40 PM Subject: [Dbworld] PhD Position in Dependence Logic - University of Auckland To: [email protected] 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 [email protected] 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 -- Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos Grupos do Google. Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um e-mail para [email protected]. Para postar neste grupo, envie um e-mail para [email protected]. Visite este grupo em https://groups.google.com/a/dimap.ufrn.br/group/logica-l/. Para ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAJPxwsdwcUQmJLP1bpk_ipK9thk81HMzSJ2kuY516POO_%3D8Ocw%40mail.gmail.com.
