The Formal Route jobs and careers

About The Formal Route

The Formal Route are experts in applying formal methods to verification of high assurance railway systems. The company develops bespoke tools for mathematical modelling of signalling plans, control tables and signalling data. We designed and deployed solutions for automated safety verification of computerised signalling based on Solid State Interlocking and its dialects. We have successfully delivered a number of projects on safety verification of signalling designs and formal methods-assisted design pipelines. The company offers consultancy on application of formal methods to railway signalling.