Logic List Mailing Archive

Postdoctoral positions in logics for intelligent agents, Luxembourg (Luxembourg), Deadline: 7 Jul 2014

The Individual and Collective Reasoning Group ICR (Computer Science) of 
Prof. Leon van der Torre at the University of Luxembourg is seeking 
outstanding postdocs to strengthen its team.

Areas of specific interest are:
- Logics for intelligent agents (robots, softbots)
- Normative multi-agent systems and deontic reasoning
- Argumentation, formal models of text (science, law)
- Belief and knowledge dynamics, epistemic trust/fact finding
- Foundations of defeasible reasoning (qualitative/quantitative)

Profile of the candidate:
- PhD in Computer Science, Computational Linguistics, Mathematics or similar
- Strong background in logic and knowledge representation
- Fluent written and verbal communication skills in English
- Commitment, creativity, and originality

Profile of the employer:
- The salary is very competitive
- You will work in an exciting international and interdisciplinary environment
in a nice city at the heart of Europe

Nature of the position:
- The position will be financed through a 2-year AFR postdoc grant
(www.fnr.lu/en/Calls,-Forms-Guidelines/Call-Documents/AFR-PDR-Forms-and-Guidelines)

Procedure:

1. DECLARATION OF INTEREST - DEADLINE JULY 7, 2014

- Send a complete CV (contact address, work experience, publication list),
- an abstract of your thesis,
- a list of 2-3 referees,
- a letter of interest and a description of possible research interests/ideas

to leon.vandertorre@uni.lu  and  emil.weydert@uni.lu

2. ACTUAL SUBMISSION - DEADLINE: BEGIN OF SEPTEMBER, 2014

After further discussion, we will then invite the best fitting candidates to
submit a full AFR-postdoc proposal.

The funding decision is expected in December. The position could then start
in March/April 2015, non-EU candidates must add further time for visum and
work permit.