Objective Caml Jobs

Refine Results
1 - 9 of 9 Jobs

Senior Formal Methods Engineer

Draper

•

Remote or Cambridge, Massachusetts, USA

Full-time

Overview: Draper is an independent, nonprofit research and development company headquartered in Cambridge, MA. The 2,000+ employees of Draper tackle important national challenges with a promise of delivering successful and usable solutions. From military defense and space exploration to biomedical engineering, lives often depend on the solutions we provide. Our multidisciplinary teams of engineers and scientists work in a collaborative environment that inspires the cross-fertilization of ideas
Posted 26 days ago | Updated 8 hours ago

Senior Software Engineer - Fixed Income and Derivatives

Bloomberg L.P.

•

New York, New York, USA

Full-time

Description & Requirements 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,
Posted 34 days ago | Updated 8 hours ago

Full Stack Haskell 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 11 days ago | Updated 8 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 60+ days ago | Updated 8 hours ago

Quantitative Developer - C++ Infrastructure for Quant Analytics

Bloomberg

•

New York, New York, USA

Full-time

Quantitative Developer - C++ Infrastructure for Quant Analytics Location New York Business Area Product Ref # 10040384 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 across all asset classes. Our C++ libraries are used by all Bloomberg products and services, including the Terminal with over 300,000 clients, trading system solutions, enterpri
Posted 60+ days ago | Updated 31 days 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 8 hours ago

Senior Research Engineer, Advanced Technology Laboratories

Lockheed Martin Corporation

•

Cherry Hill Township, New Jersey, USA

Full-time

Job Description Bringing together people who use their passion for purposeful innovationYour Mission is Ours. At Lockheed Martin we keep people safe and solve the world's most complex challenges. We place an emphasis on empowering our employees by fostering innovation, integrity, and exemplifying the epitome of corporate responsibility. Our people are some of the greatest minds in the industry and they make Lockheed Martin a great place to work. We provide diverse career opportunities designed
Posted 29 days ago | Updated 8 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 8 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