With an increasingly complex system, guaranteeing their safety becomes more and more difficult.
To help with this problem we have developed a Matlab-tool for quantifying the safety of the system to be used in vehicles.
The first task is to extend the functionality of the tool to transform it into as effective, user-friendly tool to be used by the client's engineers.
A Second task is to extend another tool, that we are also developing for formal verification of Simulink- Stateflow models.
Skills:
Personal Characteristics:
Job Types: Full-time, Permanent
Location: Stockholm, Sweden
Salary: 40,000.00kr to 55,000.00kr /month