martin caminada ihpuzoxyykcsbgunilu university luxembourg computer science communications research unit invites applications phd student computer science mf ref r1f107k30 4year job consisting two 2year contracts 40 hoursweek topic reasoning formal argumentation field trust management reasoning trust process often involves application rules thumb general guidelines argument counterargument recent years field formal argumentation produced range formalisms well software implementations deal issues nonmonotonic reasoning decision making agent communication context university luxembourg currently setting research project advanced argumentation techniques trust management aastm apply approach formal argumentation issue trust management work consists two parts 1 formation formal theory argumentation trust management 2 implementation formal theory set software components requirements msc computer science artificial intelligence mathematics older 5 years strong programming skills although background formal argumentation necessary candidates preferably familiar various forms formal logic theoretical computer science position associated annual salary 23400 25450 euro tax depending profile candidate applications mentioning reference number sent later september 30th 2007 include letter motivation complete cv copy msc diploma including transcript courses taken grades names contact details two referees submitted email prof dr leon van der torre ybtskrzcauoxxyvuniluand drmartin caminada ihpuzoxyykcsbgunilu enquiry concerning position sent martin caminada university luxembourg equal opportunity employer message scanned fsecure antivirus microsoft exchange information connect httpwwwfsecurecom fri 08 aug 2008 070039 0200 uai phd position argumentation trust management