[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
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
[email protected]
Prof. Dr. Sjouke Mauw,
professor in SnT and the Computer Science Research Unit, University of
Luxembourg
[email protected]
