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-tolerant protocols, coding theory, artificial intelligence, control systems, data management, virtualisation, requirements engineering, runtime monitoring, fault-tolerant 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@uni.lu
Prof. Dr. Sjouke Mauw,
professor in SnT and the Computer Science Research Unit, University of Luxembourg
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/
*
**********************************************************
Posts
