51 to 75 of 75 F# Jobs in the UK

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 ...

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 ...

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 ...

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 ...

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 ...

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 ...

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 ...

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 ...

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 ...

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 ...

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 ...

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 ...

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 ...

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 ...

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 ...

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 ...

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 ...

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 ...

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 ...

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 ...

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 ...

primary programming language used in the team. They utilise a language extension library to facilitate functional programming with C#. Any knowledge with F#, Haskell, Scala or similar functional language is imperative for any application - even if this click apply for full job details ...

exciting opportunity has arisen for a technically curious Software Engineer to join an Oxfordshire based Software Consultancy. Working with the latest Microsoft technologies including F#, developing bespoke applications for high profile clients. The Role The role will involve developing innovative, bespoke web applications working closely with a range click apply ...

primary programming language used in the team. They utilise a language extension library to facilitate functional programming with C#. Any knowledge with F#, Haskell, Scala or similar functional language is imperative for any application - even if this is via personal projects, It doesn't need to be commercial experience. … experience or a vested interest in functional programming even in personal projects C# Knowledge of one or more functional programming languages eg Scala, Haskell, F# SQL Experience in any of the following areas would be advantageous Functional programming in C# Language-ext Domain driven design Property-based testing Domain specific ...

exciting opportunity has arisen for a technically curious Software Engineer to join an Oxfordshire based Software Consultancy. Working with the latest Microsoft technologies including F#, developing bespoke applications for high profile clients. The Role The role will involve developing innovative, bespoke web applications working closely with a range of clients. … privilege. You will be technically curious and want to experiment with a variety of technologies. Whilst my client is a Microsoft house utilising C#, F#, ASP.NET and SQL Server, they work with the right technology for task which could include Python, Node.Js, GO and much more! Benefits 25 days holiday ...