7 of 7 F# Jobs in the North West

Senior Software Engineer (Prototype) - Innovation R&D

Hiring Organisation: Input Output Group
Location: Manchester, 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 ...

Senior Software Engineer (Prototype) - Innovation R&D

Hiring Organisation: Input Output Group
Location: Liverpool, 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 ...

Senior Software Engineer (Prototype) - Innovation R&D

Hiring Organisation: Input Output Group
Location: Chester, Cheshire, 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 ...

Senior Software Engineer (Prototype) - Innovation R&D

Hiring Organisation: Input Output Group
Location: Preston, Lancashire, 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 ...

Senior Software Engineer (Prototype) - Innovation R&D

Hiring Organisation: Input Output Group
Location: Warrington, Cheshire, 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 ...

Senior Software Engineer (Prototype) - Innovation R&D

Hiring Organisation: Input Output Group
Location: Bolton, Greater Manchester, 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 ...

Senior Software Engineer (Prototype) - Innovation R&D

Hiring Organisation: Input Output Group
Location: Stockport, Greater Manchester, 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 ...