Formal Verification Engineer at NVIDIA

Tel Aviv, Tel-Aviv District, Israel -

Full Time

Start Date

Immediate

Expiry Date

23 Jun, 26

Salary

0.0

Posted On

25 Mar, 26

Experience

2 year(s) or above

Remote Job

Yes

Telecommute

Yes

Sponsor Visa

Skills

Formal Verification, Software Engineering, Computer Science, Hardware Verification, Methodologies, Logic Problems, Firmware, Software Development, Analytical Skills, Logical Reasoning, Problem-Solving, Communication, Architecture Simulators, Embedded Systems, AI Application

Industry

Computer Hardware Manufacturing

Description

We are looking for a Software Engineer or Computer Scientist for our NVIDIA Software Formal Verification team! This is an exciting opportunity to join a unique team dealing with cutting-edge Formal Verification technology for both software and hardware. Supporting NVIDIA Switch, NIC, and GPU technologies, we research and use state-of-the-art formal verification tools and methodologies to mathematically prove the correctness of both software and hardware. You will be joining a growing team, using both in-house and third-party technologies that keep developing, and assist in defining new methodologies. As part of this team, you'll enjoy a versatile work environment that is educational, dynamic, and ambitious. What you'll be doing: In this position, you will use formal verification tools and methods to mathematically prove the correctness of complicated logic problems Help develop our Software Formal Verification methodologies and tools You will work on ambitious designs along with our Firmware and Software teams and take part in developing the next generation of NVIDIA's core technology What we need to see: BSc in Computer Engineering/Computer Science/Mathematics or equivalent 4+ years of experience in Software Excellent analytical, logical reasoning, and problem-solving skills Strong communication and interpersonal skills Fluent in English Ways to stand out from the crowd: Background in architecture simulators Experience in firmware / embedded systems Experience in Formal Verification in software Hands-on experience applying AI in a professional environment NVIDIA has some of the most forward-thinking and hardworking people in the world working for us. Are you a creative engineer who loves challenges? Come join our team and help us build the future HPC, data centers, and GPUs NVIDIA is the world leader in accelerated computing. NVIDIA pioneered accelerated computing to tackle challenges no one else can solve. Our work in AI and digital twins is transforming the world's largest industries and profoundly impacting society. Learn more about NVIDIA.

Responsibilities

This position involves using formal verification tools and methods to mathematically prove the correctness of complex logic problems. The engineer will also help develop Software Formal Verification methodologies and tools while collaborating with Firmware and Software teams on next-generation core technology.