1 to 25 of 122 OCaml Jobs in the UK

Software Engineer (Prototype) - Innovation R&D

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

paradigms Proficiency in various programming languages and functional paradigms Knowledge of system programming languages (e.g. Rust, C++) Knowledge of some functional languages (e.g. Haskell, OCaml, F#) Optional knowledge of formal specification language (e.g. Lean) Deep understanding of computer science fundamentals, including algorithms, data structures, and concurrency Knowledge of blockchain technology ...

Software Engineer (Prototype) - Innovation R&D

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

paradigms Proficiency in various programming languages and functional paradigms Knowledge of system programming languages (e.g. Rust, C++) Knowledge of some functional languages (e.g. Haskell, OCaml, F#) Optional knowledge of formal specification language (e.g. Lean) Deep understanding of computer science fundamentals, including algorithms, data structures, and concurrency Knowledge of blockchain technology ...

Software Engineer (Prototype) - Innovation R&D

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

paradigms Proficiency in various programming languages and functional paradigms Knowledge of system programming languages (e.g. Rust, C++) Knowledge of some functional languages (e.g. Haskell, OCaml, F#) Optional knowledge of formal specification language (e.g. Lean) Deep understanding of computer science fundamentals, including algorithms, data structures, and concurrency Knowledge of blockchain technology ...

Software Engineer (Prototype) - Innovation R&D

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

paradigms Proficiency in various programming languages and functional paradigms Knowledge of system programming languages (e.g. Rust, C++) Knowledge of some functional languages (e.g. Haskell, OCaml, F#) Optional knowledge of formal specification language (e.g. Lean) Deep understanding of computer science fundamentals, including algorithms, data structures, and concurrency Knowledge of blockchain technology ...

Software Engineer (Prototype) - Innovation R&D

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

paradigms Proficiency in various programming languages and functional paradigms Knowledge of system programming languages (e.g. Rust, C++) Knowledge of some functional languages (e.g. Haskell, OCaml, F#) Optional knowledge of formal specification language (e.g. Lean) Deep understanding of computer science fundamentals, including algorithms, data structures, and concurrency Knowledge of blockchain technology ...

Software Engineer (Prototype) - Innovation R&D

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

paradigms Proficiency in various programming languages and functional paradigms Knowledge of system programming languages (e.g. Rust, C++) Knowledge of some functional languages (e.g. Haskell, OCaml, F#) Optional knowledge of formal specification language (e.g. Lean) Deep understanding of computer science fundamentals, including algorithms, data structures, and concurrency Knowledge of blockchain technology ...

Software Engineer (Prototype) - Innovation R&D

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

paradigms Proficiency in various programming languages and functional paradigms Knowledge of system programming languages (e.g. Rust, C++) Knowledge of some functional languages (e.g. Haskell, OCaml, F#) Optional knowledge of formal specification language (e.g. Lean) Deep understanding of computer science fundamentals, including algorithms, data structures, and concurrency Knowledge of blockchain technology ...

Software Engineer (Prototype) - Innovation R&D

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

paradigms Proficiency in various programming languages and functional paradigms Knowledge of system programming languages (e.g. Rust, C++) Knowledge of some functional languages (e.g. Haskell, OCaml, F#) Optional knowledge of formal specification language (e.g. Lean) Deep understanding of computer science fundamentals, including algorithms, data structures, and concurrency Knowledge of blockchain technology ...

Software Engineer (Prototype) - Innovation R&D

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

paradigms Proficiency in various programming languages and functional paradigms Knowledge of system programming languages (e.g. Rust, C++) Knowledge of some functional languages (e.g. Haskell, OCaml, F#) Optional knowledge of formal specification language (e.g. Lean) Deep understanding of computer science fundamentals, including algorithms, data structures, and concurrency Knowledge of blockchain technology ...

Software Engineer (Prototype) - Innovation R&D

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

paradigms Proficiency in various programming languages and functional paradigms Knowledge of system programming languages (e.g. Rust, C++) Knowledge of some functional languages (e.g. Haskell, OCaml, F#) Optional knowledge of formal specification language (e.g. Lean) Deep understanding of computer science fundamentals, including algorithms, data structures, and concurrency Knowledge of blockchain technology ...

Software Engineer (Prototype) - Innovation R&D

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

paradigms Proficiency in various programming languages and functional paradigms Knowledge of system programming languages (e.g. Rust, C++) Knowledge of some functional languages (e.g. Haskell, OCaml, F#) Optional knowledge of formal specification language (e.g. Lean) Deep understanding of computer science fundamentals, including algorithms, data structures, and concurrency Knowledge of blockchain technology ...

Software Engineer (Prototype) - Innovation R&D

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

paradigms Proficiency in various programming languages and functional paradigms Knowledge of system programming languages (e.g. Rust, C++) Knowledge of some functional languages (e.g. Haskell, OCaml, F#) Optional knowledge of formal specification language (e.g. Lean) Deep understanding of computer science fundamentals, including algorithms, data structures, and concurrency Knowledge of blockchain technology ...

Software Engineer (Prototype) - Innovation R&D

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

paradigms Proficiency in various programming languages and functional paradigms Knowledge of system programming languages (e.g. Rust, C++) Knowledge of some functional languages (e.g. Haskell, OCaml, F#) Optional knowledge of formal specification language (e.g. Lean) Deep understanding of computer science fundamentals, including algorithms, data structures, and concurrency Knowledge of blockchain technology ...

Software Engineer (Prototype) - Innovation R&D

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

paradigms Proficiency in various programming languages and functional paradigms Knowledge of system programming languages (e.g. Rust, C++) Knowledge of some functional languages (e.g. Haskell, OCaml, F#) Optional knowledge of formal specification language (e.g. Lean) Deep understanding of computer science fundamentals, including algorithms, data structures, and concurrency Knowledge of blockchain technology ...

Software Engineer (Prototype) - Innovation R&D

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

paradigms Proficiency in various programming languages and functional paradigms Knowledge of system programming languages (e.g. Rust, C++) Knowledge of some functional languages (e.g. Haskell, OCaml, F#) Optional knowledge of formal specification language (e.g. Lean) Deep understanding of computer science fundamentals, including algorithms, data structures, and concurrency Knowledge of blockchain technology ...

Software Engineer (Prototype) - Innovation R&D

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

paradigms Proficiency in various programming languages and functional paradigms Knowledge of system programming languages (e.g. Rust, C++) Knowledge of some functional languages (e.g. Haskell, OCaml, F#) Optional knowledge of formal specification language (e.g. Lean) Deep understanding of computer science fundamentals, including algorithms, data structures, and concurrency Knowledge of blockchain technology ...

Software Engineer (Prototype) - Innovation R&D

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

paradigms Proficiency in various programming languages and functional paradigms Knowledge of system programming languages (e.g. Rust, C++) Knowledge of some functional languages (e.g. Haskell, OCaml, F#) Optional knowledge of formal specification language (e.g. Lean) Deep understanding of computer science fundamentals, including algorithms, data structures, and concurrency Knowledge of blockchain technology ...

Software Engineer (Prototype) - Innovation R&D

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

paradigms Proficiency in various programming languages and functional paradigms Knowledge of system programming languages (e.g. Rust, C++) Knowledge of some functional languages (e.g. Haskell, OCaml, F#) Optional knowledge of formal specification language (e.g. Lean) Deep understanding of computer science fundamentals, including algorithms, data structures, and concurrency Knowledge of blockchain technology ...

Software Engineer (Prototype) - Innovation R&D

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

paradigms Proficiency in various programming languages and functional paradigms Knowledge of system programming languages (e.g. Rust, C++) Knowledge of some functional languages (e.g. Haskell, OCaml, F#) Optional knowledge of formal specification language (e.g. Lean) Deep understanding of computer science fundamentals, including algorithms, data structures, and concurrency Knowledge of blockchain technology ...

Software Engineer (Prototype) - Innovation R&D

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

paradigms Proficiency in various programming languages and functional paradigms Knowledge of system programming languages (e.g. Rust, C++) Knowledge of some functional languages (e.g. Haskell, OCaml, F#) Optional knowledge of formal specification language (e.g. Lean) Deep understanding of computer science fundamentals, including algorithms, data structures, and concurrency Knowledge of blockchain technology ...

Software Engineer (Prototype) - Innovation R&D

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

paradigms Proficiency in various programming languages and functional paradigms Knowledge of system programming languages (e.g. Rust, C++) Knowledge of some functional languages (e.g. Haskell, OCaml, F#) Optional knowledge of formal specification language (e.g. Lean) Deep understanding of computer science fundamentals, including algorithms, data structures, and concurrency Knowledge of blockchain technology ...

Software Engineer (Prototype) - Innovation R&D

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

paradigms Proficiency in various programming languages and functional paradigms Knowledge of system programming languages (e.g. Rust, C++) Knowledge of some functional languages (e.g. Haskell, OCaml, F#) Optional knowledge of formal specification language (e.g. Lean) Deep understanding of computer science fundamentals, including algorithms, data structures, and concurrency Knowledge of blockchain technology ...

Software Engineer (Prototype) - Innovation R&D

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

paradigms Proficiency in various programming languages and functional paradigms Knowledge of system programming languages (e.g. Rust, C++) Knowledge of some functional languages (e.g. Haskell, OCaml, F#) Optional knowledge of formal specification language (e.g. Lean) Deep understanding of computer science fundamentals, including algorithms, data structures, and concurrency Knowledge of blockchain technology ...

Software Engineer (Prototype) - Innovation R&D

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

paradigms Proficiency in various programming languages and functional paradigms Knowledge of system programming languages (e.g. Rust, C++) Knowledge of some functional languages (e.g. Haskell, OCaml, F#) Optional knowledge of formal specification language (e.g. Lean) Deep understanding of computer science fundamentals, including algorithms, data structures, and concurrency Knowledge of blockchain technology ...

Software Engineer (Prototype) - Innovation R&D

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

paradigms Proficiency in various programming languages and functional paradigms Knowledge of system programming languages (e.g. Rust, C++) Knowledge of some functional languages (e.g. Haskell, OCaml, F#) Optional knowledge of formal specification language (e.g. Lean) Deep understanding of computer science fundamentals, including algorithms, data structures, and concurrency Knowledge of blockchain technology ...