Note: The job is a remote job and is open to candidates in USA. LUBIS EDA hires a Manager Formal Verification to lead and develop a team of formal verification engineers. The role owns team leadership, project delivery, customer relationships, new-business feasibility and scoping, and consistent application of the formal verification practice.
Responsibilities
- You lead a team of 10 to 15 formal verification engineers. They own the technical work: verification plans, assertions, proofs, sign-off. You own the environment to make this a success
- That split protects focus time, which is what formal verification runs on: you absorb the coordination before it reaches an engineer
- Disciplinary lead for the group. Development, feedback, and the hard conversations
- Timelines, capacity planning, and the scope calls when a project comes under pressure
- The relationship is yours, from the first conversation to sign-off and beyond. You run status and scope, and you stay the contact between engagements. You keep them happy throughout the engagement, with the goal that they come back for their next program
- You join customer conversations early and assess feasibility and scope. Sales relies on you as the technical counterpart when they work with new clients. Once the direction is set, a senior engineer joins you to build the verification plan
- You apply our FV process consistently, run post-project reviews, and hire for your own team. You do not write the standards; you are the reason they hold on every project, and the first to say when one needs to change
Skills
- You have owned a complete verification block end-to-end
- Formal verification on non-trivial RTL: caches, pipelined processors, DMAs, NoCs or similar
- Strong SystemVerilog Assertions
- Hands-on with JasperGold, VC Formal, Questa Formal or OneSpin
- Convergence techniques: abstraction, cutpoints, invariants, constraint hygiene, non-vacuity
- Proven track record of leading engineers, as a people manager or technical lead
- Customer-facing experience in scoping or early technical conversations before a project starts
- A record of building business and technical relationships with external parties
Benefits
- Work alongside engineers who live and breathe formal verification on genuinely difficult problems.
- The people around you will push you to get better.
- Expect new challenges, strong technical sparring partners, and room to keep pushing your own expertise.
Company Overview