Job Description
1. During your assignment, you will do a quick scan of the tools available on the market and desk evaluate of at least 3 tools against requirements and usability.
2. You will examine the tool and create of a model for formal verification based on a practical application.
3. You will evaluate the suitability of the formal verification methodology in practice.
4. Furthermore, you will determine appropriate state-of-the-art engineering solutions to improve development efficiency.
5. You will analyse the performance and quality of the tool, state space explosion, export and import functionalities,...
6. Last but not least, you will integrate and analyse the performance of formally verified code.
Qualifications
7. Education: Master studies in the field of Computer Engineering, Software Development or comparable
8. Experience and Knowledge: in the field of formal verification; good IT background; software development skills; programming skills in C, C++
9. Personality and Working Practice: independent, proactive, communicative, analytical, willing to work in an international team, critical and logical thinking skills; good communication skill to explain solutions and problems
10. Languages: good communication skills in written and spoken English
Additional Information
Start: according to prior agreement
Duration: 4 - 6 months
Requirement for this thesis is the enrollment at university. Please attach your CV, transcript of records, examination regulations and if indicated a valid work and residence permit.
Diversity and inclusion are not just trends for us but are firmly anchored in our corporate culture. Therefore, we welcome all applications, regardless of gender, age, disability, religion, ethnic origin or sexual identity.
Need further information about the job?
Luuk Mallens (Functional Department)
+31 40 257 8860
Julia Rosenberger (Functional Department)
+49 9352 18 3639
You can find more information about us at and on our social media channels, for example our .
#LI-DNI