SD-25002 SENIOR R&T SCIENTIST IN SOFTWARE SECURITY

at  Luxembourg Institute of Science and Technology LIST

HOW WILL YOU CONTRIBUTE?

LIST is looking for a highly motivated candidate with proven skills in healing the security issues that befall modern software during its development lifecycle, the type of missions will include, but are not limited to:

• To predict software security defects before deployment and prevent security breaches.
• To develop a set of algorithms that allow quantifying software exploitability and facilitate the work of correcting its errors.
• To develop and apply new model-checking techniques to verify the security of software.
• To specify and develop two workflow-disruptive techniques which leverages Intel SGX enclave trusted but with the lowest impact on the software lifecycle and on its performance.
• To implement and test the developed solutions.

• To develop ex-ante information security policies for the demonstration and implement periodic reviews to objectively evaluate adherence to the policies.

• The candidate will also be in charge of disseminating and promoting the research activities that will be carried out, whether through publications, prototype development or technical reports.

EDUCATION

Postgraduate

Please refer the Job description for details