- NVIDIA (Santa Clara, CA)
- We're now looking for a Formal Verification Intern . NVIDIA is seeking elite Formal Verification Engineering Interns to help verify the design and ... BS, MS, or PhD in EE/CS or related area. + You're passionate about low formal verification . + Background with HW design principles. + Strong analytical skills… more
- Sandia National Laboratories (Livermore, CA)
- What Your Job Will Be Like: We are seeking a summer , graduate level intern to help with our formal methods research and development. As an intern in ... Formal Systems Specification and Model Based Design + Formal verification of systems software (compilers and...started your graduate program, please apply to an undergraduate intern position. Salary Range: At Sandia, we value the… more
- Sandia National Laboratories (Livermore, CA)
- …Be Like: We are seeking a CA Center for Cyber Defenders (CCD) R&D Undergraduate Summer Intern CCD's mission is to build the next generation of cyber security ... included in your offer package. You can view the Intern Pay Rate chart here (https://www.sandia.gov/app/uploads/sites/51/2024/10/Student-Rate-Sheet-Sept-2024.pdf) . Qualifications We… more
- Microsoft Corporation (Mountain View, CA)
- …on basic and applied research in networked systems, including network security, verification , sensing, mobile computing and emerging networking challenges in the age ... and many more. NRG members collaborate with adjacent research groups in systems, formal methods, optimization and security. You can see our recent publications at:… more