×
Register Here to Apply for Jobs or Post Jobs. X

Senior Formal Verification Engineer – RTL & SVA Expert

Job in 1001, Lausanne, Canton de Vaud, Switzerland
Listing for: European Tech Recruit
Full Time position
Listed on 2026-01-14
Job specializations:
  • Engineering
    Systems Engineer, Electronics Engineer
Salary/Wage Range or Industry Benchmark: 80000 - 100000 CHF Yearly CHF 80000.00 100000.00 YEAR
Job Description & How to Apply Below
A leading semiconductor company based in Lausanne is seeking a Formal Verification Engineer with over 5 years of experience in the industry. The role involves developing formal verification methodologies, participating in RTL design reviews, and ensuring that verification plans are met. Knowledge of scripting and formal verification technologies is essential. The position is full-time and offers the opportunity to work in a high-tech environment focused on innovation.
#J-18808-Ljbffr
Position Requirements
10+ Years work experience
Note that applications are not being accepted from your jurisdiction for this job currently via this jobsite. Candidate preferences are the decision of the Employer or Recruiting Agent, and are controlled by them alone.
To Search, View & Apply for jobs on this site that accept applications from your location or country, tap here to make a Search:
 
 
 
Search for further Jobs Here:
(Try combinations for better Results! Or enter less keywords for broader Results)
Location
Increase/decrease your Search Radius (miles)

Job Posting Language
Employment Category
Education (minimum level)
Filters
Education Level
Experience Level (years)
Posted in last:
Salary