Software Engineer

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 business’s 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.

We are Siemens

A collection of over 377,000 minds building the future, one day at a time in over 200 countries. We're dedicated to equality, and we encourage applications that reflect the diversity of the communities we work in. All employment decisions at Siemens are based on qualifications, merit and business need. Bring your curiosity and creativity and help us shape tomorrow!

We offer a comprehensive reward package which includes a competitive basic salary, variable pay, other benefits, pension, healthcare and actively support working from home.

We are an equal opportunity employer and value diversity at our company. We do not discriminate based on race, religion, color, national origin, sex, gender, gender expression, sexual orientation, age, marital status, veteran status, or disability status.

#li-eda

#LI-HYBRID