1 to 25 of 36 OCaml Jobs

Neo4j ) - DevSecOps, microservice oriented architectures, containerization, and CI/CD tools and processes (e.g., GitLab, Docker, Jenkins ) - Embedded and real-time system programming. Functional programming a plus (Haskell, Scala, OCaml, etc.). - Experience developing software compatible with Universal Command and Control Interface (UCI) - Data Science techniques (e.g., regression analysis, statistics, K-Means clustering, uncertainty quantification, data extraction and cleansing ) - Optimization More ❯

Senior Functional Programmer - Haskell, OCaml, Scala, Linux, F#, Financial Markets, Openshift, Kubernetes I am working with a leading financial services firm who is seeking a Senior Haskell Developer to join a specialist team developing cross-product transactional pricing systems for derivatives. This is a rare opportunity to work with a production-grade Haskell codebase, delivering high-performance backend systems that … Mentor junior developers and promote best practices in functional programming Apply financial domain knowledge in derivatives pricing and risk management Key Skills: Proficient in functional programming (Haskell is preferred, OCaml/Scala also considered) Experience building scalable, high-performance backend/server-side applications Strong understanding of architecture and system design principles Comfortable working in Linux environments and agile development … is up to £115k and a total comp of up to £160k. If you are interested or know someone who might be please reach out. Senior Functional Programmer - Haskell, OCaml, Scala, Linux, F#, Financial Markets, Openshift, Kubernetes More ❯

Senior Functional Programmer - Haskell, OCaml, Scala, Linux, F#, Financial Markets, Openshift, Kubernetes I am working with a leading financial services firm who is seeking a Senior Haskell Developer to join a specialist team developing cross-product transactional pricing systems for derivatives. This is a rare opportunity to work with a production-grade Haskell codebase, delivering high-performance backend systems that … Mentor junior developers and promote best practices in functional programming Apply financial domain knowledge in derivatives pricing and risk management Key Skills: Proficient in functional programming (Haskell is preferred, OCaml/Scala also considered) Experience building scalable, high-performance backend/server-side applications Strong understanding of architecture and system design principles Comfortable working in Linux environments and agile development … is up to £115k and a total comp of up to £160k. If you are interested or know someone who might be please reach out. Senior Functional Programmer - Haskell, OCaml, Scala, Linux, F#, Financial Markets, Openshift, Kubernetes More ❯

Senior Functional Programmer - Haskell, OCaml, Scala, Linux, F#, Financial Markets, Openshift, Kubernetes I am working with a leading financial services firm who is seeking a Senior Haskell Developer to join a specialist team developing cross-product transactional pricing systems for derivatives. This is a rare opportunity to work with a production-grade Haskell codebase, delivering high-performance backend systems that … Mentor junior developers and promote best practices in functional programming Apply financial domain knowledge in derivatives pricing and risk management Key Skills: Proficient in functional programming (Haskell is preferred, OCaml/Scala also considered) Experience building scalable, high-performance backend/server-side applications Strong understanding of architecture and system design principles Comfortable working in Linux environments and agile development … is up to £115k and a total comp of up to £160k. If you are interested or know someone who might be please reach out. Senior Functional Programmer - Haskell, OCaml, Scala, Linux, F#, Financial Markets, Openshift, Kubernetes More ❯

hosts and exposes the public XenServer API. It is central to the platform, offering a unique opportunity to influence modern infrastructure management at scale. You’ll primarily work in OCaml, a functional programming language suited for building safe and maintainable systems software. The role involves challenges like distributed system orchestration, performance optimization, and robust API design within an active open … in software development on Unix/Linux systems Familiarity with procedural languages (e.g., C, C++, C#, Java) and scripting languages (e.g., Python) Interest or experience in functional programming (e.g., OCaml, Haskell, F#, Scala, ML) Understanding of best practices like automated testing, code review, and CI/CD A thoughtful approach to building scalable, maintainable, and correct systems Preferred Qualifications Bachelor More ❯

obsess over details and quality of the user facing features and their implementation. Yet we move fast by creating focus and leveraging high quality foundations. Clojure, ReScript, Melange and OCaml are some of the languages that get us excited which is why we've ventured into exploring ReScript in our frontend stack. Your day to day Help us shape the More ❯

We obsess over details and quality of the user facing features and their implementation. Yet we move fast by creating focus and leveraging high quality foundations. ReScript, Melange and OCaml are some of the languages that get us excited which is why we've ventured into exploring ReScript in our frontend stack. Your day to day Lead and grow a More ❯

based automated reasoning platform, primarily using OCaml. There are opportunities to get involved across the full stack according to your skills and interests: Our web APIs and backend services (OCaml, PostgreSQL, Redis). Product UIs and visualization tools (React, via the ReasonML/Bucklescript/Melange toolchain, webgl). Continuous integration and cloud infrastructure (Google Cloud, Kubernetes, Terraform). Modeling … are a bonus We don’t expect everyone to have these, but any experience or interest in working with them would definitely be a plus: Experience building projects with OCaml, ReasonML, Haskell, or other functional programming languages. Working with cloud infrastructure, specifically GCP. An interest in theorem proving and formal verification. Experience contributing to open-source projects. #J-18808-Ljbffr More ❯

lasting product. Requirements: Preferred M.Sc or Ph.D. degree in Computer Science or a related field. 7+ years of experience in software development. Work experience using both compiled languages (Rust, OCaml, Golang, Java, C#) or dynamic languages (JavaScript, Python, Ruby). Experience building web applications or desktop application technologies such as Electron, Tauri, React, or Vue.js. Familiarity with CI/CD More ❯

field is preferable, but optional in the presence of extensive experience in functional programming. Demonstrable experience with software development using functional programming languages, preferably Haskell or other such as OCaml and Scala. Application Development Experience (past or current). Architecture and System Design. Experience with using Linux environments. Experience with developing server-side software. Knowledge and experience of financial markets More ❯

Quantitative Developer - C++ Infrastructure for Quant Analytics Location London Business Area Product Ref # Description & Requirements The Quant Analytics department at Bloomberg sits within Enterprise Products and is responsible for modeling market data, pricing, and risk calculations of financial derivatives More ❯

The Quant Analytics department at Bloomberg sits within Enterprise Products and is responsible for modeling market data, pricing, and risk calculations of financial derivatives across all asset classes. Our C++ libraries are used by all Bloomberg products and services, including More ❯

Potential projects include: Designing and developing scalable, tested, and production-grade distributed systems Research and Development in functional programming languages such as Rust, Erlang, or purpose-built languages like OCaml Building and optimizing Machine Learning Infrastructure and research models What’s in it for you? Software Engineers are regarded as the company's top asset Low attrition rate; employees love More ❯

how to optimize at a very low level • R&D work for functional programming (either pre-existing languages (such as Rust and Erlang), or purpose-built languages similar to OCaml • Building out Machine Learning Infrastructure and tweaking research models You’ll Be Right At Home If You Have.... Strong experience with modern C++ Exceptional education Experience working in mission critical More ❯

software development, IT operations (Helpdesk, Technical Support, DevOps, etc.), or a similar field Interested in systems programming and administration and a desire to expand these skills Willing to learn OCaml, our programming language of choice (no prior experience with OCaml is required, though) Able to analyze and deconstruct technical problems Knowledgeable about operating system fundamentals, especially Linux Confident with the More ❯

related scientific/engineering field Proven Rust programming experience using Rust Experience with low-level programming languages in general (e.g. Rust, C, C++) or functional programming languages (e.g. Haskell, OCaml, Nix) This is a great opportunity for a Senior Software Engineer to join a passionate team of engineers developing software systems that perform at scale and speed in Cambridge, Cambridgeshire. More ❯

in a related scientific/engineering field Proven Rust programming experience Experience with low-level programming languages in general (e.g. Rust, C, C++) or functional programming languages (e.g. Haskell, OCaml, Nix) Proven experience working on relevant areas such as performance sensitive - or systems programming, and compiler development This is a great opportunity for a Senior Software Engineer wanting to focus More ❯

/PhD in a related scientific/engineering field Proven Rust programming experience Experience with low-level programming in general (e.g. Rust, C, C++) or functional programming (e.g. Haskell, OCaml, Nix) Proven experience working on relevant areas such as performance sensitive - or systems programming, and compiler development This is a great opportunity for a Senior Software Engineer wanting to focus More ❯

with scale, reliability and latency considerations in mind R&D work for functional programming (either pre-existing languages (such as Rust and Erlang), or purpose-built languages similar to OCaml Building out Machine Learning Infrastructure and tweaking research models Working directly on Quant Logic/Research models for Alpha Generation What else is in it for you? Software Engineers are More ❯

with strong organizational and communication skills Eager to ask questions, admit mistakes, learn new things, and continuously improve We don’t expect you to have experience with functional programming, OCaml, or finance for this position; we’re happy to hire talented engineers in this role and teach them what they need to know #J-18808-Ljbffr More ❯

We don’t expect everyone to have these, but any experience or interest in working with them would definitely be a plus: Software development experience with functional languages (e.g. OCaml, GitHub) Working with cloud infrastructure, specifically GCP An interest in statistical AI (e.g. LLMs) An interest in automated reasoning (e.g. theorem proving and formal verification) #J-18808-Ljbffr More ❯

near or below kernel level. You can describe what select (from select.h) does You have strong working knowledge of either Rust, C/C++ or a functional language (eg OCaml) You have experience in either development for web platforms, or compiler technology You care about your users - you bias towards building the right thing, before building the thing right Bonus More ❯

engineering roadmap. Nomadic Labs prioritizes three key areas: (1) maintaining the Tezos blockchain’s position as a technological leader in the blockchain industry through deep expertise in functional programming (OCaml, Rust), formal methods, cryptography, and decentralized systems; (2) driving the adoption of Tezos technology; and (3) assisting companies and institutions in France, Luxembourg, Belgium, and Germany to leverage the Tezos More ❯

Senior Software Engineer - Ai Inference Cambridge, UK – Hybrid £80,000 - £90,000 About the Role Join a pioneering AI hardware innovator as a Senior Software Engineer and redefine how machine learning workloads run on cutting-edge FPGA-based accelerators. You More ❯

Senior Software Engineer - Ai Inference Cambridge, UK – Hybrid £80,000 - £90,000 About the Role Join a pioneering AI hardware innovator as a Senior Software Engineer and redefine how machine learning workloads run on cutting-edge FPGA-based accelerators. You More ❯