Formal Methods - Specialist

Date: 22-May-2019

Location: bangalore, India

Company: Alstom

As a promoter of sustainable mobility, Alstom develops and markets systems, equipment and services for the transport sector. Alstom offers a complete range of solutions (from high-speed trains to metros, tramways and e-buses), passenger solutions, customised services (maintenance, modernisation), infrastructure, signalling and digital mobility solutions. Alstom is a world leader in integrated transport systems. The company recorded sales of €7.3 billion and booked €10.0 billion of orders in the 2016/17 fiscal year. Headquartered in France, Alstom is present in over 60 countries and employs 32,800 people. UNIFE report forecasts India's accessible market at 4B€ over 2016-18, with growth of 6.6%. Alstom has established a strong presence in India and is currently executing metro projects in several Indian cities including Chennai, Kochi and Lucknow where it is supplying Rolling Stock manufactured out its state of the art facility at SriCity in Andhra Pradesh. In the Mainline space, Alstom is executing Signaling & Power Supply Systems for the 343 Km. section on World Bank funded Eastern Dedicated Freight Corridor. Construction of the new electric locomotive factory for manufacturing and supply of 800 units of high horse power locomotives is also in full swing at Madhepura in Bihar. Alstom has set up an Engineering Centre of Excellence in Bengaluru, and this coupled with a strong manufacturing base as well as localized supply chains, is uniquely positioned to serve customers across the globe. Today, Alstom in India employs close to 3000 people and in line with Government of India’s ‘Make in India’ policy initiative, Alstom has been investing heavily in the country in producing world class rolling stock, components, design, research and development to not only serve the domestic market, but also rest of the world.



The Young Engineering Graduate is in charge of:

- Understand needs of signalling rules from Project engineering team

- Specify in documentation in the form of pseudo code for B-Method

- Manage traceability of the pseudo code with specification

- Develop signalling rules in B-Method for signalling data verification

- Test signalling rules in B-Method for signalling data verification

- Provide the proof in B-Method for the absence of data error.


Languages & Skills:

B-Method or any other equivalent formal language

Formal specification

Formal data verification

Formal proof

Formal software development life cycle



M.S/Ph.D in Engineering – IT, CS, Mathematical CS or Equivalent - in Formal methods



Be Innovative and demonstrate to peers and implement in creation of Reference Libraries, reusable codes, and model based developments

Demonstrate excellent communication skills and able to guide, influence and convince others in a matrix organization.

Team Player.  



0-2 years of experience.

The successful candidate will be responsible for designing, developing and implementing software solutions to build complex engineering tools for signaling data verification. The ideal applicant will be able to thrive in a highly collaborative workplace and actively engage in the development process spread across different geographical locations.


  • Language Skills:
    • B-Method, or other formal method techniques
    • Standards: CENELEC SIL4 / DO178A / DO178B

At Alstom we offer you the opportunity to unleash your potential and reinvent yourself. As a future employee, you will have a unique opportunity to drive our organization forward, while continuing to build your career and contribute to the expanding growth of the global railway industry. 


“We welcome applications from all backgrounds regardless of gender, age, disability or ethnicity. We recognise that embracing flexibility is the smarter way of working. Please speak with us about your individual needs. "To apply for this position, be considered for other vacancies or to view other Alstom roles, please visit our website at:

Job Segment: Bank, Banking, Supply, Testing, Finance, Operations, Research, Technology

Find similar jobs: