Silicon Logic Formal Verification - Full TimeRivos • Santa Clara, CA, United States
Silicon Logic Formal Verification - Full Time
Rivos • Santa Clara, CA, United States
1 day ago
Job type
- Full-time
Job descriptionWork 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. 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.
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 :
Requirements
PhD, Master's Degree, or Bachelor's Degree in a technical subject area.
We may use artificial intelligence (AI) tools to support parts of the hiring process, such as reviewing applications, analyzing resumes, or assessing responses. These tools assist our recruitment team but do not replace human judgment. Final hiring decisions are ultimately made by humans. If you would like more information about how your data is processed, please contact us.
Create a job alert for this search
Silicon Verification • Santa Clara, CA, United States
Related jobs
You will conduct, to the highest level of quality, a range of field testing and sampling.Indoor Environment Quality (IEQ).
It may also include pollutants in water, soil and air.You will be expected ...Show more
Looking for Fresh Eyes - Paid Study Opportunity! (Fremont, CA).We have launched a new, in-person testing opportunity - get ready for Project ONYX.
No experience? No problem! Everyone is welcome to a...Show more
Visa is a world leader in digital payments, facilitating more than 215 billion payments transactions between consumers, merchants, financial institutions and government entities across more than 20...Show more
Title : High Voltage Test Technician - Power Systems.Office location : San Jose, CA 95134 (onsite, no traveling required).
Contract term length : 24 weeks (possibility to extend for 2 months, no opport...Show more Looking for Fresh Eyes - Paid Study Opportunity! (Fremont, CA).We have launched a new, in-person testing opportunity - get ready for Project ONYX.
No experience? No problem! Everyone is welcome to a...Show more You will conduct, to the highest level of quality, a range of field testing and sampling.Indoor Environment Quality (IEQ).
It may also include pollutants in water, soil and air.You will be expected ...Show more Looking for Fresh Eyes - Paid Study Opportunity! (Fremont, CA).We have launched a new, in-person testing opportunity - get ready for Project ONYX.
No experience? No problem! Everyone is welcome to a...Show more 
Delivering mission-critical, electronic solutions that protect lives.Use your creativity and critical thinking to take our products from concept to customer.
At CAES by Honeywell, we engineer soluti...Show more
FST Technical Services was founded in 1984 to serve the needs of the growing, worldwide Semiconductor / Microelectronics () and Life Sciences () industries.
We began as an independent interface betw...Show more
Functional Test Lead - (Job Number : 00054497011).Cognizant is one of the world's leading professional services companies, transforming clients' business, operating, and technology models for the di...Show more
Looking to join a clean, fast-paced, high-tech environment where every detail counts? We're seeking a Parts Processing Technician to help support our client's critical production operations.If you'...Show more
Sanmina Corporation (Nasdaq : SANM) is a leading integrated manufacturing solutions provider serving the fastest growing segments of the global Electronics Manufacturing Services (EMS) market.Recogn...Show more
We are seeking an experienced ServiceNow ITOM Tester to validate and ensure the quality of IT Operations Management ...Show more
Perform inspections of purchased parts according to acceptance criteria using standard sampling plan.Able to perform First Article Inspection (FAI) of manufactured parts, electromechanical assembli...Show more
A company is looking for a QA Analyst focused on Android.Key Responsibilities Execute manual test cases for new features, bug fixes, and regression testing on Android applications Perform functi...Show more
Job Position : Manufacturing Test Technician.Job Location - Santa Clara, CA.We are now looking for a Manufacturing Test Technician.
You will be joining the Test Solution Group to develop and deploy m...Show more A company is looking for a QA Test Lead.Key Responsibilities Lead the entire QA lifecycle, from test strategy definition to deployment sign-off Design and execute test plans for validating new S...Show more 
Direct Production (DP) covers the overall manufacturing operations of Nokia.Contains the direction and monitoring of business' operational processes concerning production, man and machinery perform...Show more
Field Testing Associate FullTime
CETEC Foray, LLC • San Francisco, CA, United States
Full-time +1
Last updated: 30+ days ago • Promoted
Testers Needed! Fun, Simple Study In-Person, $50 / hr + Referral Bonus
uTest by Applause • Milpitas, CA, US
Full-time +1
Last updated: 1 day ago • Promoted
Test Req
Visa • Union City, CA, United States
Full-time
Last updated: 30+ days ago • Promoted
High Voltage Test Technician
TalentBurst • San Jose, CA, United States
Full-time
Last updated: 1 day ago • Promoted
Get Paid to Test In-Person Study in Fremont ($50 / hr)
uTest by Applause • Livermore, CA, US
Full-time +1
Last updated: 1 day ago • Promoted
Field Testing Associate (Full-Time)
CETEC Foray, LLC • San Francisco, CA, United States
Full-time +1
Last updated: 1 day ago • Promoted
Product Testing Participants Needed! No Experience - $50 / hr
uTest by Applause • Redwood City, CA, US
Full-time +1
Last updated: 1 day ago • Promoted
Production Test Technician
CAES • San Jose, CA, United States
Full-time
Last updated: 1 day ago • Promoted
Analytical Test Technician
FST Technical Services • Sunnyvale, CA, United States
Full-time
Last updated: 1 day ago • Promoted
Functional Test Lead
cognizant technologies • Menlo Park, CA, United States
Full-time
Last updated: 10 hours ago • Promoted • New!
Quality Technician
Staffmark Group • Fremont, CA, United States
Full-time
Last updated: 3 days ago • Promoted
Functional Test Technician
Sanmina • San Jose, CA, United States
Full-time
Last updated: 1 day ago • Promoted
ITOM ServiceNow Testers
Purple Drive • San Francisco, CA, California, USA
Full-time
Last updated: 12 hours ago • New!
QC Inspector
Zoetis, Inc • Union City, CA, United States
Full-time
Last updated: 30+ days ago • Promoted
QA Analyst, Android
VirtualVocations • Fremont, California, United States
Full-time
Last updated: 1 day ago • Promoted
Manufacturing Test Technician
Diverse Lynx • Santa Clara, CA, United States
Full-time
Last updated: 1 day ago • Promoted
California Licensed QA Test Lead
VirtualVocations • Fremont, California, United States
Full-time
Last updated: 6 days ago • Promoted
PIC Manufacturing Test Technician
Nokia • Sunnyvale, CA, United States
Full-time
Last updated: 1 day ago • Promoted