Highly Experienced Software Engineer Wanted for Formal Verification Role

4 days ago

Noida, Uttar Pradesh, India beBeeFormalVerification Full time ₹ 12,00,000 - ₹ 30,00,000
Software Engineer Position

We are seeking a highly motivated and experienced Software Engineer to join our Electronic Design Automation (EDA) team, specifically to advance the Questa formal verification product family.

Job Description

This multifaceted role involves working on the entire project lifecycle, from writing functional specifications to designing algorithms, coding, and creating test plans. You will collaborate with a talented team of engineers and support top-tier industry customers.

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.

  • Crafting and developing new features
  • Customizing existing solutions
  • Improving software components for formal verification

You will take ownership of specific components, drive them to excellence, and collaborate with other engineering teams to ensure quality, scalability, modifiability, and testability.

In addition, you will help drive best software practices within the team and mentor other specialists as needed, contributing to the company's overall needs.

Required Skills and Qualifications

Our primary requirements include:

  • BE/B-Tech/M.Tech in CSE/ECE from a reputed engineering college
  • 5-10 years of software experience, preferably in the Design and Verification domain
  • Expertise in C++ design patterns and algorithms
  • Strong understanding of data structures and algorithm complexities

Familiarity with scripting languages like Perl, Python, Bash, or Tcl is also preferred.

Benefits

As a Software Engineer at our company, you can expect:

  • A dynamic and collaborative work environment
  • Ongoing training and professional development opportunities
  • A comprehensive compensation package
Others

Exposure to formal-based verification methodologies, such as model checking, equivalence checking, and automated reasoning, is a plus.

Self-motivated and committed individuals with strong problem-solving and analytical skills are encouraged to apply.

  • Principal Software Developer

    4 days ago

    Noida, Uttar Pradesh, India beBeeFormalVerification Full time ₹ 12,00,000 - ₹ 30,00,000

    Job Opportunity: Formal Verification EngineerWe are seeking a highly skilled and motivated individual to join our Electronic Design Automation (EDA) team, specifically to advance the Questa formal verification product family.This multifaceted role will involve involvement in the entire project lifecycle, from writing functional specifications to designing...

  • Key Software Development Role

    4 days ago

    Noida, Uttar Pradesh, India beBeeSoftware Full time ₹ 8,00,000 - ₹ 20,00,000

    Job TitleWe are seeking an experienced software engineer to join our R&D team. As a key member of our group, you will be responsible for developing core algorithmic advances and software design/architecture.This role involves working on new components and algorithms, building new engines, and supporting existing code.You will collaborate with senior...

  • Senior Software Engineer Position Available

    4 days ago

    Noida, Uttar Pradesh, India beBeeSoftware Full time ₹ 12,00,000 - ₹ 30,00,000

    Engineering Software MasteryWe are seeking a highly motivated software engineer to collaborate with our team of experienced professionals in developing core algorithmic advances and software design/architecture.Responsibilities will include designing and implementing new software components, collaborating with senior engineers on existing code, and working...

  • Highly Skilled Software Engineer Wanted

    6 days ago

    Noida, Uttar Pradesh, India beBeeSoftware Full time ₹ 1,50,00,000 - ₹ 2,00,00,000

    Senior Software Engineer PositionWe are seeking a highly skilled Senior Software Engineer to join our team. This is a fantastic opportunity for a motivated and experienced professional to work on challenging projects and contribute to the development of cutting-edge technology.Key Responsibilities:Design, develop, and deploy scalable software systems using...

  • Principal Product Engineer

    2 weeks ago

    Noida, Uttar Pradesh, India Cadence Design Systems Full time US$ 1,50,000 - US$ 2,00,000 per year

    At Cadence, we hire and develop leaders and innovators who want to make an impact on the world of technology.The Product Engineer (PE) bridges the gap between customers, R&D, and field Application Engineers (AEs). In this highly creative and innovative role, they are responsible for ensuring that existing flows and apps meet the ongoing needs of our...

  • Software Engineer II

    7 days ago

    Noida, Uttar Pradesh, India Cadence Full time

    Job DescriptionAt Cadence, we hire and develop leaders and innovators who want to make an impact on the world of technology.Cadence is a pivotal leader in electronic design, building upon more than 30 years of computational software expertise. The company applies its underlying Intelligent System Design strategy to deliver software, hardware and IP that turn...

  • Design Verification Engineers

    3 days ago

    Noida, Uttar Pradesh, India Mirafra Full time ₹ 9,00,000 - ₹ 12,00,000 per year

    Job Description: SOC Verification engineers with 3+ years of experienceKnowledge of ARM architecture, CPU fundamentals & Cache coherencyExperience with C/C++, assembly, and scripting languages.Familiarity with low-power design and verificationDevelop CDV UVM verification environments at system levelVerify CPU connectivity to IP blocksDevelop SoC test plans...

  • High Performance Software Verification Specialist

    4 days ago

    Noida, Uttar Pradesh, India beBeeVerification Full time ₹ 1,04,000 - ₹ 1,30,878

    Software Verification EngineerAs a software verification engineer, you will play a critical role in ensuring the integrity and functionality of our products.Job Description:We are seeking an experienced software verification engineer to join our team. The successful candidate will be responsible for functional verification involving coherent and non-coherent...

  • Software Engineer II

    1 week ago

    Noida, Uttar Pradesh, India Cadence Design Systems Full time ₹ 9,00,000 - ₹ 12,00,000 per year

    At Cadence, we hire and develop leaders and innovators who want to make an impact on the world of technology.Cadence is a pivotal leader in electronic design, building upon more than 30 years of computational software expertise. The company applies its underlying Intelligent System Design strategy to deliver software, hardware and IP that turn design...

  • Digital Verification Specialist

    6 days ago

    Noida, Uttar Pradesh, India beBeeVerification Full time ₹ 23,30,400 - ₹ 25,95,200

    Job OverviewCadence is a leading company in electronic design, leveraging over 30 years of computational software expertise.We apply our Intelligent System Design strategy to deliver software and hardware that turn design concepts into reality.The JobIn this role, you will be responsible for developing Formal Verification IPs as Verilog design models and...