researcher at the Computer Science and Communications Research Unit at
the Faculty of Sciences, Technology and Communication (FSTC). The
successful candidate will participate in the activities of the Security
and Trust of Software Systems (SaToSS) research group led by Prof. Dr.
Sjouke Mauw. The SaToSS group is working on formalising and applying
formal reasoning to real-world security problems and trust issues. The
research topics of the group include: security protocols, security
modeling, formal methods for security, socio-technical aspects of
security, risk management, privacy, verification, etc.
The University offers highly competitive salaries and is an equal
opportunity employer. You will work in an exciting international
environment and will have the opportunity to participate in the
development of a dynamic and growing centre.
Your Profile:
- A Master's degree in computer science, mathematics or related field
- A proven strong interest in computer and information security
- Strong background in mathematics and computer science
- Commitment, team working, self-motivated and a critical mind
- Fluent written and verbal communication skills in English are mandatory.
For further information and to submit your application please visit:
http://recruitment.uni.lu/en/details.html?id=QMUFK026203F3VBQB7V7VV4S8&nPostingID=5256&nPostingTargetID=7057&mask=karriereseiten&lg=UK
Contact:
rolando.trujillo@uni.lu
sjouke.mauw@uni.lu
**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************