{"id":3053820,"url":"https://alion.io/job/tata-consultancy-services-formal-verification-developer","title":"Formal Verification Developer","company":{"id":222,"name":"Tata Consultancy Services","domain":"tcs.com","url":"https://alion.io/company/tata-consultancy-services","size_band":null,"is_staffing_agency":false,"employer_type":"direct","is_intermediary":false,"listed_via":null,"ats_vendor":"Career site","truth_index":{"grade":"A","score":100,"open_postings":153,"ghost_share":0,"stale_share":0,"repost_share":0,"time_to_fill_p50_days":2,"computed_at":"2026-10-26T05:57:25Z"}},"role":"Hardware","role_family":"Hardware","seniority":"middle","employment_type":null,"work_mode":"on_site","remote_scope":null,"remote_scope_basis":null,"remote_working_hours":null,"hiring_geo_confidence":"structured","locations":["Bengaluru, India"],"countries":["IN"],"hiring_countries":[],"hiring_countries_total":0,"salary":null,"salary_estimate":{"min_usd":17000,"max_usd":39000,"period":"year","method":"global_role_cell_scaled_by_country","sample_n":775},"experience_years_min":3,"visa_sponsorship":false,"relocation_package":false,"has_equity":false,"technologies":[{"name":"Cadence Conformal","optional":false},{"name":"Formal Verification","optional":false},{"name":"Python","optional":false},{"name":"Synopsys Formality","optional":false},{"name":"SystemVerilog","optional":false},{"name":"Verilog","optional":false}],"status":"live","first_seen_at":"2026-10-22T02:52:28Z","employer_posted_date":"2026-10-26","last_verified_at":"2026-10-26T12:40:20Z","board_verified":true,"closed_at":null,"days_open":4,"trust":{"level":"ok","repost_count":1,"flags":[],"days_open":4},"description":"Role: Developer. Skills: VLSI. Experience: 3 - 15 Years. Qualification: Bachelor Of Technology\nAbout the Unit\nTCS IAE is redefining the future of industry by embedding\nintelligence across engineering, manufacturing, asset, and service value\nchains. Powered by AI, connected ecosystems, and autonomous operations, it\ntransforms insights into action-creating self-optimizing, resilient, and\nintelligent enterprises at scale. By seamlessly converging the physical and\ndigital worlds, TCS IAE is enabling a new era of AI-first enterprises where\nsystems continuously learn, adapt, and evolve-driving measurable outcomes and shaping\nhow industries operate for the future.\nRole: Formal\nVerification Engineer (RTL to Netlist / Netlist to Netlist)\nRoles & Responsibilities\n·Perform formal equivalence checking (LEC)\nbetween RTL and synthesized netlists\n·Perform Netlist-to-Netlist equivalence across\nECO, DFT, low-power, and PnR iterations\n·Debug and resolve non-equivalence points (NEPs)\nand failing cones\n·Handle clock-gating, scan, and DFT-related\nequivalence challenges\n·Support UPF-aware and low-power formal\nverification\n·Collaborate with cross-functional teams for\nsignoff readiness\n·Develop scripts and automation to improve formal\nverification efficiency\nTools & Skills\n·Formal Verification: Synopsys Formality, Cadence\nConformal (LEC / Low Power)\n·HDL: Verilog, SystemVerilog\n·Low Power: UPF-aware formal verification\n·DFT Awareness: Scan logic, clock-gating, test\nlogic\n·Understanding of synthesis, STA, and physical\ntransformations\n·Scripting: Tcl (mandatory), Shell / Python\n(preferred)","description_format":"text","description_chars":1590,"description_truncated":false,"requirements":{"experience_years_min":3,"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":["IT Consulting & Digital Transformation","IT Outsourcing & Dedicated Teams","Systems Integrators","Management Consulting"],"lifecycle":[{"event":"open","at":"2026-10-22T02:52:28Z"},{"event":"close","at":"2026-10-22T09:38:59Z"},{"event":"reopen","at":"2026-10-22T13:30:19Z"},{"event":"close","at":"2026-10-22T22:42:37Z"},{"event":"reopen","at":"2026-10-23T03:15:31Z"},{"event":"close","at":"2026-10-23T12:37:58Z"},{"event":"reopen","at":"2026-10-23T17:35:57Z"},{"event":"close","at":"2026-10-24T19:46:16Z"},{"event":"reopen","at":"2026-10-26T08:25:17Z"}],"visa":[],"liveness":{"score":18,"band":"cold","label":"Long shot","p_open":1,"p_active":0.503,"p_room":0.35,"age_days":4,"expected_fill_days":2,"reasons":["conf:4","win:tail","comp:brand"],"computed_at":"2026-10-26T17:07:55Z"},"pay":null,"html_url":"https://alion.io/job/tata-consultancy-services-formal-verification-developer","json_url":"https://alion.io/job/tata-consultancy-services-formal-verification-developer.json","meta":{"generated_at":"2026-10-26T17:07:55Z","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":22949,"day_limit":null,"remaining_today":null,"minute_limit":300,"resets_at":"2026-10-27T00: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":222},"rest":"https://alion.io/mcp/rest/get_company?id=222"},"human":"https://alion.io/catalog?offer=company.slices&for=job%2Ftata-consultancy-services-formal-verification-developer"},{"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%2Ftata-consultancy-services-formal-verification-developer"},{"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%2Ftata-consultancy-services-formal-verification-developer"},{"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/tata-consultancy-services-formal-verification-developer\", \"note\": \"what you need it for\"}"},"human":"https://alion.io/catalog?offer=company.verify&for=job%2Ftata-consultancy-services-formal-verification-developer"}]}