[TYPES/announce] Three Postdoctoral Research positions: Security, Reliability and Space Resources

[Ross James HORNE]

For the following positions, we welcome experts in type systems and related methods.

The University of Luxembourg offer three competitive postdoctoral research positions. The positions are suitable for experienced researchers, who are ready to think out of the box to tackle fresh problems.

Please find three descriptions below. Two should be interpreted broadly in the scope of a new interdisciplinary master program in Space Resources at the University of Luxembourg. This is part of the initiative of Luxembourg to strategically place itself in an internationally leading role in the exploration and utilization of space resources. The third is in the more general area of security.

The positions also appear here: http://satoss.uni.lu/vacancies/

===--------------

1. Postdoctoral Researcher in Space Informatics (Security and Reliability in Space)

Space system operate under in extreme conditions hence have reliability requirements. Furthermore, as cooperation and competition for space increases, security should also be elevated. The ideal candidate for this position would be able to propose formal methods to improve the security and reliability of space missions.

Euraxes: https://euraxess.ec.europa.eu/jobs/368543
Start: a.s.a.p.
Apply here: http://recruitment.uni.lu/en/details.html?id=QMUFK026203F3VBQB7V7VV4S8&nPostingID=25417&nPostingTargetID=41541&mask=karriereseiten&lg=EN


2. Postdoctoral Researcher in Space Informatics (Computer Science / Robotics / Telecommunications)

This broader position, also under the Space Resources program seeks a candidate familiar with techniques relevant to the engineering of space systems. Techniques are not limited to techniques for testing, fault-tollerant protocols, coding theory, artificial intelligence, control systems, data management, virtualisation, requirements engineering, runtime monitoring, fault-tollerant hardware. The ideal candidate should take a broad outlook on the problem of how understanding techniques from their area of expertise (computer science, robotics or telecommunications) can contribute to the design of a successful space mission.

Euraxes: https://euraxess.ec.europa.eu/jobs/368537
Start: a.s.a.p.
Apply here: http://recruitment.uni.lu/en/details.html?id=QMUFK026203F3VBQB7V7VV4S8&nPostingID=25476&nPostingTargetID=41939&mask=karriereseiten&lg=EN


3. Postdoctoral researcher in Computer Science (Security and Trust)

The ideal candidate for this position would have experience in the analysis of security protocols. Topics are not limited to distance bounding protocols (used to avoid relay attacks), and the verification of privacy properties. This position carries some important administrative duties.

Euraxes: https://euraxess.ec.europa.eu/jobs/368519
Start: 1 July 2019
Apply here: http://recruitment.uni.lu/en/details.html?id=QMUFK026203F3VBQB7V7VV4S8&nPostingID=25656&nPostingTargetID=41899&mask=karriereseiten&lg=EN

===-------------

The University of Luxembourg is an equal opportunities employer; we encourage applicants from groups that are in a minority in computer science (notably female candidates). Applications will be considered upon receipt, in order to fill positions as soon as possible.

Please do not hesitate to contact us with further questions.


Sincerely,



Dr. Ross Horne,
research associate Computer Science Research Unit, University of Luxembourg
ross.horne at uni.lu

Prof. Dr. Sjouke Mauw,
professor in SnT and the Computer Science Research Unit, University of Luxembourg
sjouke.mauw at uni.lu


-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20190114/0b58dc45/attachment.html>