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

Software Engineer

Job Description

Required Skills