Objective Caml jobs

Remote

•

Today

Founded in 2012, Bugcrowd is the preemptive security platform that unifies exposure discovery and assessment, offensive testing, and intelligence shaped by AI and human insight to help organizations avoid, discover, and validate real-world risk. Bugcrowd helps security teams move faster by identifying the exposures that matter most so they can act first and stay ahead of attackers. By combining the power of humans and AI, teams can preempt attack paths and prevent breaches. Based in San Francisc

Full-time

Senior Software Engineer, EW

Costa Mesa, California

•

Today

Anduril Industries is a defense technology company with a mission to transform U.S. and allied military capabilities with advanced technology. By bringing the expertise, technology, and business model of the 21st century's most innovative companies to the defense industry, Anduril is changing how military systems are designed, built and sold. Anduril's family of systems is powered by Lattice OS, an AI-powered operating system that turns thousands of data streams into a realtime, 3D command and c

Full-time

USD 191,000.00 - 253,000.00 per year

Staff Software Engineer, EW

Costa Mesa, California

•

Today

Full-time

USD 220,000.00 - 292,000.00 per year

Principal Embedded Engineer, EW

Costa Mesa, California

•

Today

Full-time

USD 260,000.00 - 345,000.00 per year

Senior Embedded Engineer, EW

Costa Mesa, California

•

Today

Full-time

USD 191,000.00 - 253,000.00 per year

Staff Embedded Engineer, EW

Costa Mesa, California

•

Today

Full-time

USD 220,000.00 - 292,000.00 per year

Senior Application Security Engineer

Denver, Colorado

•

Today

Space is a warfighting domain. True Anomaly seeks those with the talent and ambition to build the technology that secures it. OUR MISSION True Anomaly delivers decisive capabilities for space superiority. We build autonomous spacecraft, advanced payloads, mission software, and space-based interceptors - enabling the U.S. and its Allies to secure the space environment and counter threats from the ultimate high ground. OUR VALUES Be the offset. We create asymmetric advantages with creativity an

Full-time

USD 180,000.00 - 255,000.00 per year

Application Security Engineer III

Denver, Colorado

•

Today

Full-time

USD 145,000.00 - 205,000.00 per year

Senior Software Engineer, iCloud Foundation

Washington

•

Today

iCloud Foundation is looking for an experienced software engineer to help build the platform layer that Apple's cloud services are built on. Our customers are Apple engineers, and the software we write is what lets their teams spend their time on product instead of on the infrastructure underneath it. Description iCloud serves billions of customers across a globally distributed, multi-tenant estate, and every improvement to the layer beneath it makes every team above it faster. The problems he

Full-time

Mid-Level and Senior Software Engineers - Rust

Fort Lauderdale, Florida

•

21d ago

Company Description Founded and headquartered in Switzerland, Avaloq is continuously expanding its global footprint with around 2,500 colleagues in 12 countries, and more than 170 clients in 35 countries. We are an industry-leading provider of wealth management technology and services for financial institutions around the world, including private banks and wealth managers, investment managers, as well as retail and neo banks. Our research led approach and continual innovation is powered by the p

Full-time

Software Engineer / Writer

New York, New York

•

3d ago

About the Position We're looking to hire a programmer-who-writes, or a writer-who-codes. Here are the kinds of things we'd like to have this person work on: Documentation. We've always believed that developers should spend time and effort documenting their own code, but at the same time, a great writer with a feel for the technology can raise the level of quality in a way that few developers can. Establishing a culture of great docs is especially important as we grow. Building tools that suppo

Full-time

Data Engineer

New York, New York

•

Today

About the Position Our goal is to give you a real sense of what it's like to work at Jane Street full time. Over the course of your internship, you will explore ways to approach and solve exciting problems within your field of interest through fun and challenging classes, interactive sessions, and group discussions - and then you will have the chance to put those lessons to practical use. As a Data Engineering intern, you'll learn how we turn messy, real-world data into reliable foundations fo

Full-time

Hardware Engineer (FPGA/ASIC)

New York, New York

•

Today

About the Position Our goal is to give you a real sense of what it's like to work at Jane Street full time while also providing a truly unparalleled educational experience. As an intern, you are paired with full-time employees who act as mentors, collaborating with you on real-world projects we actually need done. In this internship, you'll learn how we use tools to make programming faster, more pleasant, and more reliable. We apply these same principles to our hardware engineering work, and w

Full-time

Software Engineer

New York, New York

•

Today

About the Position We're looking for Software Engineers who want to help us design and build the systems and tools that run the firm. You'll find Software Engineers in all parts of Jane Street, solving real problems in critical areas ranging from trading desks to our accounting team, as well as building foundational infrastructure, whether that means implementing network monitoring or risk models. We are big believers in functional programming and, using OCaml, a statically -typed functional pr

Full-time

Embedded Software Engineer, EW

Costa Mesa, California

•

Today

Full-time

USD 167,000.00 - 222,000.00 per year

Compiler Engineer

New York, New York

•

Today

About the Position We are looking for an experienced software engineer to work on code generation in the OxCaml compiler, which is open source. OxCaml is Jane Street's variant of the OCaml language, equipped with powerful features for high-performance and parallel programming, with data race freedom guarantees. This role involves the full cycle of identifying new optimizations, coding, testing, benchmarking, and deployment. There will be the opportunity to work across a wide variety of interme

Full-time

Formal Methods Engineer

New York, New York

•

Today

About the Position We're looking for software engineers and researchers to establish a new Formal Methods team at Jane Street. With the emergence of agentic programming, we think formal methods will play a major role in providing feedback for agents and helping validate agent-generated code. Our vision is to make formal methods as useful a tool for building software as type systems are for us today, both by leveraging existing tools and technology, and pursuing novel approaches. We're looking

Full-time

Software Engineer in Test (SDET)

Miami, Florida

•

Today

Job Description Role Overview: The Client Platform technology team builds and evolves the core platform that powers Citadel Securities' client-facing businesses. This platform serves as a critical foundation supporting connectivity, order management, and analytics across multiple asset classes. We are embarking on a multi-year strategic effort to modernize the platform's infrastructure. As a Software Engineer in Test, you'll contribute to this transformation by building Python-first frameworks

Full-time

USD 175,000.00 - 350,000.00 per year

Software Engineer / Writer

New York, New York

•

Today

Full-time

Low-Latency Engineer

New York, New York

•

Today

About the Position We are looking for a Software Engineer with experience in high-performance, low latency systems. You'll work closely with our quantitative researchers and developers, taking a holistic approach to design and optimize our fast-trading systems. We build systems primarily in OCaml with only small amounts of C and C++, but you don't need any experience with OCaml in particular (we can teach it to you) or knowledge of the financial markets. The most important qualification is exp

Full-time