Safety Analysis Engineer at Oklo designing analyses for reactor safety and reviewing regulatory documents. Collaborating with engineers for key design and licensing deliverables.
About the role
- Formal Verification Engineer developing and supporting advanced formal verification techniques for audio and mixed-signal devices at Cirrus Logic. Collaborating with design and verification teams to enhance methodologies.
Responsibilities
- Develop and enhance formal methodologies to be rolled out to the wider design and verification teams and investigate new capabilities based on formal.
- Mentor engineers in formal verification, developing their talents and understanding of formal techniques and application of formal methodologies.
- Support, and where necessary coach, the verification team to follow, and improve, defined methodology practices.
- Develop test plans and verification methodologies to verify the microarchitecture and design.
- Perform failure analysis and resolution, coverage analysis, and population.
- Implement and improve functional verification.
Requirements
- Master's degree in Electrical or Computer Engineering with 8+ years or PhD in Electrical or Computer Engineering with 5 +years of formal verification experience.
- Proven expertise in designing and implementing formal verification environments for complex IP/module-level designs.
- Demonstrated ability to lead and drive the verification process from inception to completion.
- Excellent communication skills and a collaborative approach to working with team members.
- Proficiency in System Verilog, UVM, or equivalent methodologies.
- Familiarity with scripting languages such as Python, Perl, TCL, Bash.
- Expertise in formal property languages, with SVA knowledge.
- Experience in property-based model-checking.
- Knowledgeable in Signal Processing, analog and digital design fundamentals.
Benefits
- Multicultural team
- Flexible work environment
- Professional development opportunities
Job title
Job type
Experience level
Salary
Not specified
Degree requirement
Tech skills
Location requirements
Engineer I assisting with various civil engineering tasks for water and wastewater systems at Liberty Utilities. Collaborating with engineering staff and applying principles to real - world problems in an office setting.
Maintenance Engineer performing maintenance and installation tasks on machinery for Flowers Foods. Responding to breakdowns and ensuring equipment functionality while upholding company policies.
Ingénieur fiabilisation chargée de la fiabilisation des équipements chez Givaudan. Collaborer avec diverses équipes pour améliorer la disponibilité des installations.
Principal Foundry Engineer responsible for semiconductor manufacturing processes within a silicon foundry. Overseeing process development and collaborating with engineering teams for yield improvements.
Senior SQL Engineer developing data solutions and optimizing SQL for cloud - based platforms. Joining an agile team to support business data requirements using modern DataOps practices.
Forward Deployed Engineer embedding with customer engineering teams to enhance software builds. Responsible for shipping production - grade Cursor workflows and improving software development processes.
Industrialization Project Engineer at GKN Aerospace managing engineering efforts for manufacturing tools and processes. Collaborating with various teams to resolve production issues and implement process enhancements.
Principal Digital Engineer leading digital transformation for defence infrastructure at Babcock. Driving digital engineering strategy across Naval Nuclear programmes in hybrid working arrangements.
Principal Process Engineer at Cavendish Nuclear, providing leadership on bids and project definition. Engineering excellence focused on energy security and national capability in the UK.