לוח משרות דרושים מדעים מדוייקים

Required Data Researcher
Israel - Tel Aviv
About the role:
As a Data Researcher, you will own one of the companys most critical assets: the accuracy, robustness, and performance of what is widely recognized as the leading e commerce fraud decisioning system in the industry.
In this role, you are expected to think creatively and push boundaries. You will design smart logical and technical solutions to real and constantly evolving business challenges faced by some of the worlds largest and most sophisticated online retailers. Your work will operate at the intersection of deep data research, production systems, and real world impact.
You will also have exposure to key customers, working closely with them to deliver analytical insights and adapt solutions to their unique needs. This direct connection between research, product, and customer impact is a core part of the role.
You will join a high caliber, fast moving research group with a strong culture of excellence, curiosity, and ownership. We work in an informal, collaborative environment where strong opinions are welcome and great ideas move fast. The role offers meaningful growth opportunities, with clear paths toward both senior individual contributor and managerial tracks, depending on where you want to take your career.
Your work will directly shape our product, protect millions of consumers and merchants, and help define the future of trust in digital commerce.
What you'll be doing:
Invent, design, implement, and continuously refine the core decisioning logic and models that run in our live production systems
Research complex fraud patterns, adversarial behaviors, and emerging global threats at scale
Leverage rich and diverse datasets to generate actionable insights, build new system components, and advance feature engineering efforts
Develop, prototype, and automate tools and processes that improve the accuracy, scalability, and efficiency of our systems
Collaborate closely with Data Scientists, Analysts, Researchers, and Engineers to build the next generation of our AI driven technology.

Do you want to help create the future of healthcare? Our name, our company Healthineers, was selected to honor our people who dedicate their energy and passion to this cause. It reflects their pioneering spirit combined with our long history of engineering in the ever-evolving healthcare industry.
We offer you a flexible and dynamic environment with opportunities to go beyond your comfort zone in order to grow personally and professionally. Sounds interesting?
CEECA Radiology Solutions Partner (m/f/d) X ray, Fluoro & Mammography
Location: CEECA Zone (Remote)
We are looking for someone with deep radiology expertise who enjoys acting as an internal advisor - collaborating, guiding, and influencing through knowledge, competence, and professional credibility. This is an excellent opportunity to shape the radiology market - with a strong focus on Womens Health - across more than 30 countries in the CEECA zone.
Your Tasks and Responsibilities:
Provide expert consultation to internal teams on X ray, fluoroscopy, and mammography systems.
Advise on equipment selection, system specifications, and clinical workflows.
Collaborate closely with internal stakeholders: Country Business Managers, Business Partners, and Sales.
Support tender processes by preparing technical documentation and specifications.
Deliver product presentations, demonstrations, and specialized workshops for internal and external stakeholders.
Analyze market and competitor information to identify trends and generate strategic insights.
Collaborate with HQ on new product definitions and support product escalations.

Our Formal Verification (FV) team is seeking a visionary AI Verification Engineer to join our elite Networking Chip Design group. Our team is unique: we define the infrastructure and drive the methodologies for proving the correctness of the worlds most advanced AI and networking architectures. We operate at the cutting edge, leveraging a sophisticated ecosystem of proprietary in-house formal tools and industry-leading vendor EDA solutions.

In this role, you will be a key architect in our "AI-for-FV" evolution. You will work in close collaboration with our internal CAD and Design Technology AI teams to enhance our in-house toolset with artificial intelligence. You won't just be using tools; you will be building the "brains" that sit on top of them-utilizing LLMs and Machine Learning to automate intent-to-proof workflows and debug complex chips with unprecedented speed.

What Youll Be Doing:

In-House Tool Evolution: Partner closely with internal CAD teams to integrate AI capabilities directly into our proprietary FV infrastructure.

Methodology Architecture: Define and evolve the FV teams specialized methodologies, moving from manual property writing to AI-automated assertions.

Next-Gen Orchestration: Develop and integrate AI agents and ML models that interface with our toolchain to automate "intent-to-assertion" workflows and optimize coverage and convergence.

Intelligent Debugging: Create AI-based debug assistants that analyze formal counter-examples, categorize failures, and autonomously suggest fixes for complex logic problems.

Collaborative Intelligence: Act as the bridge between the FV team, Design Technology AI, and CAD groups to ensure our AI solutions provide end-to-end efficiency from RTL to A0 tapeout.

Leadership & Training: Act as the authority on AI integration, training the broader team on how to leverage "human-in-the-loop" AI tools and automated methodologies.

We are seek a forward-thinking, innovative, and experienced Solutions Architect with hands-on experience.

By joining the team, youll take a part in the design and implementation of complex data center solutions, including solution architecture, HW and SW deployment, performance, and return on investment analysis. You will work with software developers and architects to research and analyze new, groundbreaking technologies.

The candidate is expected to have hands-on experience with data center technologies, including operating systems, virtualization and containerization technologies, storage, networking, and infrastructure as code (IaC) tools such as Ansible. A candidate for this position must excel at working independently as well as in a group, in a multidisciplinary, dynamic environment.

What youll be doing:
Implement cutting-edge, end-to-end data center solutions with modern applications.
Architect, develop, deploy, automate, analyze, formalize findings, and release summary reports.
Develop and release reference deployment guides and how-to tutorials.
Support company business units on complex solutions delivery by consulting, providing solutions designs, running POCs, etc.
Research technology trends and deliver best practices for integrating NVIDIA products and technologies.

We are seeking a Principal verification engineer to be a technical lead in the chip design methodologies team. The team is in charge of the verification methodologies, shared code, training, and adopting new technologies. One of our main goals is to define, build and use best in class technologies make sure that the chip design team works in an efficient manner and provides high-quality deliveries at scale. This position offers the opportunity to drive foundational flows and have a profound impact in a dynamic, technology-focused company.

What you'll be doing:

Define groundbreaking methodologies to create a flawless experience for verification engineers.

Mentor and guide designers and verification specialists to tackle complex technical challenges.

Identify design risks, define the verification scope, and lead infrastructure development to ensure design correctness.

Technically guide the development process of shared verification code and infrastructure to be widely used by the global chip design team.

Partner with the design automation team to provide end-to-end solutions that unify verification, simulation, and automation.

Collaborate with EDA vendors to learn about innovative tools/technology and integrate them into our long-term verification strategy.

Lead verification strategies, training sessions.

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

This is an exciting opportunity to join a hardworking Pre-Silicon design and verification team, working on groundbreaking Switch 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 Switch team delivers world class Bridge and router solutions for HPC, data-center, network, and storage markets. We micro-architect, verify, and deliver smart and high bandwidth multi port switches. We have 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 our core technology.

You will work on developing new formal verification methodologies and tactics.

Our New Product Introduction (NPI) team is growing, and We are now looking for a Chip Engineering Operations Program Manager! The Engineering Operations group has an immediate opening for a top Program Manager. This group is responsible for the silicon schedule from bring-up to production release. We are looking for individuals who thrive in a dynamic environment, and are not afraid to roll-up his their sleeves and get their hands dirty. We desire a self-starter, with great communication skills; as well as a leader, with a deep sense of commitment. You will be responsible for developing wafer forecasts, schedule generation and management, supporting cross-functional teams, and mitigating any programmatic risks. You will also review and improve processes, and handle prototype demand.

What you'll be doing:

You own silicon bring-up schedule from power on to production release.

Negotiate silicon and board demand with teams and drive a bottom-up forecast.

Oversee and manage chip and board allocations across the company.

Lead prototype chip delivery to internal customers.

Track and coordinate engineering deliverables, key milestones and qualification/validation tasks in the new product introduction phase.

Identify and mitigate risks to schedules and programs.

Communicate status to cross-functional teams as well as upper management.

Continuously evaluate internal tools and processes and drive fixes to improve productivity.

Create new and fix existing processes between different teams.

Drive implementation of SW tools for data analytics and process evaluation.

We are looking for a Formal Verification Engineer for our 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. We have 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.