The University of Luxembourg seeks to hire an outstanding doctoral researcher at its Interdisciplinary Centre for Security, Reliability and Trust (http://wwwen.uni.lu/snt [1]) (SnT).
The
successful candidate will participate in the activities of the SaToSS (http://satoss.uni.lu
[2]) research group led by Prof. Dr. Sjouke Mauw. The SaToSS group is working
on formalizing 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.Â
Your
role
--------------
The
position is within the national project Attack-Defense Trees: Theory Meets
Practice (ADT2P). ADT2P is a follow-up project of a recently finalized project
Attack Trees (http://satoss.uni.lu/projects/atrees/ [3]). The
main tasks of
The
Ph.D. student will be to
-
Develop techniques for efficient representation of large-scale
 security
models,
-
Introduce algorithms for quantitative analysis of such models,
-
Integrate the developed techniques with existing risk assessment
Â
methods and tools,
-
Implement the obtained results in a computer tool,
-
Conduct case studies together with the project partners from
 industry,
-
Co-supervise master students.
Your
Profile
----------------
The
candidate is expected to have:
-
A Master degree in computer science or mathematics,
-
A proven interest in security,
-
Background in formal methods,
-
Excellent written and oral English skills.
We offer
-----------
The
University offers a three year appointment (extension up to 4 years in total is
possible). 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 newly
created research center.
Application
---------------
Applications
should be written in English and include the following
documents:
-
Cover letter indicating the research area of interest and your
Â
motivation,
-
Curriculum Vitae (including your contact address, work experience,
Â
list of publications),
-
A research statement addressing the topic of the position (max 1
Â
page),
-
A short description of your Master work (max 1 page),
-
Transcript of grades from all university-level courses taken,
-
Contact information for 3 referees.
Applications
should be submitted electronically via the on-line
recruitment
portal of the University of Luxembourg at
Deadline
for applications: June 22, 2014.
Contact
information
-----------------------
For
further inquiries please contact:Â
Prof.
Dr. Sjouke Mauw (sjouke.mauw@uni.lu [5]) orÂ
Dr.
Rolando Trujillo Rasua (rolando.trujillo@uni.lu [6])
For
more information about this vacancy please checkÂ
Links:
------
[5]
mailto:sjouke.mauw@uni.lu
[6]
mailto:rolando.trujillo@uni.lu
Post a Comment