Website Engineer taking ownership of the website technical implementation for Moss. Building high - performing web infrastructure and improving SEO through modern frameworks like Next.js and React.
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
Process Engineer at Vestas enabling manufacturing of customer products in Szczecin, Poland. Responsibilities include engineering process ownership, maintenance of instructions, and communication with the production line.
Mechanical Site Engineer for the Kidston Pumped Storage Hydro project in Australia. Focused on project delivery, compliance, and quality assurance in a collaborative environment.
Lead Structural Analysis Engineer at ICEYE, managing structural analysis for satellite systems to meet aerospace standards and ensuring mission success from launch to operations.
Process Engineer responsible for improving cloud system reliability at PointClickCare. Collaborating with engineering teams to enhance SaaS operations and incident response practices.
Database Engineer managing Oracle databases to support business operations in Santo Domingo. Preparing and monitoring database availability, security, and backup strategies.
Embedded Development Engineer at Hirsch France developing security solutions. Involved in the full development lifecycle with a focus on innovation and optimization.
Senior Fire Protection Engineer managing client projects and driving business development in the New England region as part of Michael Baker International's consulting team.
Senior Process Engineer working on LNG infrastructure projects at ECOnnect Energy. Leading design and development of process systems and collaborating with multidisciplinary teams.
Forward Deployed Engineer at Baseten developing and deploying production AI applications. Collaborating with customers to build high - scale AI solutions and optimize ML projects.