141 formal-verification-computer-science positions at Brookhaven Lab

Filters Search
  • Brookhaven Lab | Upton, New York | United States | about 16 hours ago

    is to provide support in the Information Security Program for the Security Operations Group (OPSEC). Essential Duties and Responsibilities: Reviews portions of analysis, design and general execution

  • Brookhaven Lab | Upton, New York | United States | about 16 hours ago

    a relevant field (business, computer technology, or database management) may offset qualifying experience, as would an associate’s degree (2:1 basis (college:experience). Must possess strong

  • Brookhaven Lab | Upton, New York | United States | 3 months ago

    , Skills, and Abilities: Requires a High School diploma, GED, or higher. 6-yrs total experience composed of 4-yrs apprenticeship plus 2-yrs experience, or 6-8 yrs. total experience composed of formal trade

  • Brookhaven Lab | Canton, Ohio | United States | 2 months ago

    out R&D programs focused on Electro-Photonics, Quantum Information Science, Artificial Intelligence & Machine Learning, and Neuromorphic Processing that require ASICs with specific layouts

  • Brookhaven Lab | Upton, New York | United States | about 16 hours ago

    program completion at BNL + 6 years’ relevant experience or; a technical high school certification program (e.g. BOCES) + 7 years relevant work experience or; 8 years’ relevant work experience. You are

  • Brookhaven Lab | Upton, New York | United States | about 16 hours ago

    Apply Now Job ID JR101931Date posted 07/22/2025 As a Quality-of-Life Specialist, you will leverage advanced administrative expertise and program-management skills to lead high-profile QOL/BERA

  • Brookhaven Lab | Upton, New York | United States | 23 days ago

    Apply Now Job ID JR101883Date posted 06/18/2025 The AI Department of Computational Data Science (CDS) directorate at Brookhaven National Laboratory (BNL) invites exceptional candidates to apply

  • Brookhaven Lab | Upton, New York | United States | 3 months ago

    Knowledge, Skills, and Abilities: 6-yrs total experience composed of 4-yrs apprenticeship plus 2-yrs experience, or 6-8 yrs. total experience composed of formal trade school plus minimum 2-yrs experience

  • Brookhaven Lab | Upton, New York | United States | about 16 hours ago

    Organization Overview The Facilities & Operations (F&O) Directorate supports Brookhaven National Laboratory’s (BNL) science, technology, and environmental restoration missions by delivering safe

  • Brookhaven Lab | Upton, New York | United States | 15 days ago

    to remove legacy items from EBNN Areas. Following BNL processes, properly dispose of research material and equipment (glass containers, tools, instrumentation, computers, carts, gas cylinders, lecture bottles

Searches related to formal verification computer science

Enter an email to receive alerts for formal-verification-computer-science positions