***********Post-Doc Position in Computer Security*********** The University of Luxembourg seeks to hire an outstanding post-doctoral researcher at its Interdisciplinary Centre for Security, Reliability and Trust (SnT) (http://wwwen.uni.lu/snt). The successful candidate will participate in the activities of the SaToSS research group (http://satoss.uni.lu/) led by Prof. Dr. Sjouke Mauw.
The post-doc will be working on formalizing and applying formal reasoning to real-world security problems and trust issues. The research topics will include: security protocols, security modeling, formal methods for security, socio-technical aspects of security, risk management, privacy, verification, etc. The position will be partially funded by an EU project focusing on socio-technical aspects of security. The candidate is expected to have: * A Ph.D. degree in computer science or mathematics * A proven interest in security * Strong background in formal methods and logics * Excellent written and oral English skills The university offers an initial two year employment that may be extended up to five years. The successful candidate will be working in an exciting, international and multicultural environment. The university offers highly competitive salaries and is an equal opportunity employer. Applications should be written in English and include the following documents: * Curriculum Vitae (including your contact address, work experience, list of publications) * Cover letter indicating the research area of interest and your motivation * A research statement addressing one or more research topics mentioned above (max 1 page) * Transcript of grades from all master courses taken * A short description of your Ph.D. work (max 1 page) * Contact information for 3 referees Applications should be submitted electronically via the University of Luxembourg's recruitment portal http://emea3.mrted.ly/1h9r Deadline for applications: August 31, 2012 For further inquiries please contact: Prof. Dr. Sjouke Mauw ([email protected]) or Dr. Barbara Kordy ([email protected])
---- [[ Petri Nets World: ]] [[ http://www.informatik.uni-hamburg.de/TGI/PetriNets/ ]] [[ Mailing list FAQ: ]] [[ http://www.informatik.uni-hamburg.de/TGI/PetriNets/pnml/faq.html ]] [[ Post messages/summary of replies: ]] [[ [email protected] ]]
