The page you are requesting does not exist. You can start your search here!

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

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

    facilities in specialized high technology areas essential for this work. Development of facilities is motivated by present Brookhaven research programs and anticipated future directions of research. Our work

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

    . The directorate includes the Accelerator Science & Technology Department, the Instrumentation Department, the Superconducting Magnet Division (SMD), and the being-formed Quantum Information Science and Technology

  • Brookhaven Lab | Upton, New York | United States | about 23 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 | Canton, Ohio | United States | 3 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 23 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 | about 23 hours ago

    (HL-LHC) upgrade. BNL serves as the host laboratory for the U.S. ATLAS Operations Program, the U.S. ATLAS HL-LHC Upgrade Project, the ATLAS Tier-1 computing facility, and is an active U.S. ATLAS Center

  • Brookhaven Lab | Upton, New York | United States | about 23 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 23 hours ago

    advanced computational techniques. Application of strong analytical and critical thinking skills and problem-solving efforts to formulate high-quality research ideas and directions in collaboration with

  • Brookhaven Lab | Upton, New York | United States | about 1 month 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 | 4 days 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

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