Informationen zur Anzeige:
Thesis in Formal Verification of Motion Applications in High-Speed Transport Systems
Lohr am Main
Aktualität: 08.08.2024
Anzeigeninhalt:
08.08.2024, Bosch-Gruppe
Lohr am Main
Thesis in Formal Verification of Motion Applications in High-Speed Transport Systems
Aufgaben:
Thesis in Formal Verification of Motion Applications in High-Speed Transport Systems
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.
You will examine the tool and create of a model for formal verification based on a practical application.
You will evaluate the suitability of the formal verification methodology in practice.
Furthermore, you will determine appropriate state-of-the-art engineering solutions to improve development efficiency.
You will analyse the performance and quality of the tool, e.g. w.r.t. state space explosion, export and import functionalities,...
Last but not least, you will integrate and analyse the performance of formally verified code.
Luuk Mallens (Functional Department)
Social counselling and intermediary service for care services
Discounts for employees
Qualifikationen:
Job ID REF235732W
Fields of workEngineering
Start DateAccording to arrangement
Education: Master studies in the field of Computer Engineering, Software Development or comparable
Experience and Knowledge: in the field of formal verification; good IT background; software development skills; programming skills in C, C++
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
Languages: good communication skills in written and spoken English
Contact & Additional information
Berufsfeld
Bundesland
Standorte