Logic List Mailing Archive

Postdocotoral position in computational logic, Luxembourg (Luxembourg), Deadline: 2 Sep 2013

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

Our overall areas of interest are:
- Normative multi-agent systems
- Logic-based knowledge representation
- Cognitive dynamics, defeasible reasoning under uncertainty
- Computational social choice, socioepistemology

More specifically (but not exclusively), we are interested in
- knowledge representation in/about science
- modeling of scientific agents
- logic-based text modeling and dialogue systems
- probabilistic knowledge representation

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, team working and a critical mind

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

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

Procedure:

- Send a CV (contact address, work experience, publication list), a short 
summary of your thesis,
a list of 2-3 referees, and a description of your research interests/ideas for 
a postdoc project to
- leon.vandertorre@uni.lu
- emil.weydert@uni.lu
This should reach us asap, but not later than July 31.

- After further discussion, we will then invite the best fitting candidates to 
submit a full AFR-postdoc proposal.
The internal deadline is September 2.

- The funding decision is expected in December. The position could then start 
in the first months of 2014.
For administrative reasons, non-EU candidates may need more time.