Contract award · FA875018C0095
VENUS: FORMAL VERIFICATION FOR NEURAL SYSTEMS
Awarded to IMPERIAL COLLEGE OF SCIENCE, TECHNOLOGY AND MEDICINE · CAGE KC242
Latest reported total obligated
Not reported
Net observed obligations
$1M
Observed contract actions
5
Observed period
FY2019–FY2022
Reported totals are cumulative values from the latest available award record. Observed obligations and actions reflect Mimir's FY2019 onward transaction window and may omit earlier activity.
Award parties and scope
ContractorIMPERIAL COLLEGE OF SCIENCE, TECHNOLOGY AND MEDICINE
CAGEKC242
CustomerDepartment of the Air Force
Performance locationLONDON, UNITED KINGDOM
Procurement details
First observed actionJan 3, 2019
Latest observed actionAug 1, 2022
PSCAD92
NAICS541715 · Research and Development in the Physical, Engineering, and Life Sciences (except Nanotechnology and Biotechnology)
CompetitionFULL AND OPEN COMPETITION
PricingCOST NO FEE
SolicitationHR001117S0045
Annual observed obligations
FY2019
$371.1K
FY2021
$396.6K
FY2022
$254.5K
Continue exploring
Ask Mimir about FA875018C0095
Continue with this contract award already in context.
ContinueExplore the full award in Mimir
Open the complete action history and connected analysis in the platform.