Silicon Logic Formal Verification - Full Time
2 skills required
Job Details
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.
- 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.
In this position, you will:
Requirements
- Solid understanding of formally specifying and analyzing temporal assertion properties.
- Hands-on experience using model checking tools.
- Experience with interactive theorem provers is a plus.
- Excellent problem-solving skills, along with strong written and verbal communication abilities.
- Excellent organizational skills and high self-motivation.
- Ability to communicate and work well with different design teams.
PhD, Master’s Degree, or Bachelor’s Degree in a technical subject area.
Similar Jobs
Tesla
Fuenlabrada, Community Of Madrid, Spain (On-Site)
• 3 Months ago
Riot Games
Los Angeles, California, United States (On-Site)
• 4 Months ago
bytedance
San Jose, California, United States (On-Site)
• 7 Months ago
New York, New York, United States (On-Site)
• 1 Month ago
Get notifed when new similar jobs are uploaded
Similar Skill Jobs
Get notifed when new similar jobs are uploaded
Jobs in Santa Clara, California, United States
Meta
Bellevue, Washington, United States (On-Site)
• 6 Months ago
Sourcegraph
San Francisco, California, United States (Hybrid)
• 2 Weeks ago
Sony pictures animation
Los Angeles, California, United States (On-Site)
• 2 Weeks ago
FlawlessAi
Santa Monica, California, United States (Hybrid)
• 1 Month ago
Hawk Eye Innovations
Michigan, United States (On-Site)
• 2 Months ago
oportun
Conroe, Texas, United States (On-Site)
• 3 Weeks ago
Get notifed when new similar jobs are uploaded
Research & Development Jobs
Nielsen Holdings
Bengaluru, Karnataka, India (Hybrid)
• 7 Months ago
bytedance
Singapore (On-Site)
• 7 Months ago
Meta
Mountain View, California, United States (On-Site)
• 6 Months ago
Riot Games
Sydney, New South Wales, Australia (On-Site)
• 11 Months ago
![Krafton - [Publishing Platform Div.] Sr. Web Back-End Developer (5년 이상)](/_next/image?url=https%3A%2F%2Fs2-recruiting.cdn.greenhouse.io%2Fexternal_greenhouse_job_boards%2Flogos%2F400%2F963%2F700%2Foriginal%2FKRAFTON_Black.png%3F1629808157&w=256&q=50)
Krafton
Seoul, South Korea (On-Site)
• 6 Months ago
Meta
Redmond, Washington, United States (On-Site)
• 6 Months ago
NVIDIA
Santa Clara, California, United States (On-Site)
• 4 Months ago
Get notifed when new similar jobs are uploaded
