Current jobs related to Advanced Formal Verification Specialist - Bengaluru, Karnataka - beBeeVerification

  • Formal Verification Specialist

    2 weeks ago

    Bengaluru, Karnataka, India beBeeVerification Full time ₹ 15,00,000 - ₹ 20,00,000

    Job Title: Formal Verification SpecialistWe are seeking a skilled Formal Verification Specialist to join our team. As a Formal Verification Specialist, you will be responsible for working with world-class design engineers to develop formal micro-architecture specifications. You will also create comprehensive formal verification test plans that include unique...

  • Advanced Formal Verification Specialist

    2 weeks ago

    Bengaluru, Karnataka, India beBeeVerification Full time ₹ 10,00,000 - ₹ 15,00,000

    Formal Verification EngineerWe are seeking a skilled formal verification engineer to join our team. In this role, you will be responsible for developing formal micro-architecture specifications and implementing re-usable and optimized formal models and verification code base.Key Responsibilities:Work with design engineers to develop comprehensive formal...

  • Certified Formal Verification Expert

    1 week ago

    Bengaluru, Karnataka, India beBeeVerification Full time ₹ 15,00,000 - ₹ 20,00,000

    Formal Verification SpecialistAbout The RoleWe are seeking a skilled Formal Verification Specialist to join our team. As a key member of our verification group, you will be responsible for conducting formal verification of IP and/or SoC microarchitecture using advanced tools, methodologies, and technologies based on model checking and equivalence checking...

  • Formal Verification Specialist

    2 weeks ago

    Bengaluru, Karnataka, India beBeeVerification Full time ₹ 12,00,000 - ₹ 20,15,000

    Job OverviewWe are seeking a skilled Formal Verification Specialist to join our team. The successful candidate will work on the complete formal verification for single or multiple design blocks and IPs, including CPU, Connectivity IP, Audio and Image Processing IP, Neural Networks IP, Memory/DMA Controller, Security IP, Peripheral IP, Interconnects, Power...

  • Formal verification

    2 days ago

    Bengaluru, Karnataka, India Quest Global Full time ₹ 15,00,000 - ₹ 25,00,000 per year

    Job Requirements Formal Verification Engineer Job DescriptionOverviewWe're looking for a highly skilled Formal Verification Engineer to join our team. You'll be responsible for using formal methods to ensure the correctness and functional safety of our cutting-edge hardware designs. This role requires a deep understanding of digital logic, formal...

  • Formal Verification

    3 weeks ago

    Bengaluru, Karnataka, India L&T Technology Services Full time

    As a formal verification engineer working the complete formal verification for single or multiple design blocks and IP's (CPU, Connectivity IP, Audio and Image Processing IP, Neural Networks IP, Memory/DMA Controller, Security IP, Peripheral IP, Interconnects, Power management subsystems, etc.)- Experience with at least one formal verification tool (e.g.,...

  • Formal Verification

    3 weeks ago

    Bengaluru, Karnataka, India L&T Technology Services Full time

    As a formal verification engineer working the complete formal verification for single or multiple design blocks and IP's (CPU, Connectivity IP, Audio and Image Processing IP, Neural Networks IP, Memory/DMA Controller, Security IP, Peripheral IP, Interconnects, Power management subsystems, etc.) Experience with at least one formal verification tool (e.g.,...

  • Formal Verification

    2 weeks ago

    Bengaluru, Karnataka, India L&T Technology Services Full time

    As a formal verification engineer working the complete formal verification for single or multiple design blocks and IP's (CPU, Connectivity IP, Audio and Image Processing IP, Neural Networks IP, Memory/DMA Controller, Security IP, Peripheral IP, Interconnects, Power management subsystems, etc.)Experience with at least one formal verification tool (e.g.,...

  • CPU Formal Verification Engineer

    2 weeks ago

    Bengaluru, Karnataka, India beBeeFormalVerification Full time ₹ 5,00,000 - ₹ 8,00,000

    Job Title: CPU Formal Verification SpecialistWe are seeking a skilled CPU Formal Verification Specialist to join our team. This role involves working with the design team to understand design intent and develop verification plans and schedules for the end-to-end formalization of the refinement from architecture to micro-architecture.The successful candidate...

  • Formal Verification Engineer

    3 weeks ago

    Bengaluru, Karnataka, India L&T Technology Services Full time

    L&T Technology Services is hiring for Formal Verification Engineers with 5+ years of experience.Job Location: Bangalore, India.Job Description is mentioned in details::As a formal verification engineer working the complete formal verification for single or multiple design blocks and IP's (CPU, Connectivity IP, Audio and Image Processing IP, Neural Networks...

Advanced Formal Verification Specialist

3 weeks ago

Bengaluru, Karnataka, India beBeeVerification Full time ₹ 1,80,00,000 - ₹ 2,50,00,000

As a formal verification specialist, you will play a pivotal role in developing and implementing cutting-edge formal verification solutions for complex design architectures.

Key Responsibilities:
  • Collaborate with world-class designers to develop formal architecture specifications.
  • Design and implement comprehensive formal verification test plans that include unique verification requirements.
  • Prove properties of the design, identify bugs, and work closely with design teams to improve architecture.
  • Craft innovative solutions for modeling and proving robustness of complex design architectures.
  • Develop and implement reusable and optimized formal models and verification codebases.
  • Architect correct-by-construction design methodologies for improved formal verification efficiency and productivity.
  • Apply knowledge of temporal logic assertions.
  • Experience with formal verification tools (e.g., Cadence Jasper, Synopsys VC-Formal) is essential.
  • Experience with complex verification projects that utilize formal techniques for closure is also required.
  • Proficiency in Python, Perl, or Shell scripting is beneficial.

This role requires a deep understanding of formal verification principles, expertise in relevant tools and technologies, and excellent collaboration and problem-solving skills.

LT Technology Services offers a dynamic work environment, opportunities for growth and development, and a competitive compensation package.