Full-time Nuvacore is building a ground-up high performance, low-power CPU for next-generation compute workloads. We are seeking Formal Verification Engineers at multiple levels --- from Senior Engineer to Principal level --- to help prove the Nuvacore CPU correct with formal methods. Drive the verification scope and formal test plan for each verification problem --- turning the micro-architecture specification into the properties to prove.

Build and maintain the end-to-end formal flow --- automation (Python/TCL), assertion libraries shared across formal and simulation, and tool-issue resolution with vendors. Degree in Electrical/Computer Engineering, Computer Science, or Mathematics, or equivalent practical experience. ~15 years (Principal) or 4 years (Senior Engineer) of design-verification experience, with hands‑on formal verification.



~ Hands‑on formal techniques --- model checking and/or equivalence checking --- through to proof convergence. ~ Strong knowledge of CPU micro‑architecture and digital logic. ~ Solid scripting (Python; Formal verification of CPU domains such as cache coherence, memory consistency, speculative execution, or data path. We may use artificial intelligence (AI) tools to support parts of the hiring process, such as reviewing applications, analyzing resumes, or assessing responses and identifying potential inconsistencies or verification signals in application materials based on available information.

These tools assist our recruitment team but do not replace human judgment. If you would like more information about how your data is processed, please contact us. #

📌 Digital Validation Engineer (Markham)
🏢 CAREERS
📍 Markham