Venus: formal verification for neural systems
Award Notice Posted
- Solicitation number
- Not on record
- Agency
-
Air Force Research Laboratory
Air Force Materiel Command, Department of Defense
- Set-aside
- No set-aside
Opportunity facts
- Contract number
- FA875018C0095 Federal contract award
- NAICS code
- 541715 Research and Development in the Physical, Engineering, and Life Sciences (except Nanotechnology and Biotechnology)
- PSC
- Not on record
Notice details come from SAM.gov. Updated .
Notice text
Awarded Vendors: IMPERIAL COLLEGE OF SCIENCE, TECHNOLOGY AND MEDICINE IMPERIAL COLLEGE. Contract Award Dollar Amount: $1,354,615.00. Contract Award Date: 2018-07-09.
On GovTribe
Work this opportunity
- Track it in your pipeline
- Find teaming partners
- Similar opportunities
- Ask GovTribe AI about this opportunity