Share this Job

Development Engineer

Date: Sep 1, 2017

Location: Stockholm, STM, SE

Development Engineer-TRCS-SEST01344876


At Bombardier, our employees work together to evolve mobility worldwide - one good idea at a time. If you have a good idea, we'll provide the environment where it will thrive and grow into a great product or customer experience. Your ideas are our fuel.

We are looking for a Development Engineer with focus on formal verification and requirement handling for our Rail Control Solutions Division in Stockholm.

Rail Control Solutions (RCS) is a world leader in developing, engineering and installing rail control and signalling safety systems, products and services. RCS enables the safe and efficient operation of rail networks and trains.

Your Role

As Development Engineer, you will be part of an experienced and engaged team working with the generic application of the interlocking system.

The main responsibility in the role is to verify that the interlocking systems fulfil the railway signalling requirements provided by the customer. Tests will primarily be carried out using formal methods, which are based on propositional and predicate logic. These methods are essential and crucial to ensure the safety of the interlocking system.

Key responsibilities

• Analyse, review and understand system safety requirements for the generic application of the interlocking system.

• Specify and execute tests using formal methods and report test results.

• Review and update existing tests and specifications.

• Analyse test results and non-conformity reports.

• Cooperation with employees within projects and departments to continuously improve system knowledge and develop tools.


• University degree in engineering

• 3-5 years’ work experience of software development

Knowledge you get from us, but that is an advantage if you already have

• Understand and use formal method techniques to specify execute formal method test cases

• Knowledge of railway signalling

• Understanding of processes for the safety critical system e.g. requirement

handling, document handling and the generic application development process.

• Understand and use formal method techniques to specify execute formal method test cases

We thank all applicants for their interest; however, only those under consideration will be contacted.

Why work for us?

Everywhere we operate, we reward effort and initiative.

You are encouraged to ask questions and empowered to make decisions.

As an equal opportunity employer, we strive to create a stimulating and open workplace which fosters teamwork, fairness, respect and diversity.

We are helping create a better world.

Job: Software
Primary Location: SE-STM-Stockholm
Organization: Transportation
Schedule: Full-time
Employee Status: Regular

Job Posting:
10.07.2017, 9:20:54 AM

Unposting Date

Job Segment: Engineer, Developer, Testing, Application Developer, Engineering, Technology