Semiconductor Device Modeling Engineer at Intel shaping the future of technology. Supporting compact modeling activities and enabling design teams to deliver innovative products for data - centric applications.
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
Electrical Engineer specializing in Electrical Calculations for energy generation projects at EAG. Responsible for designing and analyzing electrical systems in diverse energy facilities.
Junior Telecommunications Engineer at EAG managing telecommunications and security systems in infrastructure projects. Available in Madrid office with hybrid work flexibility.
Virtualization Backup Engineer providing technical support for data resilience solutions at Veeam. Responsible for troubleshooting and customer issue resolution across various platforms and environments.
Safety Engineer conducting safety analysis and regulatory compliance testing for TÜV Rheinland. Training engineers and ensuring adherence to international test standards in an office environment.
Graduate Fire Engineer assisting in fire safety strategies and technical advice for building projects. Collaborating across teams to ensure safety regulations and codes are incorporated in designs.
Data Integration Engineer supporting data integration at Breedon Group with Azure tools and APIs. Collaborating with developers and analysts to maintain workflows and troubleshoot issues.
Mechanical Systems Engineer supporting PM AAA within ACV and AAV Sustainment Team. Conducting technical analyses, developing documentation, and supporting hardware integration and testing.
Development Engineer enhancing multiple core network functions for Nokia's Cloud Native Communication Suite. Collaborating on software life cycle management and customer solution discussions in R&D.
Project Engineer overseeing projects from concept to completion at Branson Ultrasonics. Leading cross - functional teams and ensuring quality and timely delivery of engineering solutions.