{"id":2328653,"url":"https://alion.io/job/synopsys-applications-engineering-sr-staff-engineer-18828","title":"Applications Engineering, Sr Staff Engineer - 18828","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":"staff","employment_type":null,"work_mode":"on_site","remote_scope":null,"remote_scope_basis":null,"remote_working_hours":null,"hiring_geo_confidence":"structured","locations":["Sunnyvale, United States"],"countries":["US"],"hiring_countries":[],"hiring_countries_total":0,"salary":null,"salary_estimate":{"min_usd":190000,"max_usd":349000,"period":"year","method":"role_seniority_country_remote_cell","sample_n":1256},"experience_years_min":6,"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-12T23:26:11Z","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 years working with formal verification tools and you know the difference between a tool that runs and a methodology that actually finds bugs before tapeout. You understand that formal is not magic, it is math applied with precision, and you are the kind of engineer who can look at a customer's design, their constraints, their timeline, and figure out where formal will save them and where it will not.\nYou are comfortable walking into a customer site, sitting down with their verification team, and quickly diagnosing why their formal runs are timing out or why their properties are not converging. You do not just recommend solutions, you build them alongside the customer, tuning assertions, refactoring testbenches, and optimizing performance until the tool does what it needs to do.\nYou think in trade-offs. You know when to push for full formal proof and when bounded checking is the right answer. You can explain complex formal concepts to a design engineer who has never written an SVA property, and you can hold your own in a technical debate with a verification architect who has been doing this for 20 years.\nAt Synopsys, you will work directly with customers deploying VC Formal across some of the most complex semiconductor designs in the industry. What you build and optimize will directly impact their verification closure and tapeout success.\nWhat You'll Be Doing\nLead formal verification methodology deployment at customer sites, working hands-on with their design and verification teams to integrate VC Formal into existing flows\nAssess customer design environments, identify high-value blocks for formal analysis, and define metrics that prove formal is delivering results\nDebug and resolve tool performance issues by analyzing design complexity, refining formal testbenches, and optimizing assertion modeling for convergence and runtime\nDevelop and deliver technical training on VC Formal features, new releases, and best practices tailored to customer verification challenges\nCollaborate directly with Synopsys R&D and product engineering teams to communicate customer requirements, prioritize feature requests, and influence product roadmap based on field deployment experience\nApply formal verification techniques across property checking, datapath verification, sequential equivalence checking, formal coverage analysis, connectivity checking, and specialized formal applications\nServe as the technical bridge between customers and internal engineering, translating real-world verification problems into actionable product improvements\nThe Impact You Will Have\nEnable customers to close verification gaps that simulation alone cannot reach, reducing post-silicon bugs and accelerating time to tapeout\nDrive adoption of formal methodologies that become standard practice in customer verification flows, expanding the use of VC Formal across their design teams\nImprove tool performance and usability through direct customer feedback, shaping how VC Formal evolves to meet real-world deployment needs\nBuild customer confidence in formal verification by delivering measurable results, proven methodologies, and hands-on technical partnership\nReduce verification cycle time for complex designs by identifying the right formal techniques for the right problems at the right time\nInfluence product direction by bringing field insights back to R&D, ensuring VC Formal remains aligned with customer priorities and industry trends\nStrengthen customer relationships through technical credibility, responsiveness, and a track record of solving hard verification problems\nWhat You'll Need\nBachelor's or Master's degree in Electrical Engineering, Computer Engineering, Computer Science, or equivalent practical experience\n6+ years of hands-on experience in formal verification, including property checking, sequential equivalence checking, formal coverage, and connectivity checking\nDeep expertise with formal verification tools, ideally including VC Formal or equivalent platforms from other vendors\nStrong understanding of SystemVerilog Assertions (SVA), formal testbench modeling, and abstraction techniques for design complexity management\nProven ability to debug tool performance issues, analyze convergence problems, and optimize formal runs for large, complex designs\nExperience working directly with customers or cross-functional engineering teams in a technical consulting, applications engineering, or field engineering role\nSolid grasp of RTL design, verification methodologies, and the semiconductor development lifecycle from architecture through tapeout\nWho You Are\nYou can walk into a customer meeting, listen to their verification pain points, and within an hour sketch out a formal methodology that addresses their specific challenges\nYou are the person who does not give up when a formal proof times out, you dig into the design, refactor the environment, and find the abstraction that makes it converge\nYou can explain why a certain property is vacuous to a junior engineer and then turn around and discuss formal engine algorithms with an R&D architect without missing a beat\nYou are comfortable with ambiguity, customers will not always know what they need, and you are skilled at asking the right questions to uncover the real problem\nYou push back when a customer asks for something that will not work, and you do it in a way that builds trust rather than friction\nYou stay current with formal verification research, new techniques, and industry trends because you know this field moves quickly and standing still means falling behind\nThe Team You'll Be Part Of\nYour recruiter will share more about the team structure and mission during the interview process.\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.\nIn addition to the base salary, this role may be eligible for an annual bonus, equity, and other discretionary bonuses. Synopsys offers comprehensive health, wellness, and financial benefits as part of a competitive total rewards package. The actual compensation offered will be based on a number of job-related factors, including location, skills, experience, and education. Your recruiter can share more specific details on the total rewards package upon request. The base salary range for this role is across the U.S.","description_format":"text","description_chars":7284,"description_truncated":false,"requirements":{"experience_years_min":6,"management_years_min":null,"team_size_min":null,"manages_managers":false,"education":{"level":"bachelor","optional":false},"security_clearance":false,"languages":[]},"benefits":["Equity"],"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":[{"country":"US","licensed_sponsor":true,"evidence":"H-1B filings in 12 months: 178 · green card filings: 177","filings_12m":178,"filings_prev_12m":208,"green_card_filings_12m":177,"median_offered_wage_usd":157472,"route":null,"cap_exempt":false,"checked_at":"2026-10-03T21:08:04+00:00","sources":["US Department of Labor: LCA disclosure data (H-1B, H-1B1, E-3)","US Department of Labor: PERM disclosure data (green cards)"],"filings_for_role_12m":42}],"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:3","win:early","comp:brand"],"computed_at":"2026-10-13T02:32:01Z"},"pay":null,"html_url":"https://alion.io/job/synopsys-applications-engineering-sr-staff-engineer-18828","json_url":"https://alion.io/job/synopsys-applications-engineering-sr-staff-engineer-18828.json","meta":{"generated_at":"2026-10-13T02:32:01Z","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":3824,"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-sr-staff-engineer-18828"},{"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-sr-staff-engineer-18828"},{"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-sr-staff-engineer-18828"},{"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-sr-staff-engineer-18828\", \"note\": \"what you need it for\"}"},"human":"https://alion.io/catalog?offer=company.verify&for=job%2Fsynopsys-applications-engineering-sr-staff-engineer-18828"}]}