Senior Software Engineer (Prototype) - Innovation R&D
- Hiring Organisation
- Input Output Group
- Location
- Newcastle upon Tyne, UK
- Employment Type
- Full-time
least one system programming language (e.g., Rust, C++), with strong performance optimisation and debugging skills Proficiency in functional languages (e.g., Haskell, OCaml, F#) and ability to apply functional programming principles in complex, production-grade prototypes Familiarity or experience with formal specification languages (e.g., Lean, Coq, TLA+) to model and verify ...