This advert is not available!
Project description
Third-cycle subject: Computer Science
The doctoral position is within a collaboration project between KTH and Scania, and addresses the need for functional safety of embedded vehicle software. The project relies on formal verification techniques, such as deductive software verification and model checking. The two main problems that the project aims to solve are the problem of connecting, in a formal way, requirements at different systems levels, and the problem of automating the verification process. The first problem will be addressed by the development of a formal framework and tool for hierarchical software architecture modelling that encompasses the given requirements. The second problem will be addressed by the development of automated techniques and tools that read architectural specifications and, from these, automatically generate models and logical specifications for back-end verification tools.
This is a five-year full-time employed position involving 20% teaching. We are looking for strong candidates with background in Computer Science, and in particular in Formal Methods based on Mathematical Logic and Programming Language Semantics. Industrial experience, especially with embedded safety-critical software, would be an advantage.
What we offer
Eligibility
To be admitted to postgraduate education (Chapter 7, 39 § Swedish Higher Education Ordinance), the applicant must have basic eligibility in accordance with either of the following:
In addition, the candidate needs to have taken undergraduate courses in Discrete Mathematics and Mathematical Logic. Proficiency in written and spoken English is also a requirement.
Selection
In order to succeed as an doctoral student at KTH you need to be goal oriented and persevering in your work. In the selection of the applicants, the following will be assessed:
Courses in Formal Methods and Programming in C, as well as experience with the development and quality assurance of embedded safety-critical software are a clear asset.
Target degree: Doctoral degree
Information regarding admission and employment
Only those who are or have been admitted to third-cycle studies may be employed as a doctoral student. The term of the initial contract may not exceed one year and may thereafter be extended. Doctoral students may engage in teaching, research, and administration corresponding to a maximum of 20 % of a full-time position.
Union representatives
You will find contact information for union representatives on KTH's website.
Doctoral section (Students’ union on KTH Royal Institute of Technology)
You will find contact information for doctoral section on the section's website.
Application
Apply for the position and admission through KTH's recruitment system. It is the applicant’s responsibility to ensure that the application is complete in accordance with the instructions in the advertisement.
Applications must be received at the last closing date at midnight, CET/CEST (Central European Time/entral European Summer Time).
Applications must include the following elements:
Other information
Gender equality, diversity and zero tolerance against discrimination and harassment are important aspects of KTH's work with quality as well as core values in our organization.
For information about Processing of personal data in the recruitment process please read here.
We firmly decline all contact with staffing and recruitment agencies and job ad salespersons.
Disclaimer: In case of discrepancy between the Swedish original and the English translation of the job announcement, the Swedish version takes precedence.
Type of employment | Temporary position |
---|---|
Contract type | Full time |
First day of employment | February 1, 2019 or according to Agreement |
Salary | Monthly salary according to KTH's doctoral student salary agreement |
Number of positions | 1 |
Full-time equivalent | 100% |
City | Stockholm |
County | Stockholms län |
Country | Sweden |
Reference number | J-2018-2782 |
Contact |
|
Published | 06.Dec.2018 |
Last application date | 31.Dec.2018 11:59 PM CET |