Overview
The University of Luxembourg seeks to hire outstanding researchers at its Interdisciplinary Centre for Security, Reliability and Trust (SnT) http://www.securityandtrust.lu/ .
SnT is a recently formed centre carrying out interdisciplinary research in secure, reliable and trustworthy ICT (Information and Communication Technologies) systems and services, often in collaboration with industrial, governmental or international partners.
SnT is active in several international research projects funded by the EU 7th framework programme and the European Space Agency. A successful candidate will conduct research in one or more of the centre projects and assist in the development of the SnT project portfolio. The Centre invites researchers from diverse research areas to contribute to our projects in areas such as Satellite Systems, Vehicular Networks, Network Security, Model-driven Security, Security Cloud computing, and ICT Services & Applications.
Project description - Formal verification of composite service compliance to trust contracts
The PhD project “Formal verification of composite service compliance to trust contracts” will be conducted in collaboration with THALES ( www.thalesgroup.com ) a world leader in mission-critical information systems for defence and security, aerospace and transportation and headquartered in France.
The PhD thesis will take place in the Aniketos project. One of the main goals of this project is to propose a set of security profiles that can be attached to web service model elements. A security profile gathers a pre-defined consistent set of security properties. The goal is that the designer is simply asked to select the required profiles. These data are then used to generate the security XML files that aim at configuring the security solution. This SOA Modelling Suite, together with the existing risk assessment DSML at system-level and the PhD results will provide Thales with an end-to-end risk assessment and risk mitigation modelling suite, from operational analysis to code generation.
Profile of the candidate
Master’s degree or equivalent Computer Science with a specialization in Software Engineering or Software Security.
A background in one of the following area is an asset: application-level/web application security, software testing, model-driven engineering.
The candidate must be fluent in both written and spoken English. Fluency in French is a plus but not mandatory.
Offer
The PhD candidate will be employed by the Thales Group.
Application
The application should include
Full CV, including name (and email address, etc) of three referees
Transcript of all modules and results from university-level courses taken
Research statement and topics of particular interest to the candidate (300 words).
Interested candidates should send their application in English in electronic form
TO: snt-jobs@uni.lu
CC: yves.letraon@uni.lu ; jacques.klein@uni.lu
Subject: Formal verification of composite service compliance to trust contracts
All applications will be handled in the strictest confidence. The call is open until February 15 th , 2011.
For further information, please contact Dr. Jacques Klein ( jacques.klein@uni.lu ) or Prof. Yves Le Traon ( yves.letraon@uni.lu ).
http://wwwen.uni.lu/interdisciplinary_centre_for_security_reliability_and_trust/open_positions/industrial_phd_candidate_in_software_engineering_and_security
Please quote Scholarization.blogspot.com on your application when applying for this scholarship
The University of Luxembourg seeks to hire outstanding researchers at its Interdisciplinary Centre for Security, Reliability and Trust (SnT) http://www.securityandtrust.lu/ .
SnT is a recently formed centre carrying out interdisciplinary research in secure, reliable and trustworthy ICT (Information and Communication Technologies) systems and services, often in collaboration with industrial, governmental or international partners.
SnT is active in several international research projects funded by the EU 7th framework programme and the European Space Agency. A successful candidate will conduct research in one or more of the centre projects and assist in the development of the SnT project portfolio. The Centre invites researchers from diverse research areas to contribute to our projects in areas such as Satellite Systems, Vehicular Networks, Network Security, Model-driven Security, Security Cloud computing, and ICT Services & Applications.
Project description - Formal verification of composite service compliance to trust contracts
The PhD project “Formal verification of composite service compliance to trust contracts” will be conducted in collaboration with THALES ( www.thalesgroup.com ) a world leader in mission-critical information systems for defence and security, aerospace and transportation and headquartered in France.
The PhD thesis will take place in the Aniketos project. One of the main goals of this project is to propose a set of security profiles that can be attached to web service model elements. A security profile gathers a pre-defined consistent set of security properties. The goal is that the designer is simply asked to select the required profiles. These data are then used to generate the security XML files that aim at configuring the security solution. This SOA Modelling Suite, together with the existing risk assessment DSML at system-level and the PhD results will provide Thales with an end-to-end risk assessment and risk mitigation modelling suite, from operational analysis to code generation.
Profile of the candidate
Master’s degree or equivalent Computer Science with a specialization in Software Engineering or Software Security.
A background in one of the following area is an asset: application-level/web application security, software testing, model-driven engineering.
The candidate must be fluent in both written and spoken English. Fluency in French is a plus but not mandatory.
Offer
The PhD candidate will be employed by the Thales Group.
Application
The application should include
Full CV, including name (and email address, etc) of three referees
Transcript of all modules and results from university-level courses taken
Research statement and topics of particular interest to the candidate (300 words).
Interested candidates should send their application in English in electronic form
TO: snt-jobs@uni.lu
CC: yves.letraon@uni.lu ; jacques.klein@uni.lu
Subject: Formal verification of composite service compliance to trust contracts
All applications will be handled in the strictest confidence. The call is open until February 15 th , 2011.
For further information, please contact Dr. Jacques Klein ( jacques.klein@uni.lu ) or Prof. Yves Le Traon ( yves.letraon@uni.lu ).
http://wwwen.uni.lu/interdisciplinary_centre_for_security_reliability_and_trust/open_positions/industrial_phd_candidate_in_software_engineering_and_security
Please quote Scholarization.blogspot.com on your application when applying for this scholarship
0 comments:
Post a Comment