We are hiring Formal Verification Engineer for Sweden.
Job Summary:
We are looking for an experienced Formal Verification Engineer will work with formal verification of complex digital designs, helping ensure functional correctness and identify design issues early in the development process. You will collaborate closely with design and verification teams and contribute to delivering high-quality, reliable ASIC/SoC solutions. As a Formal Verification Engineer, you will be responsible for analyzing complex RTL designs, developing and checking formal properties, debugging verification results, and supporting the overall verification strategy.
Educational Qualification: Bachelor’s degree in Computer Science, or related field, or equivalent professional experience.
Roles & Responsibilities:
- Formal Verification Execution & Debugging: Execute end-to-end formal verification for complex ASIC/RTL designs using SystemVerilog Assertions (SVA) to create properties, perform property checking, and analyze/debug results to catch functional issues early.
- Strategy, Collaboration & Best Practices: Partner with ASIC design and verification teams throughout the SoC lifecycle to define strategy, resolve technical issues, and continuously enhance formal verification methodologies and processes.
Technical Skills & Expertise:
- 4+ years of experience in formal verification of ASIC / RTL designs.
- Strong hands-on experience with property checking and assertion-based verification.
- Strong knowledge of SystemVerilog and SystemVerilog Assertions (SVA).
- Strong analytical and debugging skills, particularly for complex RTL and verification results.
- Experience working in ASIC or SoC development environments.
- Experience with SystemC, MATLAB, C/C++ reference modelling, and UVM-based verification is advantageous.
Soft Skills:
- Strong ownership, analytical thinking, and independent decision-making.
- Focus on scalability, performance, quality, and solutions.
- Strong collaboration and adaptability in a fast-growing environment.
Job Features
| Job Category | Electronic Design Automation (EDA) |
