{"id":2301669,"url":"https://alion.io/job/mobileye-experienced-formal-verification-engineer","title":"Experienced Formal Verification Engineer","company":{"id":174,"name":"Mobileye","domain":"mobileye.com","url":"https://alion.io/company/mobileye","size_band":"1001-5000","is_staffing_agency":false,"employer_type":"direct","is_intermediary":false,"listed_via":null,"ats_vendor":"Lever","truth_index":{"grade":"B","score":75,"open_postings":57,"ghost_share":0,"stale_share":1,"repost_share":0,"time_to_fill_p50_days":null,"computed_at":"2026-10-12T06:55:09Z"}},"role":"Hardware","role_family":"Hardware","seniority":"senior","employment_type":"full_time","work_mode":"hybrid","remote_scope":null,"remote_scope_basis":null,"remote_working_hours":null,"hiring_geo_confidence":"structured","locations":["Haifa, Israel"],"countries":["IL"],"hiring_countries":[],"hiring_countries_total":0,"salary":null,"salary_estimate":{"min_usd":99000,"max_usd":234000,"period":"year","method":"global_role_cell_scaled_by_country","sample_n":1605},"experience_years_min":5,"visa_sponsorship":false,"relocation_package":false,"has_equity":false,"technologies":[{"name":"Cadence JasperGold","optional":false},{"name":"Cadence Xcelium","optional":false},{"name":"Formal Verification","optional":false},{"name":"Python","optional":false},{"name":"SystemVerilog","optional":false}],"status":"live","first_seen_at":"2024-03-25T09:47:24Z","employer_posted_date":"2024-03-25","last_verified_at":"2026-10-12T09:36:50Z","board_verified":true,"closed_at":null,"days_open":931,"trust":{"level":"stale","repost_count":0,"flags":["stale"],"days_open":930},"description":"The Mobileye Automated Driving Hardware group in Haifa is looking for an Experienced Formal Verification Engineer to join a team of talented engineers developing next-generation silicon for autonomous driving platforms.\nThis is a unique opportunity to enter one of the most challenging and rewarding disciplines in hardware development. Formal Verification combines deep understanding of computer architecture, digital design, and advanced verification methodologies to prove hardware correctness and uncover bugs that traditional testing may never find.\nWhat will your job look like:\nBe the owner of formal verification environment from first draft to sign-off stage.\nApply formal methods to verify the correctness of various complex digital systems.\nWork with HW architectsdesigners to define assumptions, rules and cover properties.\nHelp define the formal verification methodology and environment to be applied by the team.\nExplore new Formal methods and Tools.\nWork with tools like Cadence JasperGold, Verisium manager, Xcelium, Indago.\nAnalyze verification results, identify bugs, and collaborate with engineers to resolve design issues.\nDevelop generic formal blocksfunctions of commonly used logic, to be later used off the shelf.\nAll you need is:\nBSc in electrical engineering, computer engineering, or computer science.\nPassion for the field of Formal Verification.\n5+ years of experience in Formal Verification.\nExperience coding system-verilog hardware description language.\nExperience with scripting languages (e.g. python, tcl ).\nStrong analytical and problem solving skills.\nAbility to work independently and in a team-oriented environment.","description_format":"text","description_chars":1654,"description_truncated":false,"requirements":{"experience_years_min":5,"management_years_min":null,"team_size_min":null,"manages_managers":false,"education":{"level":"bachelor","optional":false},"security_clearance":false,"languages":[]},"benefits":[],"hiring_locations":[{"name":"Israel","iso":"IL","kind":"country"}],"hiring_excludes":[],"relocation_offered":false,"industries":["Processors, MCUs & AI Chips","Autonomous Driving","Computer Vision","Automotive Components"],"lifecycle":[{"event":"open","at":"2026-10-11T21:06:23Z"}],"visa":[],"liveness":{"score":4,"band":"cold","label":"Long shot","p_open":1,"p_active":0.145,"p_room":0.28,"age_days":930,"expected_fill_days":28,"reasons":["conf:3","stale_co","win:tail","crowd:brand"],"computed_at":"2026-10-12T06:55:09Z"},"pay":null,"html_url":"https://alion.io/job/mobileye-experienced-formal-verification-engineer","json_url":"https://alion.io/job/mobileye-experienced-formal-verification-engineer.json","meta":{"generated_at":"2026-10-12T14:46:46Z","cache_seconds":300,"methodology":"https://alion.io/methodology","terms":"https://alion.io/terms","contact":"https://alion.io/contact","api":"https://alion.io/developers","about":"Alion is a live layer of people, companies and AI agents: who they are, whether they are real and active right now, what they do and how to work with them, readable by people and by agents and paid per call.","catalog":"https://alion.io/catalog.json","usage":{"tier":"crawler_verified","counted_by":"address","units_charged":1,"used_today":23318,"day_limit":null,"remaining_today":null,"minute_limit":300,"resets_at":"2026-10-13T00:00:00Z"}},"offers":[{"id":"company.slices","title":"One company in depth, by slice","status":"live","price":{"credits":0.02,"usd":0.002,"plus_per_slice":{"credits":0.05,"usd":0.005}},"unit":"per company, plus each slice with data","note":"the employer in depth","call":{"mcp_tool":"get_company","arguments":{"id":174},"rest":"https://alion.io/mcp/rest/get_company?id=174"},"human":"https://alion.io/catalog?offer=company.slices&for=job%2Fmobileye-experienced-formal-verification-engineer"},{"id":"market.stats","title":"A market slice: pay, demand and time to fill","status":"live","price":{"credits":1,"usd":0.1},"unit":"per slice","note":"pay, demand and time to fill for this role and place","call":{"mcp_tool":"market_stats"},"human":"https://alion.io/catalog?offer=market.stats&for=job%2Fmobileye-experienced-formal-verification-engineer"},{"id":"job.search","title":"Open jobs by role, technology, place, pay and visa","status":"live","price":{"credits":0.02,"usd":0.002},"unit":"per posting in a list","note":"similar open postings","call":{"mcp_tool":"search_jobs"},"human":"https://alion.io/catalog?offer=job.search&for=job%2Fmobileye-experienced-formal-verification-engineer"},{"id":"company.verify","title":"Is this company real and active right now","status":"pilot","price":null,"unit":"per company","request":{"url":"https://alion.io/catalog/request","method":"POST","body":"{\"offer\": \"company.verify\", \"for\": \"job/mobileye-experienced-formal-verification-engineer\", \"note\": \"what you need it for\"}"},"human":"https://alion.io/catalog?offer=company.verify&for=job%2Fmobileye-experienced-formal-verification-engineer"}]}