Postdoc in Verification of Simulink Models - Hiring in process/Finished, not possible to apply

Job description

The postdoctoral 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.

The postdoc will be responsible for developing a model-checking based automatic verification technique for the exhaustive and systematic verification of C modules developed by means of Simulink models. The main challenge here is to cope with the size and complexity of the industrial Simulink models, that is to find a technique that can be employed for verification of intricate Simulink models with large state spaces.

Qualifications

We are looking for strong candidates with background in Computer Science, and in particular in Formal Methods based on mathematical logic and models of program behavior. Industrial experience, especially with Simulink and embedded safety-critical software, is an advantage.

This is a 12 months employment and applicants must hold or be about to receive a doctoral degree in Computer Science (or equivalent). The doctoral degree must have been obtained within the last three years from the application deadline (some exceptions for special grounds, for instance sick leave and parental leave). The candidate should have a strong background in formal methods for industrial systems.

The successful applicant should have an outstanding research and publication record. Well-developed analytical and problem solving skills are a requirement. We are looking for a strongly motivated person, who is able to work independently. Good command of English orally and in writing is required to present and publish research results.

Trade union representatives

You will find contact information to trade union representatives at KTH.se

Application

The application should contain the following:

• CV including relevant professional experience and knowledge.
• Copies of diplomas and grades from your previous university studies. Translations to English or Swedish if the original documents are not issued in one of these languages.
• Brief explanation of why you want to conduct research, about your academic interests and how they relate to your previous studies and future goals; max 2 pages long.
• Representative publications or technical reports: Document no more than 10 pages each. For longer documents (eg dissertations), attach a summary (abstract) and a web link to the full text.
• One recommendation letter
• Contact information for two reference persons. We reserve the right to contact references only for selected candidates.
• Test question: A brief description of which approaches to the verification of Simulink models you considers promising and why.

Log into KTH's recruitment system in order to apply to this position. You are the main responsible to ensure that your application is complete according to the ad.

Your complete application must be received at KTH no later than the last day of application, midnight CET/CEST (Central European Time/Central European Summer Time).

Others

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.