Please login/register to apply for this job.
14 Aug 2020

Full-timePhD Student – Formal Methods (f/m/d)

OpenSynergy – Posted by OpenSynergy GmbH Berlin, Berlin, Germany

Job Description

Our Company
OpenSynergy is a growing software company based in Berlin. Our core product COQOS is
an open software platform that makes it possible to harness the benefits of Linux and
Android for in-car infotainment systems. By using microkernel and virtualization
technology, COQOS can securely integrate safety-related AUTOSAR-based applications
and infotainment applications into a single chip. With our customers and partners we
form a network around the world.
OpenSynergy is an independently managed company with head office in the center of
Berlin and additional offices in Munich and the USA. The company is constantly growing.
If you too would like to join, send us your application. We look forward to it.
Your tasks
Its core task is the verification of individual component decompositions in subcomponents,
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

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.

How to Apply

Please send your complete resume (including a response to the specific job requirements and your salary expectations) to

Job Categories: Science. Job Types: Full-time. Salaries: Competitive.

Job expires in 9 days.

1430 total views, 1 today

Apply for this Job