Synopsys is a global leader in electronic design automation. We play a role in accelerating technology around the world, as well as the culture of solid growth, professionalism and integrity the company offers in what is still startup, teamwork atmosphere. From engineering to programming, design, R&D and support, Synopsys provides unparalleled opportunity to learn, grow and be on the cutting-edge of technology.
Manager Job Description and requirements
You will be the manager of a R&D team developing a software product called Formality that performs equivalence checking using formal, static techniques to determine if two versions of a design (integrated circuit) are functionally equivalent. In that position you will be responsible for managing the software systems development function, including the design, development, troubleshooting, and debugging of software programs. You will provide day-to-day direct supervision to a group of employees. You will monitor projects to ensure completion on schedule. You will also act as an advisor to unit or sub-units and may become actively involved, as required, to meet schedules and resolve problems
Lead the development team. Define features to be developed and schedules in accordance with management and other groups of the company. Interact with other members of Synopsys R&D, customer support, and sales experts as necessary to understand customer needs and product goals.
BS/MS in CS/EE/Math/Physics or a related field, with 5+ years of work experience developing software products. Experience managing software development teams. C/C++/STL programming, with knowledge of object-oriented design. Broad understanding of data structures, algorithms, heuristics, and their application. Good analytical and problem-solving skills. Ability lead a team. Monitors projects to ensure completion. Results oriented. Good written and oral communication skills in English.
Optional Skills Desired
Familiarity with Unix and associated software development tools (Perforce, Coverity, gcov, Valgrind) Knowledge of software specification, design process, and regression testing. Special consideration given to those with background and experience in: formal verification; Logic Synthesis; Compilers; Verilog and VHDL; BDD and SAT technology. Knowledge of EDA tools