6 of 6 Haskell Jobs in the East Midlands

Senior Software Engineer (Prototype) - Innovation R&D

Hiring Organisation: Input Output Group
Location: Leicester, UK
Employment Type: Full-time

work Expertise in at 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+ ...

Senior Software Engineer (Prototype) - Innovation R&D

Hiring Organisation: Input Output Group
Location: Nottingham, UK
Employment Type: Full-time

work Expertise in at 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+ ...

Senior Software Engineer (Prototype) - Innovation R&D

Hiring Organisation: Input Output Group
Location: Lincoln, Lincolnshire, UK
Employment Type: Full-time

work Expertise in at 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+ ...

Senior Software Engineer (Prototype) - Innovation R&D

Hiring Organisation: Input Output Group
Location: Derby, Derbyshire, UK
Employment Type: Full-time

work Expertise in at 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+ ...

Senior Software Engineer (Prototype) - Innovation R&D

Hiring Organisation: Input Output Group
Location: Northampton, Northamptonshire, UK
Employment Type: Full-time

work Expertise in at 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+ ...

Senior Software Engineer (Prototype) - Innovation R&D

Hiring Organisation: Input Output Group
Location: Chesterfield, Derbyshire, UK
Employment Type: Full-time

work Expertise in at 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+ ...