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.

The Role  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.
What You'll Do   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
What You'll Need to Succeed   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
Why Join Us  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.

#J-18808-Ljbffr