DTU Informatics seeks candidates for two PhD scholarships devoted to the analysis of security and safety in embedded systems as part of the SESAMOproject funded by the European Union ARTEMIS programme.
Project Description
SESAMO is a European consortium of 14 industrial partners and 6 academic institutions that aim to focus on
Project Description
SESAMO is a European consortium of 14 industrial partners and 6 academic institutions that aim to focus on
- a methodology to reduce interdependencies between safety and security mechanisms and to jointly ensure their properties,
- constructive elements for the implementation of safe and secure systems,
- procedures for integrated analysis of safety and security, and
- an overall design methodology and tool-chain utilizing the constructive elements and integrated analysis procedures to ensure that safety and security are intrinsic characteristics of the system.
The DTU Informatics involvement in SESAMO concentrates on the interplay between safety and security and the trade-off between security and performance e.g. in cases where high levels of security might put too high demands of energy usage of battery operated devices.
We lead Task 3.1 Analysis and Assessment of Safety and Security where we will analyse to which extent fuzzy constraints and stochastic systems with multiple reward structures can be used to describe degrees of compliance with safety and security measures.
We are a key player in Task 3.2 Safety and Security Analysis and Assessmentwhere we will study the use of model checking and constraint solving to provide designers with information about the Pareto frontier between safety and security constraints.
The work will be both theoretical, based on examples and case studies from the industrial partners, and should contribute to prototype tools. Applicants should present a plan for how their competences can be used to realise the goals mentioned above.
Research Environment
The PhD students will be employed at DTU Informatics north of Copenhagen and will be able to work closely with the industrial partners in the project, and they will join the lively research environment in the Language Based Technology section of DTU Informatics, which hosts MT-LAB, a VKR Centre of Excellence for the Modelling of IT Systems, and which participates inIDEA4CPS, funded by the Danish Foundation for Basic Research in the area of Cyber Physical Systems.
Required Background
Ideal candidates have strong background in classical computer science, including some of the areas of semantics, static analysis, model checking, and language based security. Prior exposure to research is appreciated – in particular co-authorship of scientific papers. Preference will be given to candidates that can document background relevant for the research to be carried out.
Approval and Enrolment
The scholarship for the PhD degree is subject to academic approval, and the candidate will be enrolled in the ITMAN Graduate School Programme of DTU Informatics offering training on entrepreneurship, communication and teaching skills. Information about the general requirements for enrolment and the general planning of the scholarship studies is included in the general rules at DTU, which may be obtained here.
Salary and Appointment Terms
The salary and appointment terms are consistent with the current Danish rules for PhD students and are competitive with entry-level positions in Industry. The period of employment is 3 years and the start date may be as early as June 1st but can also be a bit later in the autumn.
Further Information
If you have any specific questions regarding the scientific content of these PhD projects, please contact Professor Flemming Nielson.
If you have questions about how to fill out the forms required for the electronic application please contact ITMAN Graduate School secretary: Ulla Jensen, phone: + 45 4525 3359.
Application Procedure
Applications must be submitted electronically as one single PDF filecontaining all materials to be given consideration. Applications must include the following documents and in the following order:
We lead Task 3.1 Analysis and Assessment of Safety and Security where we will analyse to which extent fuzzy constraints and stochastic systems with multiple reward structures can be used to describe degrees of compliance with safety and security measures.
We are a key player in Task 3.2 Safety and Security Analysis and Assessmentwhere we will study the use of model checking and constraint solving to provide designers with information about the Pareto frontier between safety and security constraints.
The work will be both theoretical, based on examples and case studies from the industrial partners, and should contribute to prototype tools. Applicants should present a plan for how their competences can be used to realise the goals mentioned above.
Research Environment
The PhD students will be employed at DTU Informatics north of Copenhagen and will be able to work closely with the industrial partners in the project, and they will join the lively research environment in the Language Based Technology section of DTU Informatics, which hosts MT-LAB, a VKR Centre of Excellence for the Modelling of IT Systems, and which participates inIDEA4CPS, funded by the Danish Foundation for Basic Research in the area of Cyber Physical Systems.
Required Background
Ideal candidates have strong background in classical computer science, including some of the areas of semantics, static analysis, model checking, and language based security. Prior exposure to research is appreciated – in particular co-authorship of scientific papers. Preference will be given to candidates that can document background relevant for the research to be carried out.
Approval and Enrolment
The scholarship for the PhD degree is subject to academic approval, and the candidate will be enrolled in the ITMAN Graduate School Programme of DTU Informatics offering training on entrepreneurship, communication and teaching skills. Information about the general requirements for enrolment and the general planning of the scholarship studies is included in the general rules at DTU, which may be obtained here.
Salary and Appointment Terms
The salary and appointment terms are consistent with the current Danish rules for PhD students and are competitive with entry-level positions in Industry. The period of employment is 3 years and the start date may be as early as June 1st but can also be a bit later in the autumn.
Further Information
If you have any specific questions regarding the scientific content of these PhD projects, please contact Professor Flemming Nielson.
If you have questions about how to fill out the forms required for the electronic application please contact ITMAN Graduate School secretary: Ulla Jensen, phone: + 45 4525 3359.
Application Procedure
Applications must be submitted electronically as one single PDF filecontaining all materials to be given consideration. Applications must include the following documents and in the following order:
- A letter motivating the application (cover letter, max.1 page)
- Curriculum vitae
- References (or names of persons willing to write references)
- Link to M.Sc. thesis and other relevant publications by the applicant, if available
- Documentation of a relevant completed M.Sc. or M.Eng.-degree
- Course and grade list of bachelor and master degrees
- Excel sheet with translation of grades to the Danish grading system (see guidelines and excel spreadsheet here)
Applications must be submitted in English and we must have your online application by May 14th, 2012. To apply, open the link in the grey bar below: "apply for this job online" (“søg stillingen online”).
All candidates irrespective of age, gender, race, religion or ethnic background are encouraged to apply.
All candidates irrespective of age, gender, race, religion or ethnic background are encouraged to apply.
Application Deadline : 13 May 2012
