לוח משרות דרושים מתמטיקאים משרה מלאה, לחיפוש זה נמצאו 33 משרות

We are looking for a Formal Verification Engineer for our NVIDIA Networking team!

This is an exciting opportunity to join a hardworking Pre-Silicon design and verification team, working on groundbreaking NIC technologies. We deploy state-of-the art formal verification tools and methodologies to prove design correctness. Working in our formal verification team will expose you to a wide range of cutting edge design and technologies. Our NIC team delivers world class CPU interface and offload solutions for HPC, data-center, network, and storage markets. We micro-architect, verify, and deliver the best and most widely used high BW ethernet and IB NICs in the industry. NVIDIA has the most sophisticated formal tools and methodologies in the industry, which help us achieve A0 design tapeouts. As part of this team, you'll enjoy a versatile work environment, which is educational, dynamic and ambitious.

What you'll be doing:
In this position you will use formal verification algorithms to formally prove the correctness of complicated logic problems.
You will work on ambitious designs along with our Pre-Silicon team and take part in developing the next generation of NVIDIA's core technology.
Learn state of the art formal methodologies and advance your expertise in communication protocols and hardware implementations.

We are looking for a highly experienced a hands-on Compiler Engineer who embodies ambition and positivity.
Someone who can passionately take ownership of their responsibilities, collaborating effectively with remote teams to not only meet but exceed our objectives and fulfill the evolving needs of our expanding customer base.
Responsibilities:
Develop our compiler from a proprietary quantum language to a proprietary processor tailored to realize and accelerate quantum computing.
Take on complex optimization challenges at the core of our unique compiler, focusing on real-time applications, hybrid quantum/classical algorithms, and parallel processing.
Conduct rigorous testing, debugging, and profiling to ensure the performance and correctness of compiler outputs.
Hands-on development and debugging of software to optimize the utilization of limited hardware resources, enabling the scaling of quantum computing systems and improving quantum algorithm performance on our cutting-edge quantum orchestration platform.
Collaborate closely with hardware, software and architecture teams to ensure seamless software-hardware integration, directly enhancing system capabilities and performance.

Were looking for a passionate engineer with a strong foundation in signal processing and an appetite for solving complex, real-world problems.

We are seeking a highly motivated and talented Junior AI Scientist to join our FILM (Foundation Intelligence & Learning Models) team. This role is designed for an early-career professional or a recent graduate who is passionate about driving customer impact, through the frontier of Artificial Intelligence, Generative AI and agentic architecture. As a Junior AI Scientist, you will work closely with senior researchers and engineers to develop, refine, and deploy cutting-edge AI solutions that impact our core technology stack.
Responsibilities:
Assist in the research and development of Generative AI (GenAI) applications and frameworks.
Clean, analyze, and interpret large datasets to derive actionable insights for model training and evaluation.
Participate in the full lifecycle of GenAI development, from initial concept to deployment and monitoring.
Stay up-to-date with the latest advancements in GenAI/ML research and propose innovative ideas to solve complex problems.