You will develop and maintain software for railway signaling design automation, at a company who is world-leading in design tools and applied formal verification for railway signaling. Our .NET products provide the most advanced technology packaged to be most useful for railway signaling engineers.
New modules are written in F# while old modules were written in C#. Your job will be to develop new features and maintain old ones, in tight collaboration with a colleague. Work tasks include core algorithms as well as maintaining Python API’s and graphical user interfaces.