Logic List Mailing Archive
Two PhD student / postdoc positions in Formal Semantics & Logic, Delft (The Netherlands), Deadline: 15 Dec 2014
** JOB OPENING: TWO PhD/Postdoc POSITIONS **
** FORMAL SEMANTICS & LOGIC, QUANTITATIVE REASONING, NORMATIVE AGENTS **
** with Dr. M. Birna van Riemsdijk and Prof. Dr. Catholijn Jonker, Delft
University of Technology **
** Deadline for application: December 15th, 2014 **
---------------
JOB DESCRIPTION
---------------
The purpose of this email is to solicit applications for two PhD/postdoc
positions (PhD: 4 years, postdoc: 2 years), attached to a newly funded NWO
Vidi grant obtained by Birna van Riemsdijk.
The project is entitled Computational Reasoning for Socially Adaptive
Electronic Partners (CoreSAEP). 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.
The associated research posts will be in the following areas:
POST 1 - formal semantics, temporal logic & normative agents (vacancy
number: EWI2014-29) POST 2 - quantitative reasoning, logic & normative
agents (vacancy number: EWI2014-34)
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 EUR2083 to EUR2664 per month gross, and for a
postdoc position EUR2427 to EUR3831 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 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 *** December 15th 2014 ***.
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