A leading tech company in Belgium is seeking a Senior Formal Verification Engineer to define and lead the formal verification strategy for innovative AI systems. The role involves collaboration with diverse teams and contributions to formal verification methodologies. Candidates should possess a Mas