Test Engineer Formal Verification-Trcs-Sest02251439
Bombardier Transportation Sweden AB / Datajobb / Stockholm
Observera att sista ansökningsdag har passerat.
Visa alla datajobb i Stockholm,
Solna,
Lidingö,
Sundbyberg,
Danderyd eller i
hela Sverige Visa alla jobb hos Bombardier Transportation Sweden AB i Stockholm,
Solna,
Botkyrka,
Västerås,
Gävle eller i
hela Sverige At Bombardier Transportation, our trains and rail solutions move millions of people safely and reliably around the world, every single day. Join us, and you'll be part of a global team, sharing knowledge, experience and ideas across countries and cultures, and boosting our reputation as a global leader in rail technology. Your work will have a truly human impact, connecting communities, cities and businesses, and helping people to get where they need to be. It's all about progress.
We are looking to recruit for our Rail Control Solution division a Test Engineer Formal Verification in Stockholm
Purpose of the job
As a Test Engineer Formal Verification you will verify that the interlocking systems fulfil the ERTMS railway signaling 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 and understand system requirements for the generic application of the interlocking system;
• Specify, execute and report test results;
• Review and update existing tests and specifications;
• Analyse test results and non-conformity results;
• Cooperation within teams and departments in order to continuously improve system knowledge.
Qualifications
• Master or bachelor's degree in engineering
• Background in mathematics and algorithm studies are a great asset to the role
• Railway signalling knowledge is considered a plus;
• 3-5 years post graduate work experience in software development is desirable;
• Experience with formal methods is considered a plus;
• Fluent English language is mandatory, Swedish language is considered a plus.
We thank all applicants for their interest, however, only those under consideration will be contacted.
Bombardier Transportation is a global mobility solution provider leading the way with the rail industry's broadest portfolio. It covers the full spectrum of solutions, ranging from trains to sub-systems and signalling to complete turnkey transport systems, e-mobility technology and data-driven maintenance services. Combining technology and performance with empathy,
Bombardier Transportation continuously breaks new ground in sustainable mobility by providing integrated solutions that create substantial benefits for operators, passengers and the environment. Headquartered in Berlin, Germany, Bombardier Transportation employs around 39,850 people and its products and services operate in over 60 countries.
Bombardier is committed to creating a diverse environment and is proud to be an equal opportunity employer. All qualified applicants will receive consideration for employment without regard to race, colour, religion, gender, gender identity or expression, sexual orientation, national origin, genetics, age, disability status, veteran status, or any other characteristic protected by Federal, National, or Local Laws.
Are you interested in starting an exciting career at Bombardier Transportation?
If so, apply and start your dynamic career today!
Your ideas move people.
Publiceringsdatum2020-02-28Så ansöker duSista dag att ansöka är 2020-03-29
Klicka på denna länk för att göra din ansökanAdressBombardier Transportation Sweden AB
Årstaängsvägen 29
11743 Stockholm
Omfattning Detta är ett heltidsjobb.
Arbetsgivare Bombardier Transportation Sweden AB (org.nr 556101-9356)
Årstaängsvägen 29 (
visa karta)
117 43 STOCKHOLM
Jobbnummer 5123757
Observera att sista ansökningsdag har passerat.