עדיין מחפשים עבודה במנועי חיפוש? הגיע הזמן להשתדרג!
במקום לעבור לבד על אלפי מודעות, Jobify מנתחת את קורות החיים שלך ומציגה לך רק משרות שבאמת מתאימות לך.
מעל 80,000 משרות • 4,000 חדשות ביום
חינם. בלי פרסומות. בלי אותיות קטנות.
Job Requisition ID
JR2015267
Job Category
Engineering
Time Type
Full time
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
- 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
- Background in architecture simulators
- Experience in firmware / embedded systems
- Experience in Formal Verification in software
- Hands-on experience applying AI in a professional environment
במקום לעבור לבד על אלפי מודעות, Jobify מנתחת את קורות החיים שלך ומציגה לך רק משרות שבאמת מתאימות לך.
מעל 80,000 משרות • 4,000 חדשות ביום
חינם. בלי פרסומות. בלי אותיות קטנות.