[UAI] Vacancy: post-doctoral researchers in security and reliability The Computer Science and Communication Research Unit (CSC, Faculty of 
Science, Technology and Communication) of the University of Luxembourg 
is looking for *2 Post-doctoral researchers (M/F) in security and 
reliability*.

* Application deadline: 30 April 2007,
* Reference: F1-070021/F01-070022,
* 2 year contracts, renewable for 24 months maximum â 1.0 FTE,
* competitive remuneration (â¬ 43.000â52.500 / year netto).

Interested candidates with a PhD in computer science (or equivalent) on 
topics in security or reliability are kindly invited to apply.

We encourage submissions in particular from:

* Normative multi-agent systems
* Logic of trust and reputation
* Uncertainty models for reliability and trust
* Formal verification of security protocols
* Intrusion detection

For further information and application please consult the webpage 
http://p1.uni.lu/ or contact Prof. dr. Leon van der Torre 
(ybts.krzcauoxxyv@uni.lu).

Please include in your application a cover letter, a detailed CV 
mentioning the grades for Bachelor and Master, and a one page research 
proposal. Please also mention which CSC professor(s) you would like to 
work with.


