Support formal verification methodology development for digital designs. Create test plans and verification environments, formally verify microarchitecture and designs, analyze failures and coverage, and improve functional and formal verification processes. The internship requires SystemVerilog, scripting, UVM or equivalent methodologies, SVA, property-based model checking, and digital or analog design fundamentals.
For over four decades, Cirrus Logic has been propelled by the top engineers in mixed-signal processing. Our rockstar team thrives on solving complex challenges with innovative end-user solutions for the world's top consumer brands. Cirrus Logic is also known for its award-winning culture, which was built on a foundation of inclusion and fairness, meaningful community engagement, and delivering enjoyable employee experiences at every turn. But we couldn’t do it without our extraordinary workforce – and that’s where you come in. Join our team and help us continue to make Cirrus Logic an exceptional place to grow your career!
Cirrus Logic is seeking an intern candidate for our Formal Verification team in Austin, TX. This position is focused on applying Formal Verification to digital designs. It is available to students currently enrolled in a MS or PhD program in Electrical and Computer Engineering. Candidate must be available for full-time employment during the internship.
Responsibilities
- Support the formal verification team to follow, and improve, defined methodology practices.
- Develop test plans and verification methodologies to formally verify the microarchitecture and design.
- Perform failure analysis and resolution, coverage analysis, and population.
- Implement and improve functional and formal verification.
Required Skills and Qualifications:
- Master’s or PhD degree in Electrical or Computer Engineering
- Knowledge in designing and implementing verification environments for module-level designs.
- Excellent communication skills and a collaborative approach to working with team members.
- Proficiency in System Verilog.
- Familiarity with scripting languages such as Python, Perl, TCL, Bash.
- Experienced or knowledge in UVM or equivalent methodologies.
- Knowledge in formal property languages such as SVA.
- Knowledge in property-based model-checking.
- Knowledgeable in signal processing, analog or digital design fundamentals.
Cirrus Logic follows a 2+ day in-office work schedule but interns should expect to be in the office more often, up to 5 days per week, based on business needs and team preference. Interns must be based within commutable distance of the work location listed on the job posting, or willing to relocate prior to beginning their internship with Cirrus Logic.
Export control restrictions based upon applicable laws and regulations would prohibit candidates who are nationals of certain embargoed countries from working in this position without Cirrus Logic first obtaining an export license. Candidates for this role must be able to access technical data without a requirement for an export license. We are unable to sponsor or obtain export licenses for this role.
Cirrus Logic strives to select the best qualified applicant for any opening. Different approaches, ideas and points of view are both valued and respected. Employment decisions are made on the basis of job-related criteria without regard to race, color, religion, sex, national origin, age, protected veteran or disabled status, genetic information, or any other classification protected by applicable law.
Cirrus Logic Austin, Texas, USA Office
Cirrus Logic is nestled in the trendy West 6th neighborhood of Downtown Austin. Steps from our headquarters, you'll find incredible restaurants and nightlife, eclectic boutiques, independent book and record stores and the flagship Whole Foods Market and the Lady Bird Lake hike-and-bike trail.
Cirrus Logic Austin, Texas, USA Office
Cirrus Logic is nestled in the trendy West 6th neighborhood of Downtown Austin. Steps from our headquarters, you'll find incredible restaurants and nightlife, eclectic boutiques, independent book and record stores and the flagship Whole Foods Market and the Lady Bird Lake hike-and-bike trail.
Cirrus Logic Austin, Texas, USA Office
Cirrus Logic is nestled in the trendy West 6th neighborhood of Downtown Austin. Steps from our headquarters, you'll find incredible restaurants and nightlife, eclectic boutiques, independent book and record stores and the flagship Whole Foods Market and the Lady Bird Lake hike-and-bike trail.
Cirrus Logic Austin, Texas, USA Office
Just blocks away from ACL and hike and bike trails. Tons of restaurants and close to public transporation.
Similar Jobs
Cloud • Computer Vision • Information Technology • Sales • Security • Cybersecurity
Delivers virtual and occasional onsite cloud security training covering Falcon Cloud Security, CNAPP, CSPM, CWPP, containers, and incident response. Develops curricula, certification exams, and hands-on labs; maintains expertise in cloud threats and CrowdStrike products; and supports broader endpoint, identity, logging, and SIEM topics. Requires strong technical education, cloud security, communication, project management, AI technology, and occasional travel experience.
Top Skills:
AksAWSAzureBashCi/CdCiemCloudFormationCnappCrowdstrike Falcon Cloud SecurityCspmCwppDevsecopsDockerEksGCPGkeKubernetesLaceworkOracle CloudOrca SecurityPowershellPrisma CloudPythonSIEMSysdigTerraformWiz
Artificial Intelligence • Cloud • Internet of Things • Software • Cybersecurity • Industrial • Industrial Equipment
Develop and support production C/C++ software for operator safety systems on heavy equipment. Responsibilities include sensor and camera integration, perception and data-processing pipelines, operator alerts, diagnostics, machine interaction logic, testing, validation, troubleshooting, architecture, release readiness, and cross-functional collaboration. The role also contributes to software design reviews, field support, technical communication, and mentoring engineers.
Top Skills:
AngularAutomated TestingCC++Camera SystemsCi/CdEmbedded LinuxFigmaGitGnss/GpsGstreamerHardware-In-The-LoopHTML5Image ProcessingInertial SensorsLidarLinuxMachine VisionObject DetectionQtRadarStatic AnalysisStereo VisionThermal ImagingTrackingUltrasonic Sensors
Artificial Intelligence • Cloud • Internet of Things • Software • Cybersecurity • Industrial • Industrial Equipment
Design, build, test, and deploy autonomy components for large off-road machines across perception, planning, control, and learning. Own robotics components from prototype through production on real hardware, contribute across the autonomy stack, and collaborate in outcome-focused teams. The role involves software certification, simulation, on-vehicle deployment, and field robotics in customer environments.
Top Skills:
AIAutonomous VehiclesC++ControlsEdge ComputingMlopsMotion PlanningPerceptionPythonRobotics SimulationRosSlam
What you need to know about the Austin Tech Scene
Austin has a diverse and thriving tech ecosystem thanks to home-grown companies like Dell and major campuses for IBM, AMD and Apple. The state’s flagship university, the University of Texas at Austin, is known for its engineering school, and the city is known for its annual South by Southwest tech and media conference. Austin’s tech scene spans many verticals, but it’s particularly known for hardware, including semiconductors, as well as AI, biotechnology and cloud computing. And its food and music scene, low taxes and favorable climate has made the city a destination for tech workers from across the country.
Key Facts About Austin Tech
- Number of Tech Workers: 180,500; 13.7% of overall workforce (2024 CompTIA survey)
- Major Tech Employers: Dell, IBM, AMD, Apple, Alphabet
- Key Industries: Artificial intelligence, hardware, cloud computing, software, healthtech
- Funding Landscape: $4.5 billion in VC funding in 2024 (Pitchbook)
- Notable Investors: Live Oak Ventures, Austin Ventures, Hinge Capital, Gigafund, KdT Ventures, Next Coast Ventures, Silverton Partners
- Research Centers and Universities: University of Texas, Southwestern University, Texas State University, Center for Complex Quantum Systems, Oden Institute for Computational Engineering and Sciences, Texas Advanced Computing Center
