Logic List Mailing Archive
PhD student position and postdoc position in computational reasoning for socially adaptive electronic partners, Delft (The Netherlands), Deadline: 31 Jan 2017
** TWO PhD/Postdoc POSITIONS **
** NORMATIVE AND VALUE-BASED REASONING FOR SOCIALLY ADAPTIVE SOFTWARE **
** with Dr. M. Birna van Riemsdijk and Prof. Dr. Catholijn Jonker, Delft
University of Technology **
** Deadline for application: January 31st, 2017 **
JOB DESCRIPTION
The purpose of this email is to solicit applications for one PhD and one
postdoc position (PhD: 4 years, postdoc: 2 years), attached to the NWO
Vidi grant obtained by Birna van Riemsdijk. Vidi is a highly competitive
grant programme that funds innovative lines of research. Birna van
Riemsdijk was awarded the Dutch Award for ICT research 2014.
The project is entitled Computational Reasoning for Socially Adaptive
Electronic Partners (CoreSAEP). The vision underlying the project has been
outlined in a publication in the AAMAS "Blue Sky Ideas" track in 2015
(http://ii.tudelft.nl/~birna/publications/2015/riemsdijk15aamassaep.pdf).
The research lies in the intersection of theoretical computer science
(formal semantics, temporal logic) and multi-agent systems (agent
programming, normative systems). The overall aim of the project is to
develop a reasoning framework that combines logic and quantitative
techniques for Socially Adaptive Electronic Partners (SAEPs) that adapt
their behavior to norms and values of people. This becomes more and more
important as technology becomes an integral part of our daily lives. The
computational reasoning techniques are aimed at determining when and to
what extent norm-compliance can be guaranteed, and deciding what to do if
in exceptional situations a norm cannot or should not be complied with. We
will implement the reasoning framework to evaluate its run-time behavior.
We develop the reasoning techniques through a scenario-based approach in
cooperation with users and other stakeholders, grounding the formal work
in real-world use cases.
The associated research posts will be in the following areas:
POST 1 - formal semantics, temporal logic & normative agents (vacancy
number: EWI2016-61)
POST 2 - quantitative reasoning, logic & normative agents (vacancy number:
EWI2016-60)
More information on the project and the team you will be working in, can
be found on http://ii.tudelft.nl/~birna/projects/CoreSAEP.html. For
further information about the positions, please contact Birna van
Riemsdijk via email (m.b.vanriemsdijk@tudelft.nl).
Salary for a PhD position is EUR2191 to EUR2801 per month gross, and for a
postdoc position EUR2552 to EUR4028 per month gross.
REQUIREMENTS
The applicant:
* Has a Master's degree in computer science or artificial intelligence. If
applying for a postdoc, a PhD is also required.
* Has good command of the English language.
* Has strong (formal) modelling skills.
* Has strong organizational skills and affinity for a scenario-based
research approach.
* Has a willingness to try new things and learn from others, has an eye
for detail, and stamina.
HOW TO APPLY
Applications will be accepted until all positions have been filled. The
first round of interviews will be conducted based on applications received
before *** January 31st 2017 ***.
To apply, please submit the following application material to
Hr-eemcs@tudelft.nl and state the vacancy number in the subject line of
the email:
(1) Curriculum Vitae (with publications if you have any).
(2) Course lists with grades and degree certificates
(3) A letter of application in which you explain both your motivation and
the relevance of your skills and experience for this research project. The
motivational letter should be on-topic, generic letters will cause your
application to be rejected immediately.
(4) A list of 3 (academic) references that we can contact
(5) When applying for a PhD position: your MSc thesis in English (or
alternatively if your MSc thesis is not in English, a 5-page summary of
your MSc thesis in English). When applying for the postdoc position: a
copy of your PhD thesis (or a draft thereof) and a detailed list of your
publications.
-----------------------------
Dr. M. Birna van Riemsdijk
assistant professor
Interactive Intelligence Group
Department of Intelligent Systems
Faculty of Electrical Engineering, Mathematics and Computer Science
Delft University of Technology
Mekelweg 4
2628 CD Delft
The Netherlands
Room: HB 12.040
Telephone: +31 (0)15 2786331
Website: http://ii.tudelft.nl/~birna/
Twitter: @mbirna
--
[LOGIC] mailing list
http://www.dvmlg.de/mailingliste.html
Archive: http://www.illc.uva.nl/LogicList/
provided by a collaboration of the DVMLG, the Maths Departments in Bonn and Hamburg, and the ILLC at the Universiteit van Amsterdam