61 ux german+highway+system+in+berlin English-speaking jobs in Aachen

Languages: Native fluency in SystemVerilog and SystemVerilog Assertions (SVA). ... In this position, you will be the dedicated formal expert for the VU team, responsible for designing ... Datapath Validation Focus: Strong specialization in arithmetic formal verification, algebraic rewriting ... /M.S. in Computer Engineering, Electrical Engineering, or Computer Science with practical industry execution