Digital Design Verification - RISC-V ISA - Processor Microarchitecture - CPU - Formal Verification - Model checking - Property checking - SVA - OneSpin - JasperGold - International teams - Start-up culture Locations: France (Villeneuve-Loubet), Germany (Munich), UK (Bristol/Cambridge), Czech Republic (Brno, Prague), Spain (Barcelona), Greece (Heraklion/Thessaloniki/Athens) Department: Formal Verif