{"version":"0.1","company":{"name":"YubHub","url":"https://yubhub.co","jobsUrl":"https://yubhub.co/jobs/title/r-and-d-software-engineer"},"x-facet":{"type":"title","slug":"r-and-d-software-engineer","display":"Staff R&D Software Engineer – VC Formal","count":1},"x-feed-size-limit":100,"x-feed-sort":"enriched_at desc","x-feed-notice":"This feed contains at most 100 jobs (the most recently enriched). For the full corpus, use the paginated /stats/by-facet endpoint or /search.","x-generator":"yubhub-xml-generator","x-rights":"Free to redistribute with attribution: \"Data by YubHub (https://yubhub.co)\"","x-schema":"Each entry in `jobs` follows https://schema.org/JobPosting. YubHub-native raw fields carry `x-` prefix.","jobs":[{"@context":"https://schema.org","@type":"JobPosting","identifier":{"@type":"PropertyValue","name":"YubHub","value":"job_0d1d3970-7a0"},"title":"Staff R&D Software Engineer – VC Formal","description":"<p>Opening. This role exists to drive the development of formal verification technology.</p>\n<p><strong>What you&#39;ll do</strong></p>\n<p>You will lead and deliver multi-project functionality for each VC Formal product release as a technical expert and initiative owner.</p>\n<ul>\n<li>Designing, implementing, and testing complex algorithms and data structures for high-performance formal verification solutions.</li>\n<li>Driving technical initiatives, collaborating with peers and management to sell and execute the vision for formal verification advancements.</li>\n<li>Identifying broad objectives and developing strategies to solve open-ended, challenging problems in software development.</li>\n<li>Running effective meetings to facilitate team problem-solving and helping overcome technical roadblocks (“brick walls”).</li>\n<li>Collaborating with global cross-functional teams to define, implement, and deliver innovative verification solutions.</li>\n<li>Ensuring the quality, robustness, and efficiency of software implementations in a large-scale development environment.</li>\n<li>Prioritizing project milestones and features, and developing project schedules with minimal managerial direction.</li>\n</ul>\n<p><strong>What you need</strong></p>\n<ul>\n<li>BS/MS in Computer Science or related field, with 5+ years of relevant experience in software development.</li>\n<li>Expertise in C/C++ programming, with a demonstrated ability to write efficient, maintainable code.</li>\n<li>Strong foundation in algorithms and data structure design, with practical implementation experience.</li>\n<li>Proficiency in software development processes, debugging, and configuration management tools.</li>\n<li>Solid understanding of digital logic; prior experience in EDA, equivalence checking, or formal technologies is a plus.</li>\n</ul>\n<p><strong>Why this matters</strong></p>\n<p>Accelerate the verification of complex SoC designs, enabling Synopsys customers to deliver innovative products to market faster.</p>\n<ul>\n<li>Shape the development of next-generation formal verification algorithms and methodologies, setting industry benchmarks.</li>\n<li>Enhance the scalability and performance of VC Formal, ensuring it remains the tool of choice for the most challenging design tasks.</li>\n<li>Drive technical excellence and foster a culture of innovation within the R&amp;D team and across the organization.</li>\n<li>Mentor and inspire fellow engineers by sharing best practices and facilitating knowledge transfer.</li>\n<li>Contribute to the overall success of Synopsys by delivering reliable, high-quality software that meets and exceeds customer expectations.</li>\n</ul>\n<p style=\"margin-top:24px;font-size:13px;color:#666;\">XML job scraping automation by <a href=\"https://yubhub.co\">YubHub</a></p>","url":"https://yubhub.co/jobs/job_0d1d3970-7a0","directApply":true,"hiringOrganization":{"@type":"Organization","name":"Synopsys","sameAs":"https://careers.synopsys.com","logo":"https://logos.yubhub.co/careers.synopsys.com.png"},"x-apply-url":"https://careers.synopsys.com/job/noida/staff-r-and-d-software-engineer-vc-formal/44408/92296852064?utm_source=yubhub.co&utm_medium=jobs_feed&utm_campaign=apply","x-work-arrangement":"onsite","x-experience-level":"staff","x-job-type":"full-time","x-salary-range":null,"x-skills-required":["C/C++ programming","algorithms and data structure design","software development processes","debugging","configuration management tools","digital logic","EDA","equivalence checking","formal technologies"],"x-skills-preferred":[],"datePosted":"2026-03-04T17:08:11.389Z","jobLocation":{"@type":"Place","address":{"@type":"PostalAddress","addressLocality":"Noida"}},"employmentType":"FULL_TIME","occupationalCategory":"Engineering","industry":"Technology","skills":"C/C++ programming, algorithms and data structure design, software development processes, debugging, configuration management tools, digital logic, EDA, equivalence checking, formal technologies"}]}