Principal Software Developer

2 weeks ago

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

Job Opportunity: Formal Verification Engineer

We 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 algorithms, coding, and creating test plans.
  • Collaboration with a talented engineering team 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.
  • 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 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 Bachelor's degree in Computer Science or Electronics Engineering from a reputable institution.
    • We are looking for candidates with 5-10 years of software experience, preferably in the Design and Verification domain.
    • Expertise in C++, design patterns, and algorithms is required.
    • A strong understanding of data structures and algorithm complexities is necessary.
    • Proficiency in advanced data structures and their applications is expected.
    • Expertise in one of the following hardware description languages: Verilog, System Verilog, or VHDL.
    • Knowledge of scripting languages like Perl, Python, Bash, or Tcl is required.
    • Proficiency with development tools such as Makefile, gdb, valgrind, perforce/git, gcov, editors, and IDEs.
    • Strong problem-solving and analytical skills are necessary.
    • Experience 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 multicultural 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.

  • Principal Software Developer

    2 weeks ago

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

    Objective:We are seeking a seasoned developer to join our team as a Senior Principal Consultant.Job Summary:The ideal candidate will have extensive experience in designing and developing high-quality software solutions using C# programming language.Strong knowledge of .NET framework, ASP.NET, and ADO.NET is required.The successful candidate will work closely...

  • Principal Software Engineer

    4 days ago

    Noida, Uttar Pradesh, India DigitalDSA Full time ₹ 1,04,000 - ₹ 1,30,878 per year

    Company DescriptionDigitalDSA is revolutionizing the loan comparison industry in India with a focus on transparency, precision, and customer empowerment. Unlike traditional platforms, DigitalDSA provides accurate loan offers without sharing personal data with brokers. By answering a few simple questions, users receive tailored loan offers and can utilize...

  • Principal Software Engineer

    5 days ago

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

    At Cadence, we hire and develop leaders and innovators who want to make an impact on the world of technology.Position: Principal Software EngineerGrade: T4Location: NoidaJob Responsibilities:The role's day to day responsibilities cover:R&D support of application and product engineers for customer problems and requests. This consists of problem analysis,...

  • Senior Principal Developer

    2 weeks ago

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

    Full-Stack Software Engineer PositionWe are seeking an accomplished Principal Full-Stack Software Engineer to join our Collateral Management team.">The ideal candidate will be responsible for designing, developing, and testing innovative solutions for new product capabilities, creating and implementing test strategies, and collaborating with teams to ensure...

  • Principal

    4 days ago

    Noida, Uttar Pradesh, India TrueSummit Global Full time ₹ 15,00,000 - ₹ 28,00,000 per year

    Role DescriptionThis is a full-time on-site role for a Principal at TrueSummit Global, located in Noida. The Principal will be responsible for overseeing daily operations, coordinating with various departments, ensuring that educational standards are met, and maintaining a positive learning environment. Additional tasks include developing curriculum,...

  • Principal Software Engineer

    2 weeks ago

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

    Optum is a global organization that delivers care, aided by technology to help millions of people live healthier lives. The work you do with our team will directly improve health outcomes by connecting people with the care, pharmacy benefits, data and resources they need to feel their best. Here, you will find a culture guided by inclusion, talented peers,...

  • Principal Software Engineer, Frontend

    4 days ago

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

    Job Title: Principal Software Engineer, FrontendJob DescriptionThis role involves developing and designing complex software applications using modern frontend technologies. The ideal candidate will have a strong understanding of HTML5, CSS3, and JavaScript (ES6+) and be able to work effectively with cross-functional teams.Required Skills and...

  • Vice Principal

    2 weeks ago

    Noida, Uttar Pradesh, India Shiv Nadar School Full time ₹ 15,00,000 - ₹ 20,00,000 per year

    JOB SUMMARYThe Vice Principal is accountable to the Principal and Director of Education for the conduct, management and administration of the Middle & Senior Years. He / She would work closely with the Curriculum and Team Empowerment at the Core Office and be an active member of the Senior Leadership Team offering strategic and operational support. The Vice...

  • Principal Solution Architect

    4 weeks ago

    Noida, Uttar Pradesh, India Embee Software Pvt Ltd Full time

    Position : Principal Solution Architect JAVA.Location : Noida.Work Mode : WFO.Years of Experience : Minimum of 12 years of overall experience in Java developer or architect with 4 years of experience on cloud platforms and experience of implementing applications based on 12-factor app patterns.Qualifications : Bachelor's or master's degree in computer...

  • Advanced Software Developer Position

    2 weeks ago

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

    We are seeking a skilled professional to join our team as a Principal Software Engineer. This role offers an exceptional opportunity to work on cutting-edge technology and make a meaningful impact in the field of software development.Job DescriptionAs a Principal Software Engineer, you will be responsible for designing, developing, and troubleshooting...