Location: Berlin, Start: immediately
Its core task is the verification of individual component decompositions in sub-components, using formal methods and tests.
Its core task is the verification of individual component decompositions in sub-components, using formal methods and tests. This includes the requirement analysis at the respective level of the component, the formulation of selected requirements using mathematical expressions as well as the formal evidence that these requirements are met with the help of the subcomponents. You perform all of these tasks in the context of product development at the highest safety level and in collaboration with the development team, and your results have direct access to our products.
The intended scope of work should be 20 hours per week in our premises.
Completed master's degree in computer science, electrical engineering or a similar course
You have sound experience with formal methods, ideally based on SPARK / Ada
You act in a team-oriented manner and enrich your environment with your creative and alert spirit
You have very good spoken and written English skills
A high degree of commitment, flexibility and independent action round off your profile.
An innovative, international and open work environment with long-term and diverse perspectives with flat hierarchies
A medium-sized company with start-up flair, where everyone knows everyone and with a culture of short distances to each other and a close cooperation
Half-yearly feedback culture and annual salary rounds
Flexible distribution of working hours (trust working hours) and home office as well as 30 vacation days per year
Fresh fruits and vegetables, club mate, fair trade coffee, organic milk and many different types of tea are freely available
A large lounge area with a nice kicker
Bike leasing for all employees from the first working day
Regular sporting company events and team events
Cooperation with the Urban Sports Club
Bonus payment for referring new employees
Effective German or English courses.
SUBMIT AN APPLICATION!
If you are interested, please fill out our online form or send your application by e-mail, with a CV, and relevant certificates.
Telefon:+49 30 / 6098 5400