Silicon Formal Verification - Intern
About the job
Job Description
Not hearing back from companies?
Unlock the secrets to a successful job application and accelerate your journey to your next opportunity.
Positions are open for full-time and co-op/internship roles in the areas of formal verification of CPU, Fabric, and Accelerator design.
Responsibilities
- As a Formal Verification Engineer, you will be involved in the formal verification of the architecture and microarchitecture of a high-performance RISC-V core, a coherent fabric, and an accelerator design. In this position, you will:
- Work with architects and RTL design engineers to identify, specify, and verify artifacts amenable to formal analysis.
- Prove functional and security properties of the design, find design bugs, and work closely with design teams to deliver high-quality designs.
- Develop sound formal abstract models for verifying system-level properties like deadlock freedom and non-starvation using formal methods.
- Develop innovative flows using formal methods in conjunction with simulation-based techniques for effective bug hunting.
- Develop reusable and scalable proof techniques.
Requirements
- Understanding of formally specifying and analyzing temporal assertion properties.
- Experience with model checking/interactive theorem provers.
Education and Experience
PhD, Master’s Degree, or Bachelor’s Degree in a technical subject area.
View Full Job Description
Add your resume
80%
Upload your resume, increase your shortlisting chances by 80%
Similar Jobs
Ceragon Networks, India (On-Site)
Zoox, United States (Hybrid)
RedBloxio, India (On-Site)
Cadence, India (On-Site)
Wind River Systems, India (On-Site)
Get notifed when new similar jobs are uploaded
Research & Development Jobs
ByteDance, United States (On-Site)
DigitalFish, United States (Hybrid)
Rivos, Taiwan (Hybrid)
Google, (On-Site)
Ubisoft, France (Hybrid)
Riot Games, Ireland (On-Site)
Fabric, France (Remote)
Intel Corporation, United States (On-Site)
Google, Poland (On-Site)
Google, Taiwan (On-Site)
Get notifed when new similar jobs are uploaded
