A leading semiconductor company in Lausanne is looking for a skilled Formal Verification Engineer to develop methodologies and participate in design reviews. The ideal candidate has over 5 years of semiconductor industry experience and a proven track record in verifying complex designs. Proficiency in scripting and deep understanding of Formal Verification technologies are critical. This role can be worked from various locations including Reading (UK) and Dortmund (Germany). #J-18808-Ljbffr