As a Formal Verification Intern, you will analyze CPU architecture and microarchitecture, proving properties and developing models using formal methods.
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.
Top Skills
Formal Verification
Model Checking
Risc-V
Theorem Provers
Similar Jobs
Aerospace • Artificial Intelligence • Hardware • Machine Learning • Software • Defense
The Principal Supply Chain Analyst will analyze supply chain data, improve processes, support planning, and manage vendor relations to optimize operations for special programs.
Top Skills:
Erp Systems
Fintech • Financial Services
As a Part-Time Teller at Wells Fargo, you will engage with customers, process transactions, provide financial solutions, and adhere to operational guidelines. This role requires strong customer interaction and compliance with bank procedures while supporting local communities.
Fintech • Financial Services
As a Teller, you'll process transactions, support customers, minimize risks, and help build relationships while following banking procedures.
Top Skills:
Banking OperationsDigital SolutionsMobile Banking
What you need to know about the Colorado Tech Scene
With a business-friendly climate and research universities like CU Boulder and Colorado State, Colorado has made a name for itself as a startup ecosystem. The state boasts a skilled workforce and high quality of life thanks to its affordable housing, vibrant cultural scene and unparalleled opportunities for outdoor recreation. Colorado is also home to the National Renewable Energy Laboratory, helping cement its status as a hub for renewable energy innovation.
Key Facts About Colorado Tech
- Number of Tech Workers: 260,000; 8.5% of overall workforce (2024 CompTIA survey)
- Major Tech Employers: Lockheed Martin, Century Link, Comcast, BAE Systems, Level 3
- Key Industries: Software, artificial intelligence, aerospace, e-commerce, fintech, healthtech
- Funding Landscape: $4.9 billion in VC funding in 2024 (Pitchbook)
- Notable Investors: Access Venture Partners, Ridgeline Ventures, Techstars, Blackhorn Ventures
- Research Centers and Universities: Colorado School of Mines, University of Colorado Boulder, University of Denver, Colorado State University, Mesa Laboratory, Space Science Institute, National Center for Atmospheric Research, National Renewable Energy Laboratory, Gottlieb Institute
