26 to 50 of 68 F# Jobs in England

Senior Software Engineer (Prototype) - Innovation R&D

Hiring Organisation: Input Output Group
Location: Slough, Berkshire, 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: Derby, Derbyshire, 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: Luton, Bedfordshire, 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: Northampton, Northamptonshire, 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: Cambridge, Cambridgeshire, 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: Basildon, Essex, 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: Norwich, Norfolk, 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: Basingstoke, Hampshire, 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: Telford, Shropshire, 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: Chesterfield, Derbyshire, 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: High Wycombe, Buckinghamshire, 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: Portsmouth, Hampshire, 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: Woking, Surrey, 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: Watford, Hertfordshire, 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: Shrewsbury, Shropshire, 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: Oxford, Oxfordshire, 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: Ipswich, Suffolk, 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: Dartford, Kent, 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 ...