LOS GATOS, CALIFORNIA BANGALORE, INDIA If you wish to participate in the most exciting EDA opportunity in a decade, send your resume to nusymjobs[at]nusym[dot]com CALIFORNIA Principal Software Engineer We are looking for talented developers with research background in formal verification areas such as SAT solvers, BDD techniques, model checking and equivalence checking. Working with the best in the industry, you will solve some of the most challenging and complex functional verification problems. You will be responsible for developing algorithms, software and ideas into EDA products. Job Requirements: Masters with 3+ years of experience or a PhD from a U.S. University in relevant areas of verification. Experience in developing robust software in C++. Working knowledge of hardware description languages (Verilog, SystemVerilog). Application Engineer Job Responsibilities Customer deployment: demonstrate value of verification automation tools to customers. Develop and deliver product and verification methodology training to design teams. Pre-sale customer support: develop verification environments and provide technical guidance to ensure successful deployment of our verification tools at the customer's site. Job Requirements BS with 5 years of relevant experience or MS with 3+ years of relevant experience in functional verification. Functional verification experience in design or verification, or experience in a consulting environment working with the latest EDA tools. Good understanding of verification methodologies including usage of coverage-driven test bench automation techniques or formal methods. Ability to understand functional specifications of network protocols and processor buses. Good communication, presentation and customer interaction skills. Back to the top INDIA Application Engineer Job Responsibilities Customer deployment: demonstrate value of verification automation tools to customers. Pre-sale customer support: develop verification environments and provide technical guidance to ensure successful deployment of our verification tools at the customer's site. Job Requirements BE or B.Tech. with 3+ years of relevant experience in functional verification. Functional verification experience in design or verification, or experience in a consulting environment working with the latest EDA tools. Good understanding of verification methodologies including usage of coverage-driven test bench automation techniques. Ability to understand functional specifications of network protocols and processor buses. Good communication, presentation and customer interaction skills. Back to the top © 2008 Nusym Technology. All Rights Reserved.