Formal Signoff Verification Engineer

Amalent is a world-class formal verification engineering services company. Using the functional verification process of formal signoff, we help semiconductor development teams to deliver the maximum possible design quality in the shortest amount of time.

At Amalent, we work with industry-leading silicon design teams on cutting‑edge designs. We are looking for Verification Engineers to join us, supporting clients across a wide range of design applications such as CPU (including RISC‑V), GPU, AI, networking and wireless communications.

This is an exciting opportunity to work with some of the semiconductor industry's most innovative companies, while delivering functional verification using advanced formal methodologies. The ideal candidate is someone who is passionate about design verification, with a high‑level of attention to detail and strong debugging and problem‑solving skills.

• Develop and implement formal verification (FV) test plans for client projects
• Collaborate with client design and verification engineers to understand design requirements, review test plans and confirm formal verification results
• Prepare and document comprehensive test plans, including properties to verify, constraints to use, coverage goals to measure and abstraction techniques to deploy
• Develop formal signoff test benches using System Verilog (SV) and System Verilog Assertions (SVA)
• Work with state‑of‑the‑art formal verification tools to prove compliance with design requirements and find design bugs
• Prepare progress reports and end‑of‑project presentations, tailored for engineering and management audiences

• Minimum 2 years of experience in a functional verification or design role within a semiconductor development team
• Strong understanding of digital design techniques and RTL coding styles
• Aptitude for bug finding and the tenacity to find every bug in a design
• Deep knowledge of coding with System Verilog, especially RTL constructs and System Verilog Assertions
• Exceptional analytic skills, with the ability to understand, break down and solve complex problems
• Strong organizational and project management skills, with the ability to prioritize and manage multiple tasks

At Amalent, you'll be part of a collaborative and dynamic team that is at the forefront of formal verification in the industry. You'll enjoy:

• the opportunity to work on high‑impact verification projects for some of the most advanced technology programs in the semiconductor industry
• exposure to a wide range of design application areas
• development of highly valuable skills in formal verification signoff methodology
• career growth and mentorship from leading formal verification industry experts

At Amalent, you will join a highly motivated group of engineers who are united in our goal of enabling our clients to achieve new heights in efficient and effective functional verification.