The new new contracts, who’s behind them, and what they mean — delivered to your inbox every week. No credit card, unsubscribe anytime.
Weekly Digest
New new contracts, summarized for you
Straight to Inbox
No login, no app to check — it comes to you
Contract Trends
See who's moving and how much in your market
No credit card required Weekly contract digest
BAE Systems’ FAST Labs Awarded $6m Contract for DARPA's PROVERS Programme
Dec 05, 2024•over 1 year ago
Contract Type
contract
StaffordOtherDefense & Space
Description
The US Defense Advanced Research Projects Agency (DARPA) has awarded BAE Systems’ FAST Labs, a research and development organisation, a $6 million contract as part of the Pipelined Reasoning of Verifiers Enabling Robust Systems (PROVERS) programme. The goal of PROVERS is to make formal methods accessible to non-experts while minimising the impact on their existing processes and performance, providing higher levels of assurance for critical Department of Defense software systems.
Company Information
Company
BAE Systems Bofors
Location
Fairview Park Drive
Stafford, Kansas, United States
About
BAE Systems Bofors is a defense contractor specializing in advanced systems for military applications. The company focuses on artillery systems, naval guns, and other defense-related technologies. It has a strong reputation in the European defense market. BAE Systems Bofors aims to enhance production capacity through strategic acquisitions.
StaffordOtherDefense & Space