ocaml Jobs

Refine Results
1 - 8 of 8 Jobs

Senior Software Engineer - Fixed Income and Derivatives

Bloomberg

•

New York, New York, USA

Full-time

Bloomberg is the global leader in financial data and analytics. The Fixed Income and Derivatives Engineering team produces applications and tools that enable our clients to generate trade ideas, structure deals, connect to electronic trading platforms, capture market movements, and assess and hedge portfolio risk for a variety of financial instruments across fixed income and derivatives asset classes. While building innovative technology is at the core of what we do, our group also develops soph
Posted 1 day ago

Full Stack Software Engineer, EW

Aduril Industries

•

Costa Mesa, California, USA

Full-time

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
Posted 39 days ago | Updated 10 hours ago

Embedded Software Engineer, EW

Aduril Industries

•

Costa Mesa, California, USA

Full-time

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
Posted 35 days ago | Updated 10 hours ago

Embedded NixOS Engineer, EW

Aduril Industries

•

Costa Mesa, California, USA

Full-time

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
Posted 60+ days ago | Updated 10 hours ago

Software Assurance/Formal Methods Developer

Johns Hopkins University AppliedPhysicsLaboratory

•

Laurel, Maryland, USA

Full-time

Description Do you have experience solving problems with static analysis or formal methods for software assurance? Are you passionate about making meaningful contributions that impact national security systems? Do you work best in an intellectually stimulating, professionally rewarding, and fun environment? If so, we 're looking for someone like you to join our APL team. We are seeking a motivated and creative Software Assurance/Formal Methods Developer who will Solve software assurance pr
Posted 60+ days ago | Updated 11 hours ago

Embedded Haskell Developer

Aduril Industries

•

Costa Mesa, California, USA

Full-time

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
Posted 60+ days ago | Updated 10 hours ago

Embedded Software Engineer, Electronic Warfare

Aduril Industries

•

Costa Mesa, California, USA

Full-time

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
Posted 60+ days ago | Updated 10 hours ago

RF Test Automation Engineer, EW

Aduril Industries

•

Costa Mesa, California, USA

Full-time

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