[TYPES/announce] Postdoctoral researcher in Computer Science (Security and Trust)

[Ross James HORNE]

[ The Types Forum (announcements only),
 http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]

Dear colleague,

The University of Luxembourg offer a competitive postdoctoral research position 
in the area of security and trust. We encourage applications, in particular, 
from experts in formal methods applied to protocols, including types and 
processes calculi; however we also encourage experts in other aspects of 
security, such as network security, to apply.


The successful candidate would be expected to both integrate into the SaToSS 
research group and stake out their own research direction.

Recent research in the SaToSS group includes: the formal analysis of distance 
bounding protocols (used to avoid relay attacks), the analysis of unlinkability 
vulnerabilities in e-passport protocols, the analysis of the impact of Sybils 
on anonymity in social networks, and cyber-security risk analysis using attack 
trees.


Start: Early 2020.
Apply here: https://tinyurl.com/suzxujp
More info on Euraxes: https://euraxess.ec.europa.eu/jobs/456305
and also the position also appears here: http://satoss.uni.lu/vacancies/

The University of Luxembourg is an equal opportunities employer. Please do not 
hesitate to contact us with further questions.

Sincerely,


Dr. Ross Horne,
research associate, Computer Science, University of Luxembourg
ross.ho...@uni.lu

Prof. Dr. Sjouke Mauw,
professor, SnT and Computer Science, University of Luxembourg
sjouke.m...@uni.lu

[TYPES/announce] Postdoctoral researcher in Computer Science (Security and Trust)

[Ross James HORNE]

[ The Types Forum (announcements only),
 http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]

Dear colleague,

The University of Luxembourg offer a competitive postdoctoral research position 
in formal methods applied to security and privacy.

Postdoctoral researcher in Computer Science (Security and Trust)
The ideal candidate for this position would have experience in formal methods 
applied to the analysis of security protocols. Topics are not limited to 
distance bounding protocols (used to avoid relay attacks), and the verification 
of privacy properties.

Apply here: http://emea3.mrted.ly/220ah
Euraxes: https://euraxess.ec.europa.eu/jobs/368519

Start: from 1 July 2019

The position also appears here: http://satoss.uni.lu/vacancies/
===-
Applications will be considered upon receipt, so early applications are 
encouraged. Please do not hesitate to contact us with questions at: 
ross.ho...@uni.lu

Sincerely,

Prof. Dr. Sjouke Mauw
Dr. Ross Horne