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 RoleAt 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 DoDevelop and implement formal verification (FV) test plans for client projectsCollaborate with client design and verification engineers to understand design requirements, review test plans and confirm formal verification resultsPrepare and document comprehensive test plans, including properties to verify, constraints to use, coverage goals to measure and abstraction techniques to deployDevelop formal signoff testbenches using SystemVerilog (SV) and SystemVerilog Assertions (SVA)Work with state-of-the-art formal verification tools to prove compliance with design requirements and find design bugsPrepare progress reports and end-of-project presentations,



tailored for engineering and management audiencesWhat You'll Need to SucceedMinimum 2 years of experience in a functional verification or design role within a semiconductor development teamStrong understanding of digital design techniques and RTL coding stylesAptitude for bug finding and the tenacity to find every bug in a designDeep knowledge of coding with SystemVerilog, especially RTL constructs and SystemVerilog AssertionsExceptional analytic skills, with the ability to understand, break down and solve complex problemsStrong organizational and project management skills, with the ability to prioritize and manage multiple tasksYou must be legally authorized to work in Canada.You will work onsite at Amalent headquarters in Ottawa.Amalent is committed to providing an inclusive, barrier-free recruitment process. If you require accommodations at any stage of the application or hiring process, please notify us when applying, and we will work with you to meet your needs.Why Join UsAt Amalent, you'll be part of a collaborative and dynamic team that is at the forefront of formal verification in the industry.the chance to work on high-impact verification projects for some of the most advanced technology programs in the semiconductor industryexposure to a wide range of design application areasdevelopment of highly valuable skills in formal verification signoff methodologycareer growth and mentorship from leading formal verification industry expertsYou 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

📌 Formal Signoff Verification Engineer (Varennes)
🏢 Amalent
📍 Varennes