SRI’s Computer Science Laboratory develops leading-edge tools and methods for areas including computer security, high-assurance systems, advanced user interfaces, computer networking, robotics, biotechnology, and nanotechnology. We study the logical foundations of scalable systems beyond the scope of traditional testing or simulation, and we create and apply high-level tools for rigorous mechanical analysis.

The Computer Science Laboratory is looking to hire an intern for the summer 2025 in the field of Formal Methods, specifically symbolic model-checking and SMT-solving. The intern can work a hybrid schedule based in our Menlo Park, CA office or, if not local, can work remotely.

• Deploy SRI’s symbolic model-checking technology to a stateful computation platform used to build Systems of Systems (SoS), including the development of an encoding of the platform’s model of computation into a state machine representation.
• Tune, adapt, and further develop SRI’s symbolic model-checking technology to address the needs of the application; this will likely involve invariant generation for a number of SMT theories including bitvectors.
• Tune, adapt, and further develop SRI’s SMT-solving technology to address the uncovered model-checking needs in terms of SMT-solving; that will likely involve working on interpolation for bitvectors.
• Prepare SRI’s symbolic model-checking technology to the 2025 hardware model-checking competition (HWMCC’2025)

• Current PhD student majoring in Computer Science or a related field
• Due to government requirements candidates must be a US Citizen
• Track record of novel contributions to the field of infinite-state model-checking, particularly in interface languages or APIs for querying symbolic model-checking technology
• Previouus work/internships experience in industry/outside of academia
• Experience with
  • Querying SMT-solving technology
  • Usability and trust for complex safety-critical systems, particularly DoD-relevant, embedded software

The salary range is: $40-$45/hr. Salary ranges will vary and are based on several factors, including geographic location, market competitiveness and equity amongst internal employees in similar roles. Positions may also qualify for SRI's Pay for Outstanding Performance program or the annual Performance Based Compensation program. SRI also has a competitive benefits package, to view details please go to https://www.sri.com/resources/benefits/. SRI will accept applications until the position is filled.

SRI is an independent nonprofit research institute headquartered in Menlo Park, Calif., with a rich history of supporting government and industry. We create and deliver world-changing solutions for a safer, healthier, and more sustainable future. For more than 75 years, we have collaborated across technical and scientific disciplines to discover and develop groundbreaking products and technologies and bring innovations and ideas to the marketplace.