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 Intern, 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:
- Prove functional and security properties of the design, find design bugs
- Develop reusable and scalable proof techniques.
Requirements
- Experience with model checking/interactive theorem provers
- Coursework or experience in formal methods
- Knowledge of declarative programming language
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 • Cloud • Digital Media • Information Technology • Mobile • News + Entertainment • Retail
Manage projects within the Billing & Credit team, communicate with stakeholders, document processes, and implement system improvements for customer billing accuracy.
Top Skills:
Draw.IoGoogle SuiteHiveJIRALucidchartMicrosoft AccessMicrosoft Office ApplicationsSQL
Aerospace • Cloud • Digital Media • Information Technology • Mobile • News + Entertainment • Retail
Lead the adoption of portfolio management methodologies, collaborate on strategic roadmaps, and drive IT project intake processes to align technology with business goals.
Top Skills:
Agile MethodologiesJIRASdlcServicenow
Aerospace • Cloud • Digital Media • Information Technology • Mobile • News + Entertainment • Retail
The role involves managing automated security tooling, overseeing vulnerability management, integrating secure practices into development, and collaborating across teams to improve security posture.
Top Skills:
AWSAzureAzure DevopsBashCi/Cd PipelinesDockerGCPGithub ActionsGitlabGoJavaScriptJenkinsKubernetesPalo Alto Cortex/Prisma/Xsiam/XsoarPowershellPrismaPythonRapid7SnykSonarqubeTenableTerraformVeracode
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
