SamSearch

    Closed Solicitation · DEPT OF DEFENSE

    PROVING INSECURITY WITH CIRCUIT COMPILATION AND LOGIC OPTIMIZATION

    Issued by DEFENSE ADVANCED RESEARCH PROJECTS AGENCY · DEF ADVANCED RESEARCH PROJECTS AGCY
    Sol. HR001119S0076Award NoticeARLINGTON, VA
    Closed
    STATUS
    Closed
    —
    POSTED
    Mar 31, 2020
    Publication date
    NAICS CODE
    541715
    Primary industry classification
    PSC CODE
    —
    Product & service classification

    AI Summary

    The Department of Defense, through DARPA, is seeking proposals for research focused on proving insecurity through circuit compilation and logic optimization. This opportunity is categorized as a Source Sought notice, aimed at identifying potential bidders with expertise in defense research and circuit design.

    Contract details

    Solicitation No.
    HR001119S0076
    Notice Type
    Award Notice
    Posted Date
    March 31, 2020
    Response Deadline
    —
    NAICS Code
    541715AI guide
    Issuing Office
    DEF ADVANCED RESEARCH PROJECTS AGCY
    Sub-Agency
    DEFENSE ADVANCED RESEARCH PROJECTS AGENCY
    Agency
    DEPT OF DEFENSE
    City
    ARLINGTON
    State
    VA
    ZIP Code
    222032114
    AI Product/Service
    service

    Award information

    Awardee
    TRAIL OF BITS, INC.
    Award Date
    —

    Key dates

    1. March 31, 2020Posted Date

    AI search tags

    defense researchcircuit designlogic optimizationsecurity analysis

    Frequently asked questions

    PROVING INSECURITY WITH CIRCUIT COMPILATION AND LOGIC OPTIMIZATION is a federal contract award from DEPT OF DEFENSE. Review the award details including the awardee, contract value, and NAICS code.

    SamSearch Platform

    Stop searching. Start winning.

    AI-powered intelligence for the right opportunities, the right leads, and the right time.

    Book a Demo