stillingsbetegnelse:
PhD Project in Formal Methods for Security and Trust

jobbeskrivelse:
DTU compute would like to invite applications for a 3-year PhD position starting September 2016. The project is financed by a EU-Horizon 2020 project called LIGHTest. Project Description The PhD position is closely tied to the EU-project LIGHTest that is concerned with establishing a lightweight trust infrastructure to make it transparent and easy for verifiers to evaluate electronic transactions. This includes many heterogeneous, cross-domain aspects like trust management and infrastructures, business policies, and reputation systems. A core idea to achieve solutions that are really ready to use at the end of the EU-project is to use and integrate existing trust infrastructures like the Domain Name System. LIGHTest is a successor project of FutureID that has focussed on identity management infrastructures. While most participants of the EU-project are industrial partners concerned with the implementation and application of technology, the role of DTU and this PhD project is the scientific foundation. This involves formalization and design of formal description languages for the trust assumptions that the systems deal with, and using these descriptions for reasoning about chains of trust, delegation, and certifications. The main aim here is to detect early in the project any conceptual mistakes or ambiguities and resolve them in a clean, logical way. In the course of the project, this will help to support the implementation by enabling both model-driven design and formal verification of the systems. Therefore, we also aim at designing automated verification and synthesis methods for the formal descriptions. This PhD project is hosted in the Formal Methods group at DTU Compute that has been working on modelling, automated verification, and synthesis of safety-critical and security-critical systems. The supervisor of the PhD student will be Assoc. Prof. Sebastian Mödersheim whose research focuses on automated methods for analyzing security and privacy of distributed systems as well as their composition. Requirements Candidates must have a master degree in computational science and engineering (CSE), applied mathematics, or engineering, or equivalent academic qualifications. Preference will be given to candidates who can document experience in using formal methods, and in addition have a background in security and trust. Furthermore, good command of the English language is essential. 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 Compute. For information about the general requirements for enrolment and the general planning of the scholarship studies, please see the DTU PhD Guide. Assessment The assessment of the applicants will be made by Sebastian Mödersheim. We offer We offer an interesting and challenging job in an international environment focusing on education, research, public-sector consultancy and innovation, which contribute to enhancing the economy and improving social welfare. We strive for academic excellence, collegial respect and freedom tempered by responsibility. The Technical University of Denmark (DTU) is a leading technical university in northern Europe and benchmarks with the best universities in the world. Salary and appointment terms The salary and appointment terms are consistent with the current rules for PhD degree students. The period of employment is 3 years. Further Information Further information concerning the project can be obtained from Sebastian Mödersheim. Further information concerning the application is available at the DTU Compute PhD homepage or by contacting PhD coordinator Lene Matthisson +45 4525 3377. Application Applications must be submitted in English as one single PDF, and we must have your online application by July 11th 2016. Please open the link in the red bar in the top of the page: "apply online" (“ansøg online”). Applica

Arbejdsgiver Navn: Danmarks Tekniske Universitet

Arbejdsgiver telefonnummer: 45252525

Arbejdsgiver faxnummer: 45881799

Job kort beskrivelse:
Undervisning og forskning på universiteter og højere læreranstalter

land: Danmark

region: Hovedstaden

krævede uddannelse: Ikke angivet

Kilde til jobtilbud: AMS, Offentlige arbejdsformidlinger, Danmark