Home » Tenders » Americas » USA » Proof Engineering, Adaptation, Repair, and Learning for Software (Pearls) Tender

Proof Engineering, Adaptation, Repair, and Learning for Software (Pearls) Tender

DEPT OF DEFENSE has floated a tender for Proof Engineering, Adaptation, Repair, and Learning for Software (Pearls). The project location is USA and the tender is closing on 02 Dec 2021. The tender notice number is DARPA-PA-21-04-04, while the TOT Ref Number is 59470847. Bidders can have further information about the Tender and can request the complete Tender document by Registering on the site.

Procurement Summary

Country : USA

Summary : Proof Engineering, Adaptation, Repair, and Learning for Software (Pearls)

Deadline : 02 Dec 2021

Other Information

Notice Type : Tender

TOT Ref.No.: 59470847

Document Ref. No. : DARPA-PA-21-04-04

Competition : ICB

Financier : Self Financed

Purchaser Ownership : -

Tender Value : Refer Document

Purchaser's Detail

Purchaser : DEPT OF DEFENSE
Contracting Office Address : ARLINGTON, VA 222032114
Primary Point of Contact : BAA Coordinator
PEARLS@darpa.mil

USA
Email :pearls@darpa.mil

Tender Details

Proof Engineering, Adaptation, Repair, and Learning for Software (PEARLS)

Active Contract Opportunity

Notice ID : DARPA-PA-21-04-04

Related Notice

Department/Ind. Agency : DEPT OF DEFENSE

Sub-tier : DEFENSE ADVANCED RESEARCH PROJECTS AGENCY (DARPA)

Office : DEF ADVANCED RESEARCH PROJECTS AGCY

General Information

Contract Opportunity Type: Presolicitation (Original)

All Dates/Times are: (UTC-04:00) EASTERN STANDARD TIME, NEW YORK, USA

Original Published Date: Nov 03, 2021 12:21 pm EDT

Original Response Date: Dec 02, 2021 04:00 pm EST

Inactive Policy: Manual

Original Inactive Date: Jan 01, 2022

Initiative: None

Classification

Original Set Aside:

Product Service Code: AC11 - National Defense R&D Services; Department of Defense - Military; Basic Research

NAICS Code: 541715 - Research and Development in the Physical, Engineering, and Life Sciences (except Nanotechnology and Biotechnology)

Place of Performance:

Description

The Defense Advanced Research Projects Agency (DARPA) is issuing an Artificial Intelligence Exploration (AIE) Opportunity inviting submissions of innovative basic or applied research concepts in the technical domain of Formal Methods. The Proof Engineering, Adaptation, Repair, and Learning for Software (PEARLS) Opportunity aims to explore the use of AI and machine learning (ML) to support, and if possible automate, the generation and maintenance of proofs used in the fo...