8 of 8 F# Jobs in the South West

Senior Software Engineer (Prototype) - Innovation R&D

Hiring Organisation: Input Output Group
Location: Bristol, 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: Swindon, 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: Exeter, Devon, 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: Bournemouth, Dorset, 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: Gloucester, Gloucestershire, 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: Cheltenham, Gloucestershire, 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: Plymouth, Devon, 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: Bath, Somerset, 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 ...