At TechBiz Global, we are providing recruitment service to our TOP clients from our portfolio. We are currently seeking a Senior Formal Verification (FV) Engineer to join one of our clients' teams.
Reporting directly to the Vector Unit Verification Lead, this is a highly technical Individual Contributor (IC) role. In this position, you will be the dedicated formal expert for the VU team, responsible for designing scalable formal testbenches, writing mathematical properties, and ensuring the absolute algorithmic and architectural integrity of our vector pipeline. You will work side-by-side with VU microarchitects to hunt down deep corner-case bugs and achieve formal sign-off on high-complexity arithmetic and execution blocks.
Key Responsibilities
Block-Level Execution & Convergence Engineering (90%)
End-to-End Testbench Ownership: Design, deploy, and maintain robust formal verification environments for complex Vector Unit sub-blocks (e.g., Vector Execution Pipelines, Vector Register File/Rename interfaces, and Vector Floating-Point Units).
Datapath & Arithmetic Verification: Implement advanced word-level modeling, bit-blasting, and algebraic rewriting strategies to verify complex IEEE-754 floating-point and integer vector arithmetic units.
Proof Convergence Management: Independently diagnose and resolve proof-convergence failures, over-constraints, and state-space explosions using advanced reduction techniques (e.g., case-splitting, black-boxing, and abstraction modeling).
RISC-V Vector Compliance: Develop formal environments to mathematically prove that the VU pipeline strictly complies with the RISC-V Vector (V) Extension specification.
Simulation Partnership: Collaborate closely with VU simulation engineers to define a razor-sharp boundary between simulation and formal verification, ensuring maximum bug-hunting efficiency and zero coverage gaps.
Embedded Mentorship & Best Practices (10%)
Formal-Friendly Design: Partner with VU microarchitects during early-stage RTL development to drive formal-friendly coding styles and structural design patterns.
SVA Propagation: Review and refine SystemVerilog Assertions (SVA) written by design and simulation peers, establishing best practices for block-level assertions within the VU team.
Education: B.S./M.S. in Computer Engineering, Electrical Engineering, or Computer Science with practical industry execution; or a Ph.D. with a research focus on formal methods or computer arithmetic.
Experience: 5+ years of production-grade hardware verification experience (or Ph.D. + 1–3 years) with a strong, proven track record of applying formal verification to CPU, GPU, or DSP execution pipelines.
Collaboration Style: A self-driven engineer who enjoys deep mathematical puzzles, collaborates seamlessly within a localized block-level team, and can translate complex proof counter-examples into actionable bugs for designers.
Datapath Validation Focus: Strong specialization in arithmetic formal verification, algebraic rewriting, and word-level modeling. Familiarity with control-path formal techniques (liveness, safety properties) is highly welcome.
Vector Microarchitecture: Good working knowledge of high-width execution pipelines, vector execution units, or floating-point/integer arithmetic hardware. Experience with Out-of-Order execution mechanics is a plus.
Formal Tools: Proficient command of commercial EDA formal tools (e.g., Cadence JasperGold/DPV, Synopsys VC Formal, Siemens OneSpin) and their specialized mathematical/datapath apps.
Languages: Native fluency in SystemVerilog and SystemVerilog Assertions (SVA). Scripting proficiency (Python, Tcl, or Bash) for testbench automation.
Nice to Have
RISC-V Core Verification.
RISC-V Ecosystem: Familiarity with the RISC-V Architecture, specifically the Vector (V) and Floating-Point (F/D) extension ecosystems.
Emulation platforms (Veloce, ZeBu).
Core/Bus interface protocols (e.g., AXI/CHI).
Senior Formal Verification Engineer • Luxembourg, LU, LU
This is a Full Stack Engineer role with a rich and varied technology stack.You will work across the full application layer, from building interactive browser-based 3D interfaces to designing robust... Voir plus
Are you passionate about research? So are we! Come and join us.The Luxembourg Institute of Science and Technology (LIST) is a leading Research and Technology Organisation (RTO) that drives innovati... Voir plus
The group has been working on next generation radar sensors in different applications, including automotive, autonomous vehicles, in-cabin monitoring, occupancy sensing, drones, multi-copters, gest... Voir plus
Based in Luxembourg, you will integrate and reinforce our blast furnace process department and support our internal and external customers with know-how and expertise in blast furnace operation.As ... Voir plus
Senior DevOps / DevSecOps Engineer.Cloud, la cybersécurité et les architectures modernes.Vous interviendrez sur la conception, l’industrialisation et l’exploitation de plateformes Cloud critiques, ... Voir plus
As a Senior Mechanical Engineer at our client.This includes acquiring and managing the necessary information, knowledge and resources and making sure that all the required documentation is generate... Voir plus
We are looking for a Data Platform Engineer to help us build and run the internal data platform that powers analytics and data products across Enovos.Our platform is AWS-based (Redshift, S3, Airflo... Voir plus
Carrying out research in the predefined areas.Implementing proof-of-concept solutions.Empirically evaluating the proposed solutions and tools.Disseminating results through scientific publications.P... Voir plus
Since 1922, Rotarex has been a global leader in .With 1,800 employees worldwide, we serve industries such as .Innovation, quality, and customer trust are at the heart of what we do.As a family-owne... Voir plus
AWS • Infrastructure as Code • Automatisation • Observabilité.Nous recherchons un(e) Ingénieur DevOps Senior capable de structurer et faire évoluer des plateformes modernes avec une très forte exig... Voir plus
The successful candidate will join the Automation & Robotics Research Group (ARG), contributing to the situational awareness research line for robots and autonomous systems led by Dr.The position h... Voir plus
Fixed term contract | 24 months | Belval.Are you passionate about research? So are we! Come and join us.The Luxembourg Institute of Science and Technology (LIST) is a leading Research and Technolog... Voir plus
Proximus Luxembourg is a leading historical player in the ICT & Telecoms markets.Proximus Luxembourg addresses both residential and business markets through its commercial brands Tango, Proximus NX... Voir plus
For over 30 years, we have been making sensing systems for the world’s major car manufacturers, expanding our expertise into building management and IoT.Headquartered in Luxembourg and with offices... Voir plus
Senior Data Architect – Microsoft Azure & Fabric.Ainos Luxembourg, filiale à 100% du groupe POST, accompagne les organisations dans leur transformation digitale grâce à une équipe de 50 experts pas... Voir plus
Are you passionate about research? So are we! Come and join us.The Luxembourg Institute of Science and Technology (LIST) is a Research and Technology Organization (RTO) active in the fields of mate... Voir plus
At TechBiz Global, we are providing recruitment service to our TOP clients from our portfolio.We are currently seeking a Senior Formal Verification (FV) Engineer to join one of our clients' teams.R... Voir plus
Our employees in 50 countries worldwide – all working with passion to enable high-tech applications with our strong metals: tungsten and molybdenum.Our Plansee offices around the world connect cust... Voir plus
The selected candidate will play a key role in a major onboarding and transformation project within the asset servicing sector, focusing on Transfer Agent (TA) processes and related systems.The rol... Voir plus
Proximus Luxembourg is a leading historical player in the ICT & Telecoms markets.Proximus Luxembourg addresses both residential and business markets through its commercial brands Tango, Proximus NX... Voir plus
){kind=logo}
