{"id":2328676,"url":"https://alion.io/job/synopsys-applications-engineering-principal-engineer-18791","title":"Applications Engineering, Principal Engineer - 18791","company":{"id":39954,"name":"Synopsys","domain":"synopsys.com","url":"https://alion.io/company/synopsys-inc","size_band":"5000+","is_staffing_agency":false,"employer_type":"direct","is_intermediary":false,"listed_via":null,"ats_vendor":"Avature","truth_index":{"grade":"A","score":100,"open_postings":89,"ghost_share":0.034,"stale_share":0,"repost_share":0.169,"time_to_fill_p50_days":11,"computed_at":"2026-10-12T06:55:09Z"}},"role":"Backend","role_family":"Backend","seniority":"lead","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":30000,"max_usd":61000,"period":"year","method":"role_seniority_country_remote_cell","sample_n":51},"experience_years_min":10,"visa_sponsorship":false,"relocation_package":false,"has_equity":false,"technologies":[{"name":"Formal Verification","optional":false},{"name":"Synopsys VC Formal","optional":false},{"name":"SystemVerilog","optional":false}],"status":"live","first_seen_at":"2026-10-12T08:12:30Z","employer_posted_date":"2026-10-12","last_verified_at":"2026-10-13T02:51:13Z","board_verified":true,"closed_at":null,"days_open":0,"trust":{"level":"ok","repost_count":null,"flags":[],"days_open":0},"description":"Job Description and Requirements\nWe Are\nSynopsys is the leader in engineering solutions from silicon to systems, enabling customers to rapidly innovate AI-powered products. We deliver industry-leading silicon design, IP, simulation and analysis solutions, and design services. We partner closely with our customers across a wide range of industries to maximize their R&D capability and productivity, powering innovation today that ignites the ingenuity of tomorrow.\nYou Are\nYou have spent a decade or more in verification and you know that formal is not a checkbox, it is the difference between finding a corner case bug in week two or in production six months later. You walk into a customer site, look at their design blocks and test benches, and see the problem underneath the symptoms. You ask questions that get to root cause, not surface noise.\nYou have debugged enough performance bottlenecks to know when the issue is the tool, the model, or the design itself, and you can explain the tradeoff in terms the design team will understand. You are comfortable presenting to senior engineers and equally comfortable rolling up your sleeves to optimize a formal test bench that is choking on state space explosion.\nAt Synopsys, you will work directly with customers building the most complex chips in the industry, and what you recommend will shape how they verify their designs.\nWhat You'll Be Doing\nLead technical deployment of VC Formal solutions at customer sites, assessing verification environments and recommending formal methodologies tailored to their design challenges\nAnalyze customer design blocks to identify the right targets for formal property checking, sequential equivalence checking, formal coverage analysis, and connectivity checking\nDiagnose root causes of tool performance issues, including state space explosion and convergence problems, then optimize formal test benches to achieve proof closure\nDevelop and deliver technical training to customer teams on new VC Formal features, product updates, and formal verification best practices\nWork directly with Synopsys R&D and product engineering teams to communicate customer priorities and technical requirements that influence product roadmap\nSupport customers in applying formal verification to complex logic including data path verification, math functions, and sequential equivalence across design revisions\nThe Impact You Will Have\nEnable customers to find critical bugs earlier in the design cycle, reducing costly respins and time-to-market delays\nDrive adoption of formal verification methodologies that improve verification coverage and confidence across complex SoC and IP designs\nShape the VC Formal product roadmap by translating real-world customer challenges into actionable engineering requirements\nAccelerate customer productivity by delivering training and methodologies that make formal verification accessible to teams with varying levels of expertise\nBuild long-term technical relationships with leading semiconductor companies, becoming a trusted advisor on verification strategy\nReduce tool performance bottlenecks and proof times through expert modeling and optimization, directly improving customer ROI\nWhat You'll Need\n10 to 15 years of hands-on experience in digital design verification, with deep expertise in formal verification methodologies\nStrong application knowledge of formal property checking, sequential equivalence checking, formal coverage analysis, and connectivity checking\nProven experience diagnosing and resolving formal tool performance issues, including convergence problems and proof optimization\nSolid understanding of RTL design, SystemVerilog, and verification test bench development\nExperience working directly with customers in a technical consulting, application engineering, or field engineering role\nExperience with VC Formal or equivalent formal verification tools is a strong plus\nWho You Are\nYou can walk into a customer meeting, listen to a verification challenge, and sketch out a formal methodology that makes immediate sense to the team\nYou know when to push back on a customer request that will not solve the real problem, and you can explain why in terms they respect\nYou are comfortable moving between deep technical debugging, writing formal properties, and presenting results to engineering leadership\nYou treat every customer deployment like a learning opportunity, not just for them but for the product team back at Synopsys\nYou are organized enough to manage multiple customer engagements at once and technical enough to go deep when a proof is failing\nThe Team You'll Be Part Of\nApplication engineers (AEs) drive and deploy SNPS technologies at the customers and support successful usage of the products at the customers that leads to renewals and new business.\nRewards and Benefits\nWe offer a comprehensive range of health, wellness, and financial benefits to cater to your needs. Our total rewards include both monetary and non-monetary offerings. Your recruiter will provide more details about the salary range and benefits during the hiring process.\nAt Synopsys, we want talented people of every background to feel valued and supported to do their best work. Synopsys considers all applicants for employment without regard to race, color, religion, national origin, gender, sexual orientation, age, military veteran status, or disability.","description_format":"text","description_chars":5386,"description_truncated":false,"requirements":{"experience_years_min":10,"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","Simulation & Digital Twin Software","Semiconductor IP & Chip Design Services"],"lifecycle":[{"event":"open","at":"2026-10-12T08:12:30Z"}],"visa":[],"liveness":{"score":86,"band":"hot","label":"Hiring now","p_open":1,"p_active":0.86,"p_room":1,"age_days":0,"expected_fill_days":11,"reasons":["conf:1","win:early","comp:brand"],"computed_at":"2026-10-13T04:49:28Z"},"pay":null,"html_url":"https://alion.io/job/synopsys-applications-engineering-principal-engineer-18791","json_url":"https://alion.io/job/synopsys-applications-engineering-principal-engineer-18791.json","meta":{"generated_at":"2026-10-13T04:49:28Z","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":7547,"day_limit":null,"remaining_today":null,"minute_limit":300,"resets_at":"2026-10-14T00: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":39954},"rest":"https://alion.io/mcp/rest/get_company?id=39954"},"human":"https://alion.io/catalog?offer=company.slices&for=job%2Fsynopsys-applications-engineering-principal-engineer-18791"},{"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%2Fsynopsys-applications-engineering-principal-engineer-18791"},{"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%2Fsynopsys-applications-engineering-principal-engineer-18791"},{"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/synopsys-applications-engineering-principal-engineer-18791\", \"note\": \"what you need it for\"}"},"human":"https://alion.io/catalog?offer=company.verify&for=job%2Fsynopsys-applications-engineering-principal-engineer-18791"}]}