Senior Formal Verification Expert

6 days ago


Gurgaon, Haryana, India beBeeVerification Full time US$ 2,00,000 - US$ 2,50,000
Role Overview

As a Distinguished Engineer, you will play a key role in driving innovation and excellence in the field of Formal Verification.

Responsibilities:
  • Develop and drive adoption of new methodologies and best practices in Formal Verification.
  • Drive technical innovation and strategic collaborations to improve verification efficiency and effectiveness across CPU, GPU, and SoC chips.
  • Serve as a key technical leader driving Formal Verification roadmap across multiple projects, defining critical metrics, gathering requirements, and addressing complex technical challenges.

Requirements:
  • Deep expertise in Formal Verification with proven track record in taking on complex verification challenges in advanced CPU, GPU, and SoC chips.
  • Demonstrated success in leading complex projects to completion, showcasing the ability to influence and achieve results without direct authority in collaborative environments.
  • B Tech or M Tech degree in Computer Science, Electrical Engineering, or related field.
  • At least 18 years of relevant experience.

What We Offer:
  • Competitive salaries and a generous benefits package.
  • A dynamic, technology-focused company that is widely considered to be one of the most desirable employers in the industry.
  • The opportunity to work on some of the most complex verification challenges in advanced computing, graphics, and networking chips.

How to Stand Out:
  • Proficiency in scripting to automate tasks.
  • Experience in using Generative AI to improve efficiency and accelerate workflows.
  • Excellent analytical and problem-solving skills.
  • Strong interpersonal and stakeholder management skills.


  • Gurgaon, Haryana, India SVCL Full time ₹ 2,70,000 - ₹ 3,18,000 per year

    Location:Gurugram (On-site)Role:Responsible for insurance & formal verification, customer service, and ensuring accuracy in documentation.Qualifications:1–2 years of experience (preferably in financial services/microfinance)Strong analytical & communication skillsDetail-oriented, organized, and team playerProficiency in Marathi & Punjabi ...


  • Gurgaon, Haryana, India beBeeSoftware Full time ₹ 35,00,000 - ₹ 50,00,000

    Expertise SoughtWe are seeking a skilled senior software expert to bolster the core development capabilities of our platform.Key Responsibilities:Converting business requirements into software solutions.Collaborating across functions and working in all phases of the product lifecycle, including design, implementation, verification, maintenance, and...

  • Senior OTM Expert

    7 days ago


    Gurgaon, Haryana, India beBeeTransportation Full time ₹ 15,00,000 - ₹ 20,00,000

    Job Title: Senior Oracle Transportation Management SpecialistWe are seeking a seasoned expert in Oracle Transportation Management (OTM) to join our team. The ideal candidate should possess a strong combination of technical and functional skills in OTM, with proven experience in delivering end-to-end transportation solutions.Collaborate with business...


  • Gurgaon, Haryana, India beBeeVerification Full time ₹ 90,00,000 - ₹ 1,15,00,000

    Job Description:Mercer India is seeking candidates for the following position based in the Gurgaon officeWe are looking to hire a highly skilled and motivated professional responsible for both day-to-day operations of the Vendor Control Review Program and its continued expansion to new regions throughout the globe. This role will report to the Vendor Control...


  • Gurgaon, Haryana, India Egon Zehnder Full time ₹ 15,00,000 - ₹ 20,00,000 per year

    EgonZehnder:Egon Zehnder ) is trusted advisor to many of the world's most respected organizations and a leading Executive Search firm, with more than 400 consultants and 69 offices in 41 countries spanning Europe, the Americas, Asia Pacific, the Middle East and Africa. Our clients range from the largest corporations to emerging growth companies, government...


  • Gurgaon, Haryana, India beBeeFinancial Full time US$ 80,000 - US$ 1,20,000

    Senior Financial ExpertWe are seeking an experienced Senior Financial Expert to lead our financial analysis efforts. The ideal candidate will have a strong analytical background and expertise in financial modeling.Key Responsibilities:Extract and analyze financial data from reports, conduct statistical analysis, and provide actionable insights.Contribute to...


  • Gurgaon, Haryana, India beBeeBackendDeveloper Full time ₹ 20,00,000 - ₹ 25,00,000

    We are looking for a seasoned developer to join our team as a senior backend expert. The ideal candidate will be responsible for designing and developing new software products, as well as enhancing existing ones.


  • Gurgaon, Haryana, India beBeeHvac Full time US$ 2,00,000 - US$ 2,50,000

    Senior Principal HVAC Design ExpertYou will lead a team of experts in designing and implementing complex HVAC systems for large-scale commercial and industrial projects. As a senior principal, you will be responsible for developing technical solutions to difficult problems, performing complex assignments involving multiple application platforms, and...


  • Gurgaon, Haryana, India beBeeExpertise Full time ₹ 15,00,000 - ₹ 28,00,000

    Senior Flutter ExpertThe role of a senior Flutter expert involves leading the development and deployment of innovative mobile applications using the Flutter framework. Key responsibilities include creating high-quality, engaging user interfaces and experiences that meet or exceed client expectations.Must have at least two years of experience in developing...

  • Senior Manager

    3 days ago


    Gurgaon, Haryana, India beBeeAudit Full time ₹ 1,50,00,000 - ₹ 2,40,00,000

    Job Title: Senior Manager - IT Audit ExpertWe are seeking a seasoned IT audit expert to lead our team. The ideal candidate will have extensive experience in IT and IS audit, with exposure to ITGC, BCP, and data privacy.Key Responsibilities:Conduct comprehensive audits across IT infrastructure, applications, networks, and cybersecurity controls.Evaluate and...