Senior Formal Verification Expert

2 days ago

Tel AvivYafo, Israel beBeeVerification Full time

A cloud computing platform is constantly evolving, with new innovations and features being released regularly.

As a member of our Utility Computing organization, you'll support the development and management of Compute, Database, Storage, Internet of Things (IoT), Platform, and Productivity Apps services.

Within our organization, Amazon Dedicated Cloud (ADC) roles engage with customers who require specialized security solutions for their cloud services.

Annapurna Labs develops innovative hardware and software for our cloud infrastructure.

We're seeking a leader to join our Formal Verification team, which plays a central role in the verification effort and vision.

The team shares goals with other verification teams and offers diverse experiences.


About Us*Diverse Experiences*

We value diverse backgrounds and encourage candidates from all walks of life to apply.

*Why Choose Us*

We pioneered cloud computing and continue to innovate, making us the world's most comprehensive and broadly adopted cloud platform.

*Work/Life Balance*

We prioritize work-life harmony, offering flexible work hours and arrangements.

*Inclusive Team Culture*

Ongoing events and learning experiences foster a culture of inclusion that empowers us to celebrate our differences.

*Mentorship and Career Growth*

We offer endless knowledge-sharing, mentorship, and career-advancing resources to help you develop as a professional.


Requirements
  • Bachelor's degree in Computer Science, Electrical Engineering, or a related field.
  • 5+ years of experience in hardware verification preferably in formal verification.
  • Digital logic systems, computer networks, and computer architecture knowledge.

Preferred Qualifications
  • Team player, highly motivated, and willing to work in dynamic environments.
  • Hardware formal verification tools and methodologies knowledge.

Please visit our website for more information on workplace accommodations and adjustments during the application and hiring process.

  • Semiconductor Platform Verification Specialist

    6 days ago

    Tel Aviv-Yafo, Israel beBeeVerification Full time

    Senior Verification EngineerAre you a skilled engineer looking for a challenging opportunity to lead the verification of cutting-edge semiconductor platforms? Do you have experience with full-chip/system-level verification of large-scale SoCs and expertise in SW development, object-oriented programming concepts, emulation/silicon debugging, waveform...

  • Senior Chip Designer Verification Specialist

    1 day ago

    Tel Aviv-Yafo, Israel beBeeChip Full time

    We are looking to hire a Chip Design Verification Specialist to join our Networking Silicon design team. The work environment is versatile, educational, dynamic and challenging as employees are currently working on innovative, next-generation networking devices at the forefront of technology in terms of performance and power efficiency.Daily work involves...

  • Senior Cybersecurity Expert

    2 days ago

    Tel Aviv-Yafo, Israel beBeeCybersecurity Full time

    We are seeking a senior technical professional to join our cybersecurity team. The ideal candidate will be responsible for positioning us as trusted partners with global enterprise clients, while bridging the gap between cybersecurity services and business objectives.This role requires a blend of technical affinity, strategic thinking, and exceptional...

  • Senior AI Operations Expert

    5 days ago

    Tel Aviv-Yafo, Israel beBeeMachineLearning Full time

    We're building a team to take our machine learning systems to the next level. We're looking for an experienced Senior Machine Learning Operations Engineer who can help us scale and maintain our infrastructure, ensuring our models are fast, reliable, and always improving.This is a fantastic opportunity to work closely with data scientists and engineers,...

  • Senior Data Engineering Expert

    2 weeks ago

    Tel Aviv-Yafo, Israel beBeeDataEngineering Full time

    About UsWe are a team of innovative professionals passionate about redefining the relationship between attorneys and clients. Our mission is to empower attorneys and consumers through the legal journey by providing cutting-edge solutions.OverviewData infrastructure is the backbone of our ability to drive AI-driven innovation and enhance product offerings. We...

  • Senior Cyber Security Design Expert

    2 weeks ago

    Tel Aviv-Yafo, Israel beBeeDesigner Full time

    About the RoleWe are seeking a Senior Product Designer to drive the design of core product experiences from concept to execution.You will collaborate closely with cross-functional teams to shape product strategy, elevate the user experience, and ensure cohesive, high-quality design across every touchpoint.Lead the design of end-to-end product experiences,...

  • Software Simulation Expert

    6 days ago

    Tel Aviv-Yafo, Israel beBeeEngineer Full time

    Job Description:NVIDIA is looking for a highly skilled Software Engineer to join their SW SIMX Verification Team. You will be part of a team developing tests and platforms for a next-generation Switch simulation, work closely with SW R&D teams, performance team, and gain a deep understanding of building advanced networking simulation solutions.As a key...

  • Lead Chip Designer and Verifier

    1 week ago

    Tel Aviv-Yafo, Israel beBeeVerification Full time

    Senior Chip Design Verification EngineerThis is a challenging role where you will be responsible for developing and verifying NVIDIA's next-generation chip controller. You will take part in designing and verifying our groundbreaking chips, working with a multi-discipline team to deliver high-performance communication devices.Key Responsibilities:Develop and...

  • Senior High-Performance Chip Engineer

    1 day ago

    Tel Aviv-Yafo, Israel beBeeDesigner Full time

    High-Performance Chip Designer">NVIDIA's outstanding Silicon Engineering team is seeking best-in-class Design/Verification Engineers to develop high-speed communication devices with the highest throughput and lowest latency. Join us in designing and verifying groundbreaking chips, enjoying a meaningful and professional environment where you make a huge...

  • Senior AI Infrastructure Developer

    1 week ago

    Tel Aviv-Yafo, Israel beBeeResearch Full time

    About Our OrganizationWe are a startup company that is revolutionizing the field of artificial intelligence (AI). Our team consists of industry leaders and experts in AI, who share a common goal of making GenAI systems reliable, resilient, and production-ready.Our MissionWe aim to push the boundaries of what GenAI can achieve by conducting cutting-edge...