Software Engineer

Job description:

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