Senior Formal Verification Engineer

A unique opportunity to take part in building an R&D team for a global company.
We are seeking highly experienced and visionary formal verification engineers to contribute to the development of advanced AI connectivity architectures and help define the formal verification methodology from the ground up.

Responsibilities:
Define and execute formal verification strategies and methodologies for complex SoCs, IPs, and networking architectures (Switches, NICs, SmartNICs).
Develop, implement, and maintain formal verification environments and test plans from concept to production.
Specify formal properties, assertions, and constraints using formal tools and SystemVerilog Assertions (SVA).
Own the formal verification environment, including setup, maintenance, and integration with simulation-based flows.
Collaborate closely with architecture, RTL, and design teams to identify corner cases, ensure functional correctness, and drive verification sign-off.

Qualifications:
B.Sc. in Computer Science or Computer Engineering.
3+ years of industry experience in formal verification.
Proven experience with JasperGold, VC Formal, or similar formal verification tools.
Demonstrated ownership and maintenance of formal verification environments.
Strong analytical and problem-solving skills.
Team player with excellent interpersonal and communication abilities.
English - Upper-Intermediate.

Advantages:
Experience as a verification engineer with practical knowledge of SystemVerilog and UVM methodology.
Familiarity with networking architectures and IPs (Switches, NICs, SmartNICs).
Experience integrating formal verification within broader project verification flows.

We offer:
5-day working week, 8-hour working day, flexible schedule.
No time tracker.
Competitive salary.
Work-life balance.
Remote work.
Standard social guarantees: annual leave, sick days.
We understand the value of knowledge and training, so if you will find interesting and useful courses for yourself, we will pay for them.
We value life and work time therefore all issues are resolved on the spot without unnecessary bureaucracy.