R&D Software Engineer – VC Formal in Bucuresti

Job Description and Requirements You will be joining the VC Formal R&D team as a Software Engineer. It is a global team position that will collaborate with R&D teams from Noida, Israel, US, Romania. VC Formal is a high capacity, high performance next-generation formal verification solution. Includes best-in-class algorithms, methodologies, databases and user interfaces. Built from the ground up, this solution is architected to address today’s most challenging verification tasks. VC Formal has the capacity, speed and flexibility to verify most difficult SoC designs. Includes excellent examination, filtering and debug techniques to identify root causes.You will be developing EDA software used for chip design and verification. You will be responsible for developing, testing, troubleshooting, and debugging software programs. The work will require algorithm, data structure design and developing robust efficient implementations. The engineer is expected to specify, design, implement and test in a large and complex software development environment.Key QualificationsBS/MS in Computer Science, with 2+ years of software development experience. C++ programming experienceSolid background in algorithms and data structures Analytical, logical reasoning and problem-solving skills Familiar with Linux, software development process, debugging tools Nice to HaveKnowledge on semiconductors, digital logic, digital design and verificationEDA languages: HDL (Verilog/VHDL), HVL (SystemVerilog)Formal Equivalence Checking, Formal TechnologiesOur Silicon Design & Verification business is all about building high-performance silicon chips—faster. We’re the world’s leading provider of solutions for designing and verifying advanced silicon chips. And we design the next-generation processes and models needed to manufacture those chips. We enable our customers to optimize chips for power, cost, and performance—eliminating months off their project schedules. At Synopsys, we’re at the heart of the innovations that change the way we work and play. Self-driving cars. Artificial Intelligence. The cloud. 5G. The Internet of Things. These breakthroughs are ushering in the Era of Smart Everything. And we’re powering it all with the world’s most advanced technologies for chip design and software security. If you share our passion for innovation, we want to meet you. Inclusion and Diversity are important to us. Synopsys considers all applicants for employment without regard to race, color, religion, national origin, gender, sexual orientation, gender identity, age, military veteran status, or disability.