15 of 15 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 ❯

Nice to have: An advanced degree (Master's or PhD) in Mathematics, Computer Science, Computer/Electrical Engineering, or related technical domain Knowledge of a functional programming language (Haskell, OCaml, SML) Experience with computer proof assistants (Coq, Isabelle/HOL, Lean) Experience in cybersecurity and related disciplines (program analysis, vulnerability research, computer network operations) Experience in data science and related More ❯

in related field Used Rust in production or open source codebases Experience with low-level programming languages in general (e.g. Rust, C, C++) or functional programming languages (e.g. Haskell, OCaml, Nix) 3 years of experience working on relevant areas such as performance sensitive- or systems programming, and compiler development Please get in touch with daniel@microtech-global.com to hear more More ❯

in related field Used Rust in production or open source codebases Experience with low-level programming languages in general (e.g. Rust, C, C++) or functional programming languages (e.g. Haskell, OCaml, Nix) 3 years of experience working on relevant areas such as performance sensitive- or systems programming, and compiler development Please get in touch with daniel@microtech-global.com to hear more More ❯

in related field Used Rust in production or open source codebases Experience with low-level programming languages in general (e.g. Rust, C, C++) or functional programming languages (e.g. Haskell, OCaml, Nix) 3 years of experience working on relevant areas such as performance sensitive- or systems programming, and compiler development Please get in touch with daniel@microtech-global.com to hear more More ❯

decisions based on pragmatism, not hype - always choosing the right tool for the job. Ideally, you've had exposure to ReScript or are curious about ML-style languages like OCaml, ReasonML, or Gleam. You take projects from idea to delivery, with a strong sense of ownership and accountability. You're self-driven but also a great team player who collaborates 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 Help us shape the More ❯

developing scalable, tested and production grade distributed systems • 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 What else is in it for you? • Software Engineers are treated as the company's #1 asset • Low attrition rate; people More ❯

developing scalable, tested and production grade distributed systems • 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 What else is in it for you? • Software Engineers are treated as the company's #1 asset • Low attrition rate; people More ❯

developing scalable, tested and production grade distributed systems • 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 What else is in it for you? • Software Engineers are treated as the company's #1 asset • Low attrition rate; people More ❯

developing scalable, tested and production grade distributed systems • 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 What else is in it for you? • Software Engineers are treated as the company's #1 asset • Low attrition rate; people More ❯

developing scalable, tested and production grade distributed systems • 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 What else is in it for you? • Software Engineers are treated as the company's #1 asset • Low attrition rate; people More ❯

developing scalable, tested and production grade distributed systems • 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 What else is in it for you? • Software Engineers are treated as the company's #1 asset • Low attrition rate; people More ❯

developing scalable, tested and production grade distributed systems • 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 What else is in it for you? • Software Engineers are treated as the company's #1 asset • Low attrition rate; people More ❯

developing scalable, tested and production-grade distributed systems 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 What else is in it for you? Software Engineers are treated as the company's #1 asset Low attrition rate; people More ❯