{"id":2053341,"url":"https://alion.io/job/lubis-eda-formal-verification-engineer-senior-level","title":"Formal Verification Engineer - Senior Level","company":{"id":2436431,"name":"LUBIS EDA","domain":"lubis-eda.com","url":"https://alion.io/company/lubis-eda","size_band":"51-200","is_staffing_agency":false,"employer_type":"direct","is_intermediary":false,"listed_via":null,"ats_vendor":"Personio","truth_index":null},"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":"inferred","locations":[],"countries":[],"hiring_countries":[],"hiring_countries_total":0,"salary":null,"salary_estimate":null,"experience_years_min":null,"visa_sponsorship":false,"relocation_package":false,"has_equity":false,"technologies":[],"status":"live","first_seen_at":"2026-05-20T09:06:24Z","employer_posted_date":"2026-05-20","last_verified_at":"2026-10-15T03:01:09Z","board_verified":true,"closed_at":null,"days_open":147,"trust":{"level":"stale","repost_count":0,"flags":["stale"],"days_open":147},"description":"Your mission\nYou own complex outcomes (weeks to a quarter). You turn ambiguity into a plan, drive convergence and debug to closure, and raise the bar through reusable assets and mentoring.\nOwn strategy + closure for complex blocks/IP, including quality and stakeholder alignment.\nSet a high bar for property quality, constraint hygiene, and non-vacuity.\nDrive convergence with sound modeling judgment (abstraction, cutpoints/invariants, assume-guarantee).\nTake ownership of scope estimation and execution planning, turning unclear requests into a realistic plan (milestones, effort, risks).\nLead first projects technically with low-to-medium complexity, incl. mentoring others.\nYour profile\nStrong track record delivering formal outcomes on complex designs.\nDeep SVA + modeling judgment + convergence/debug expertise.\nProven track record of defining a sound verification strategy independently (scoping, risk assessment, assumptions/constraints, and closure criteria).\nCalm, crisp communicator - you prevent surprises.\nWhat success looks like in your first ~90 days\nYou take ownership of a complex scope and create clarity (plan, milestones, decision points).\nYou unblock others through reviews/pairing and improve project reliability.\nYou own a low-to-medium complexity block end-to-end, mentor less experienced colleagues, and reliably step in as the project’s backstop when late-phase issues hit.","description_format":"text","description_chars":1399,"description_truncated":false,"requirements":{"experience_years_min":null,"management_years_min":null,"team_size_min":null,"manages_managers":false,"education":null,"security_clearance":false,"languages":[]},"benefits":[],"hiring_locations":[],"hiring_excludes":[],"relocation_offered":false,"industries":["EDA Software","Semiconductor IP & Chip Design Services"],"lifecycle":[{"event":"open","at":"2026-10-07T22:32:26Z"}],"visa":[],"liveness":{"score":9,"band":"cold","label":"Long shot","p_open":1,"p_active":0.318,"p_room":0.28,"age_days":147,"expected_fill_days":38,"reasons":["conf:2","win:tail","crowd:"],"computed_at":"2026-10-15T05:46:00Z"},"pay":null,"html_url":"https://alion.io/job/lubis-eda-formal-verification-engineer-senior-level","json_url":"https://alion.io/job/lubis-eda-formal-verification-engineer-senior-level.json","meta":{"generated_at":"2026-10-15T05:54:38Z","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":8813,"day_limit":null,"remaining_today":null,"minute_limit":300,"resets_at":"2026-10-16T00: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":2436431},"rest":"https://alion.io/mcp/rest/get_company?id=2436431"},"human":"https://alion.io/catalog?offer=company.slices&for=job%2Flubis-eda-formal-verification-engineer-senior-level"},{"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%2Flubis-eda-formal-verification-engineer-senior-level"},{"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%2Flubis-eda-formal-verification-engineer-senior-level"},{"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/lubis-eda-formal-verification-engineer-senior-level\", \"note\": \"what you need it for\"}"},"human":"https://alion.io/catalog?offer=company.verify&for=job%2Flubis-eda-formal-verification-engineer-senior-level"}]}