Siemens EDA is a global technology leader in Electronic Design Automation software. Our software tools enable companies around the world to develop highly innovative electronic products faster and more efficiently. Our customers use our tools to push the boundaries of technology and physics to deliver better products in the increasingly complex world of chip, board, and system design. Job Duties: We are seeking a motivated and quick-to-learn Software Engineer to join the Electronic Design Automation (EDA) field, specifically to advance the Questa formal verification product family. In this multifaceted role, you will be involved in the entire project lifecycle, from writing functional specifications to designing algorithms, coding, and creating test plans. Collaboration with a team of talented engineers and supporting top-tier industry customers will be essential. The ideal candidate will have extensive software development experience, particularly in developing and customizing components around graph-based formal models, with hands-on programming and expertise in crafting efficient netlist representation models for formal applications. Our primary responsibilities will include crafting and developing new features, customizing existing solutions, and improving software components for formal verification, ensuring quality, scalability, modifiability, and testability. You will collaborate with other engineering teams, take ownership of specific components, and drive them to excellence. Additionally, you will help drive the best software practices within the team and mentor other specialists as needed, all while contributing to the businesss overall needs. Job Qualifications: We require candidates to have a BE/B-Tech/M.Tech in CSE/ECE from a reputed engineering college. We are looking for candidates with 5-10 years of software experience, preferably in the Design and Verification domain. Expert in C++ , design patterns, and algorithms. Strong understanding of data structures and algorithm complexities . Proficient in advanced data structures and their applications. Expert in one of the following hardware description languages: Verilog , System Verilog , or VHDL . Knowledge of scripting languages like Perl , Python , Bash , or Tcl . Proficient with development tools such as Makefile , gdb , valgrind , perforce/git , gcov , editors , and IDEs . Strong problem-solving and analytical skills . Experienced in the development and delivery of multi-man-month projects from start to finish. Familiarity with Linux platforms . Exposure to formal-based verification methodologies (model checking, equivalence checking, automated reasoning) is a plus. Soft Skills: Self-motivated and committed to work. Strong team player with the ability to work independently. Hardworking, sincere, and open to constructive feedback. Able to work in challenging environments and collaborate effectively with multi-cultural technical teams. Good to Have: Exposure to Synthesis, Simulation, and other verification methodologies like Assertion, Coverage, etc. Strong presentation, listening, and communication skills for effective team interactions.
