Jobs

PhD Student – Formal Methods (f/m/d)

Location: Berlin, Start: immediately

Its core task is the verification of individual component decompositions in sub-components, using formal methods and tests.

Your tasks

  • 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.

Your qualifications

  • 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.

We offer

  • 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.

Silvia Barknecht

Telefon:

+49 30 / 6098 5400

Email:

jobs@opensynergy.com