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

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

    are conducted in compliance with BSA’s Prime Contract, applicable statutes and regulations, and in accordance with the highest ethics and standards. Oversight of BNL Property Management Program to effectively

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

    Knowledge, Skills, and Abilities: Requires a high school diploma or equivalent plus: A BS degree in a relevant technical field or Completion of the BNL CCI program, a technical institute or Adult BOCES

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

    sciences, and nanoscience. To support this program, the NSLSII must design, fabricate, assemble, test, install, and operate unique research equipment to generate, transport, transfer, accelerate and focus

  • Brookhaven Lab | Upton, New York | United States | 1 day ago

    the equivalent tools associated with the EIC Project scope. Required Knowledge, Skills, and Abilities: BA/BS Degree (or equivalent experience), preferably in Computer Science or a related discipline At least ten

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

    Apply Now Job ID JR101954Date posted 08/12/2025 Serves as a subject matter expert responsible for developing, implementing, and managing a Controlled Unclassified Information (CUI) program in

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

    are conducted in compliance with BSA’s Prime Contract, applicable statutes and regulations, and in accordance with the highest ethics and standards Oversight of BNL Property Management Program to effectively

  • Brookhaven Lab | Upton, New York | United States | 1 day ago

    The Data Science and System Integration (DSSI) Division of the National Synchrotron Light Source II (NSLS-II) is responsible for ensuring reliable controls and data infrastructure enabling users

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

    strong interest in and experience with the LHC scientific program This position has a high level of interaction with an international and multicultural scientific community. The Omega Group in the Physics

  • Brookhaven Lab | Upton, New York | United States | 15 days 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

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