Software Engineer

Siemens

5 - 10 years

2 - 9 Lacs

Noida Uttar Pradesh India

Posted:2 weeks ago| Platform: Foundit logo

Apply

Skills Required

linux platforms Analytical Skills

Work Mode

On-site

Job Type

Full Time

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

More Jobs at Siemens

Process Expert - Opportunity to Cash

Bengaluru, Karnataka

Experience: Not specified

Salary: Not disclosed

Process Expert - Site Installation

Bengaluru, Karnataka

Experience: Not specified

Salary: Not disclosed

Process Expert - Testing and Commissioning

Bengaluru, Karnataka

Experience: Not specified

Salary: Not disclosed

Business Administration - Proj Exc Commercial

Bengaluru, Karnataka

Experience: Not specified

Salary: Not disclosed

EHS Country Head

Mumbai, Maharashtra, India

5 - 5 yrs

Salary: Not disclosed

Mock Interview

Practice Video Interview with JobPe AI

Start Job-Specific Interview

Start Your Job Search Today

Browse through a variety of job opportunities tailored to your skills and preferences. Filter by location, experience, salary, and more to find your perfect fit.