Computer Science and Communications Research by Luxembourg
The University of Luxembourg is looking within its Computer Science and Communications Research Unit for a:
PhD STUDENT in Computer Science (M/F) Ref : R1F107K30
4-year job (consisting of two 2-year contracts) 40 hours/week
On the topic of reasoning and formal argumentation in the field of trust management
The University of Luxembourg is the only university in Luxembourg, founded on 13 August 2003 amid much fanfare. Prior to that, there were several higher educational institutions such as the cour universitaire or the IST that offered one or two years of academic studies. Luxembourger students had to go abroad in order to complete their studies at a university (usually to Belgium, France, Germany, Austria, and the United Kingdom). The new university makes it possible for these students to complete their studies in their own country, as well as attract foreign academic interest to Luxembourg
PhD Research Scholarship
Deadline: September, 30th 2007
Reasoning about trust is a process that often involves the application of rules of thumb, general guidelines or argument and counterargument. During recent years, the field of formal argumentation has produced a range of formalisms, as well as software implementations, to deal with issues such as nonmonotonic reasoning, decision making and agent communication. In this context, the University of Luxembourg is currently setting up a research project (Advanced Argumentation Techniques for Trust Management, AASTM) to apply the approach of formal argumentation to the issue of trust management.
The work consists of two parts:
* The formation of a formal theory on argumentation for trust management
* An implementation of this formal theory as set of software components
Requirements:
1. M. Sc in Computer Science, artificial intelligence or mathematics (no older than 5 years)
2. Strong programming skills
3. Although a background on formal argumentation is not necessary, candidates should preferably be familiar with various forms of formal logic and theoretical computer science.
The position is associated with an annual salary between 23400 and 25450 euro after tax, depending on the profile of the candidate.
Applications mentioning the reference number are to be sent no later than September, 30th 2007 and should include a letter of motivation, a complete CV and a copy of the M. Sc. Diploma including a transcript of courses taken (with grades) and the names and contact details of two referees. These are to be submitted by e-mail to Prof. Dr. Leon Van der Torre (leon.vandertorre@uni.lu) and Dr.Martin Caminada (martin.caminada@uni.lu)
Any enquiry concerning this position can be sent to Martin Caminada.
The University of Luxembourg is an equal opportunity employer.
University of Luxembourg
SEVE
162 A, avenue de la Faïencerie
L-1511 Luxembourg
Phone: (+352) 46 66 44 6312 Â Â Â Fax: (+352) 46 66 44 6760
Office: Campus Limpertsberg, BRA 0.01 Â Â Â Email:Â virginie.mucciante[at]uni.lu
Luxembourg American Cemetery Memorial - Luxembourg City - Ulasan ...