- 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
- 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