{"id":2053340,"url":"https://alion.io/job/lubis-eda-formal-verification-engineer-professional-level","title":"Formal Verification Engineer - Professional 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":null,"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":[{"name":"Formal Verification","optional":false},{"name":"OneSpin","optional":false}],"status":"live","first_seen_at":"2026-03-23T16:36:24Z","employer_posted_date":"2026-03-23","last_verified_at":"2026-10-13T01:10:37Z","board_verified":true,"closed_at":null,"days_open":204,"trust":{"level":"stale","repost_count":0,"flags":["stale"],"days_open":203},"description":"Your mission\nYou own a defined formal deliverable end-to-end (days to a few weeks). You work independently in known contexts, drive proof closure, and hand over sign-off artifacts that customers trust.Own a block/area: clarify requirements, co-define the verification strategy (scope, risks, approach), execute, and close.\nProduce maintainable SVA and a clean formal environment (constraints/assumptions with good hygiene).\nDebug efficiently, partner with designers on fixes, and prevent regressions.\nKeep stakeholders aligned with crisp updates and decision-ready evidence.\nYour profile\nProven experience delivering formal results on non-trivial RTL (e.g., caches, pipelined processors, DMAs, NoCs).\nStrong SVA skills and hands-on formal tool experience (e.g.: Jasper, VCF, Questa Formal/Onespin).\nReliable end-to-end ownership in a defined scope.\nWhat success looks like in your first ~90 days\nYou nail our onboarding bootcamp and earn the team’s trust: you apply the LUBIS way of working and consistently ship clean, reviewable outputs.\nYou engage confidently in scoping and planning with the team: you clarify open questions early, surface risks, and help translate scope into a concrete plan.\nYou own a deliverable end-to-end in a defined area and ship it without a “rescuer”.\nWhere this leads\nThe natural next step is our Senior Formal Verification Engineer role - leading customer engagements, owning formal architecture decisions, mentoring Associates and Professionals, and shaping how LUBIS approaches new verification problems. We make that path concrete: review cycles, customer-lead rotations, and clear competency milestones.","description_format":"text","description_chars":1639,"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":6,"band":"cold","label":"Long shot","p_open":1,"p_active":0.2,"p_room":0.28,"age_days":203,"expected_fill_days":33,"reasons":["conf:4","win:tail","crowd:"],"computed_at":"2026-10-13T05:45:00Z"},"pay":null,"html_url":"https://alion.io/job/lubis-eda-formal-verification-engineer-professional-level","json_url":"https://alion.io/job/lubis-eda-formal-verification-engineer-professional-level.json","meta":{"generated_at":"2026-10-14T03:33: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":5613,"day_limit":null,"remaining_today":null,"minute_limit":300,"resets_at":"2026-10-15T00: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-professional-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-professional-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-professional-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-professional-level\", \"note\": \"what you need it for\"}"},"human":"https://alion.io/catalog?offer=company.verify&for=job%2Flubis-eda-formal-verification-engineer-professional-level"}]}