{"canonical":"https://abierto.us/opportunities/hr001124s0016hr001125c0305","key":"HR001124S0016HR001125C0305","url":"https://abierto.us/opportunities/hr001124s0016hr001125c0305","title":"HR001125C0305 Continuous-correctness On Opaque Processors (COOP)","solicitation_number":"HR001124S0016-HR001125C0305","notice_type":"a","open":false,"response_deadline":null,"first_posted":"2024-11-06","last_posted":"2024-11-06","department":"DEPT OF DEFENSE","subagency":"DEFENSE ADVANCED RESEARCH PROJECTS AGENCY (DARPA)","office":"DEF ADVANCED RESEARCH PROJECTS AGCY","naics":"541715","psc":"AC13","set_aside":null,"place_state":"NJ","place_county":"34035","place_county_name":"Somerset County","place_city":"3403340","place_city_name":"Basking Ridge","winner":"PERATON LABS INC","award_amount":"2809522","publications":[{"notice_id":"45ef6ff00747476ba93f07a7a223ed69","title":"HR001125C0305 Continuous-correctness On Opaque Processors (COOP)","solicitation_number":"HR001124S0016-HR001125C0305","notice_type":"a","base_type":"a","posted":"2024-11-06","posted_at":null,"due_at":null,"due_date":null,"cancelled":null,"archived":null,"archive_date":"2024-11-21","award_number":"HR0011-25-C-0305","awardee_name":"PERATON LABS INC","amount":"2809522","link_sam":"https://sam.gov/workspace/contract/opp/45ef6ff00747476ba93f07a7a223ed69/view","enriched":false,"history":[]}],"latest_notice_id":"45ef6ff00747476ba93f07a7a223ed69","first_type":"a","notices":[{"award":{"date":"2024-11-05","amount":"2809522","number":"HR0011-25-C-0305","awardee":{"raw":"PERATON LABS INC","name":"PERATON LABS INC"}},"dates":{"posted":"2024-11-06","award_date":"2024-11-05"},"links":{"sam":"https://sam.gov/workspace/contract/opp/45ef6ff00747476ba93f07a7a223ed69/view"},"naics":{"codes":["541715"],"primary":"541715"},"title":"HR001125C0305 Continuous-correctness On Opaque Processors (COOP)","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":"2024-11-21","archive_type":"auto_custom"},"contacts":[{"name":"Pellecer, Christopher","role":"primary","email":"christopher.pellecer@darpa.mil"}],"base_type":{"code":"a","label":"Award Notice"},"notice_id":"45ef6ff00747476ba93f07a7a223ed69","provenance":{"extract":{"url":"https://s3.amazonaws.com/falextracts/Contract%20Opportunities/Archived%20Data/FY2025_archived_opportunities.csv","etag":"\"d47226e3d2c6545974b252e103f82b34-139\"","fetched_at":"2026-09-16T19:12:38.374141Z","row_sha256":"d9de9035add8c359b1110796565b56e62a154c912e6e6ee50414224d9dfc11a1","last_modified":"2026-09-13T14:49:20Z"},"updated_at":"2026-09-16T19:12:38.374141Z","first_seen_at":"2026-09-16T19:12:38.374141Z"},"description":{"text":"Awarding HR001125C0305 valued at $2,809,522.00 to PERATON LABS INC for Continuous-correctness On Opaque Processors (COOP).","origin":"extract"},"notice_type":{"code":"a","label":"Award Notice"},"schema_version":1,"solicitation_number":"HR001124S0016-HR001125C0305","product_service_code":"AC13"}],"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":"NJ","county":"34035","county_name":"Somerset County","city":"3403340","city_name":"Basking Ridge","country":null,"winner_key":"NQKWRHGLTD55","amount":"2809522","linked_awards":1,"cancelled":false,"archived":false,"updated_at":"2026-09-16T21:18:12.857524Z","principal_notice_id":"45ef6ff00747476ba93f07a7a223ed69","description":{"text":"Awarding HR001125C0305 valued at $2,809,522.00 to PERATON LABS INC for Continuous-correctness On Opaque Processors (COOP).","html":null,"origin":"extract"},"contacts":[{"name":"Pellecer, Christopher","role":"primary","email":"christopher.pellecer@darpa.mil"}],"place_of_performance":null,"office_address":{"zip":"222032114","city":"ARLINGTON","state":"VA","country":"USA"},"naics_codes":["541715"],"award":{"date":"2024-11-05","amount":"2809522","number":"HR0011-25-C-0305","awardee":{"raw":"PERATON LABS INC","name":"PERATON LABS INC"}},"attachments":[],"awards":[{"award_key":"CONT_AWD_HR001125C0305_9700_-NONE-_-NONE-","permalink":"https://www.usaspending.gov/award/CONT_AWD_HR001125C0305_9700_-NONE-_-NONE-/","piid":"HR001125C0305","parent_piid":null,"award_type":"DEFINITIVE CONTRACT","vendor_key":"NQKWRHGLTD55","recipient_name":"PERATON LABS INC","recipient_uei":"NQKWRHGLTD55","recipient_cage":"6MN14","recipient_city":"BASKING RIDGE","recipient_state":"NJ","sub_name":"Defense Advanced Research Projects Agency","office_name":"DEF ADVANCED RESEARCH PROJECTS AGCY","office_key":"o-HR0011","first_action_date":"2024-11-05","last_action_date":"2026-05-04","actions":8,"obligated":"1211181.00","current_total_value":"1211181.00","potential_total_value":"1211181.03","naics":"541715","psc":"AC13","extent_competed":"FULL AND OPEN COMPETITION","set_aside":"NO SET ASIDE USED.","offers_received":8,"description":"DARPA RESEARCH PROJECT","method":"piid","confidence":"high","evidence":["award number HR001125C0305 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"}]}