{"canonical":"https://abierto.us/opportunities/hr001125s0002hr001126ce068","key":"HR001125S0002HR001126CE068","url":"https://abierto.us/opportunities/hr001125s0002hr001126ce068","title":"HR001126CE068 Code-to-model Analysis Ready for Verification Engines (CARVE)","solicitation_number":"HR001125S0002-HR001126CE068","notice_type":"a","open":false,"response_deadline":null,"first_posted":"2026-05-11","last_posted":"2026-05-11","department":"DEPT OF DEFENSE","subagency":"DEFENSE ADVANCED RESEARCH PROJECTS AGENCY (DARPA)","office":"DEF ADVANCED RESEARCH PROJECTS AGCY","naics":"541715","psc":"AC11","set_aside":null,"place_state":"VA","place_county":"51059","place_county_name":"Fairfax County","place_city":null,"place_city_name":null,"winner":"RIVERSIDE RESEARCH INSTITUTE","award_amount":"734721.00","publications":[{"notice_id":"6b9fec2c508c4fb29d32e51bf23f7109","title":"HR001126CE068 Code-to-model Analysis Ready for Verification Engines (CARVE)","solicitation_number":"HR001125S0002-HR001126CE068","notice_type":"a","base_type":"a","posted":"2026-05-11","posted_at":null,"due_at":null,"due_date":null,"cancelled":null,"archived":null,"archive_date":"2026-05-23","award_number":"HR001126CE068","awardee_name":"RIVERSIDE RESEARCH INSTITUTE Fairfax","amount":"734721.00","link_sam":"https://sam.gov/workspace/contract/opp/6b9fec2c508c4fb29d32e51bf23f7109/view","enriched":false,"history":[]}],"latest_notice_id":"6b9fec2c508c4fb29d32e51bf23f7109","first_type":"a","notices":[{"award":{"date":"2026-05-08","amount":"734721.00","number":"HR001126CE068","awardee":{"raw":"RIVERSIDE RESEARCH INSTITUTE Fairfax VA 22033 USA","name":"RIVERSIDE RESEARCH INSTITUTE Fairfax","location":{"zip":"22033","state":{"code":"VA"},"country":{"code":"USA"}}}},"dates":{"posted":"2026-05-11","award_date":"2026-05-08"},"links":{"sam":"https://sam.gov/workspace/contract/opp/6b9fec2c508c4fb29d32e51bf23f7109/view"},"naics":{"codes":["541715"],"primary":"541715"},"title":"HR001126CE068 Code-to-model Analysis Ready for Verification Engines (CARVE)","agency":{"office":{"code":"HR0011","name":"DEF ADVANCED RESEARCH PROJECTS AGCY"},"subtier":{"code":"97AE","name":"DEFENSE ADVANCED RESEARCH PROJECTS AGENCY (DARPA)"},"department":{"code":"097","name":"DEPT OF DEFENSE"},"office_address":{"zip":"222032114","city":"ARLINGTON","state":"VA","country":"USA"},"organization_type":"OFFICE"},"status":{"active":false,"archive_date":"2026-05-23","archive_type":"auto15"},"contacts":[{"name":"Etedali, Ali B","role":"primary","email":"ali.etedali@darpa.mil"}],"base_type":{"code":"a","label":"Award Notice"},"notice_id":"6b9fec2c508c4fb29d32e51bf23f7109","provenance":{"extract":{"url":"https://s3.amazonaws.com/falextracts/Contract%20Opportunities/Archived%20Data/FY2026_archived_opportunities.csv","etag":"\"d9374b90a938e9923d910594731b7b57-106\"","fetched_at":"2026-09-16T16:22:53.920682Z","row_sha256":"cab3454bf41a347f8b39adb893dc87e4740aea23dac6562bf9a9304c425d246b","last_modified":"2026-09-13T14:50:39Z"},"updated_at":"2026-09-16T16:22:53.920682Z","first_seen_at":"2026-09-16T16:22:53.920682Z"},"description":{"text":"Code-to-model Analysis Ready for Verification Engines (CARVE)","origin":"extract"},"notice_type":{"code":"a","label":"Award Notice"},"schema_version":1,"solicitation_number":"HR001125S0002-HR001126CE068","place_of_performance":{"zip":"22033","city":{"name":"Fairfax"},"state":{"code":"VA"},"country":{"code":"USA"}},"product_service_code":"AC11"}],"due_at":null,"due_date":null,"closes_at":null,"awardable":false,"dept_key":"d-097","dept_name":"DEPT OF DEFENSE","sub_key":"s-97AE","sub_name":"DEFENSE ADVANCED RESEARCH PROJECTS AGENCY (DARPA)","office_key":"o-HR0011","office_name":"DEF ADVANCED RESEARCH PROJECTS AGCY","state":"VA","county":"51059","county_name":"Fairfax County","city":null,"city_name":null,"country":"USA","winner_key":"HRH1XLHY1XJ3","amount":"734721.00","linked_awards":1,"cancelled":false,"archived":false,"updated_at":"2026-09-16T21:18:12.857524Z","principal_notice_id":"6b9fec2c508c4fb29d32e51bf23f7109","description":{"text":"Code-to-model Analysis Ready for Verification Engines (CARVE)","html":null,"origin":"extract"},"contacts":[{"name":"Etedali, Ali B","role":"primary","email":"ali.etedali@darpa.mil"}],"place_of_performance":{"zip":"22033","city":{"name":"Fairfax"},"state":{"code":"VA"},"country":{"code":"USA"}},"office_address":{"zip":"222032114","city":"ARLINGTON","state":"VA","country":"USA"},"naics_codes":["541715"],"award":{"date":"2026-05-08","amount":"734721.00","number":"HR001126CE068","awardee":{"raw":"RIVERSIDE RESEARCH INSTITUTE Fairfax VA 22033 USA","name":"RIVERSIDE RESEARCH INSTITUTE Fairfax","location":{"zip":"22033","state":{"code":"VA"},"country":{"code":"USA"}}}},"attachments":[],"awards":[{"award_key":"CONT_AWD_HR001126CE068_9700_-NONE-_-NONE-","permalink":"https://www.usaspending.gov/award/CONT_AWD_HR001126CE068_9700_-NONE-_-NONE-/","piid":"HR001126CE068","parent_piid":null,"award_type":"DEFINITIVE CONTRACT","vendor_key":"HRH1XLHY1XJ3","recipient_name":"RIVERSIDE RESEARCH INSTITUTE","recipient_uei":"HRH1XLHY1XJ3","recipient_cage":"1G356","recipient_city":"FAIRFAX","recipient_state":"VA","sub_name":"Defense Advanced Research Projects Agency","office_name":"DEF ADVANCED RESEARCH PROJECTS AGCY","office_key":"o-HR0011","first_action_date":"2026-05-08","last_action_date":"2026-06-01","actions":2,"obligated":"484721.00","current_total_value":"734721.00","potential_total_value":"734721.00","naics":"541715","psc":"AC11","extent_competed":"FULL AND OPEN COMPETITION","set_aside":"NO SET ASIDE USED.","offers_received":83,"description":"CODE-TO-MODEL ANALYSIS READY FOR VERIFICATION ENGINES (CARVE)","method":"piid","confidence":"high","evidence":["award number HR001126CE068 equals the contract number","same awarding office HR0011"],"opportunity_key":null,"opportunity_title":null}],"related":[{"key":"DARPAPS26127","latest_notice_id":"28c9f34927a841ebbe0c251b88c0947b","title":"Perrseus","solicitation_number":"DARPA-PS-26-127","notice_type":"o","first_type":"o","first_posted":"2026-07-15","last_posted":"2026-09-17","notices":16,"due_at":null,"due_date":"2026-09-23","closes_at":"2026-09-24T00:00:00Z","awardable":true,"open":true,"dept_key":"d-097","dept_name":"DEPT OF DEFENSE","sub_key":"s-97AE","sub_name":"DEFENSE ADVANCED RESEARCH PROJECTS AGENCY (DARPA)","office_key":"o-HR0011","office_name":"DEF ADVANCED RESEARCH PROJECTS AGCY","naics":"541715","psc":"AC12","set_aside":null,"state":null,"county":null,"county_name":null,"city":null,"city_name":null,"country":null,"winner":null,"winner_key":null,"amount":null,"linked_awards":0,"cancelled":false,"archived":false,"updated_at":"2026-09-18T04:00:44.545196Z"},{"key":"HR001126S0003","latest_notice_id":"8d403582edfd409795560247e8d229b7","title":"Biological Technologies","solicitation_number":"HR001126S0003","notice_type":"o","first_type":"o","first_posted":"2025-10-01","last_posted":"2025-10-01","notices":1,"due_at":null,"due_date":"2026-09-30","closes_at":"2026-10-01T00:00:00Z","awardable":true,"open":true,"dept_key":"d-097","dept_name":"DEPT OF DEFENSE","sub_key":"s-97AE","sub_name":"DEFENSE ADVANCED RESEARCH PROJECTS AGENCY (DARPA)","office_key":"o-HR0011","office_name":"DEF ADVANCED RESEARCH PROJECTS AGCY","naics":"541714","psc":"AC11","set_aside":null,"state":null,"county":null,"county_name":null,"city":null,"city_name":null,"country":null,"winner":null,"winner_key":null,"amount":null,"linked_awards":0,"cancelled":false,"archived":false,"updated_at":"2026-09-16T21:18:12.857524Z"},{"key":"HR001126S0016","latest_notice_id":"5b497934e0474b72bbf7e03d8babb571","title":"Precision Inertial Navigation & Positioning On an Integrated Tesseract (PINPOINT)","solicitation_number":"HR001126S0016","notice_type":"o","first_type":"o","first_posted":"2026-08-06","last_posted":"2026-09-10","notices":3,"due_at":null,"due_date":"2026-10-02","closes_at":"2026-10-03T00:00:00Z","awardable":true,"open":true,"dept_key":"d-097","dept_name":"DEPT OF DEFENSE","sub_key":"s-97AE","sub_name":"DEFENSE ADVANCED RESEARCH PROJECTS AGENCY (DARPA)","office_key":"o-HR0011","office_name":"DEF ADVANCED RESEARCH PROJECTS AGCY","naics":"541715","psc":"AC12","set_aside":null,"state":null,"county":null,"county_name":null,"city":null,"city_name":null,"country":null,"winner":null,"winner_key":null,"amount":null,"linked_awards":0,"cancelled":false,"archived":false,"updated_at":"2026-09-16T21:18:12.857524Z"},{"key":"DARPAPA250706","latest_notice_id":"3ac25ac710fb438e8d25d99783cee845","title":"Selective Harnessing of Intrinsic Neuroplasticity Engineering (SHINE)","solicitation_number":"DARPA-PA-25-07-06","notice_type":"o","first_type":"o","first_posted":"2026-08-28","last_posted":"2026-09-03","notices":2,"due_at":null,"due_date":"2026-10-09","closes_at":"2026-10-10T00:00:00Z","awardable":true,"open":true,"dept_key":"d-097","dept_name":"DEPT OF DEFENSE","sub_key":"s-97AE","sub_name":"DEFENSE ADVANCED RESEARCH PROJECTS AGENCY (DARPA)","office_key":"o-HR0011","office_name":"DEF ADVANCED RESEARCH PROJECTS AGCY","naics":"541715","psc":"AC11","set_aside":null,"state":null,"county":null,"county_name":null,"city":null,"city_name":null,"country":null,"winner":null,"winner_key":null,"amount":null,"linked_awards":0,"cancelled":false,"archived":false,"updated_at":"2026-09-16T21:18:12.857524Z"},{"key":"DARPAPA250704","latest_notice_id":"f0e3e0d303254053922d9b2c7a67e878","title":"Resilient","solicitation_number":"DARPA-PA-25-07-04","notice_type":"o","first_type":"o","first_posted":"2026-08-20","last_posted":"2026-09-04","notices":3,"due_at":null,"due_date":"2026-10-19","closes_at":"2026-10-20T00:00:00Z","awardable":true,"open":true,"dept_key":"d-097","dept_name":"DEPT OF DEFENSE","sub_key":"s-97AE","sub_name":"DEFENSE ADVANCED RESEARCH PROJECTS AGENCY (DARPA)","office_key":"o-HR0011","office_name":"DEF ADVANCED RESEARCH PROJECTS AGCY","naics":"541715","psc":"AC12","set_aside":null,"state":null,"county":null,"county_name":null,"city":null,"city_name":null,"country":null,"winner":null,"winner_key":null,"amount":null,"linked_awards":0,"cancelled":false,"archived":false,"updated_at":"2026-09-16T21:18:12.857524Z"}]}