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

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 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. 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.

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

Were hiring an Optimization Algorithm Developer to own the algorithmic core of our cloud cost optimization solutions. Youll design optimization strategies, apply predictive and machine learning methods where they add value, and work with backend and data engineers to embed algorithms into production.

This is a hands-on role for someone who enjoys solving complex cost/performance trade-offs at scale and wants to see their algorithms drive tangible impact for customers.


Your ownership will include:

Develop and refine optimization algorithms for cloud usage and workload management.
Use statistical modeling, predictive techniques, and machine learning to analyze patterns and anticipate future behavior.
Deliver practical solutions that provide value early and can evolve into production-grade algorithms.
Define data and integration requirements; collaborate with backend engineers to operationalize solutions.
Establish clear evaluation methods (backtesting, offline experiments, KPIs) to measure performance.
Stay current with cloud economics, Kubernetes scaling practices, and FinOps trends.

we are seeking a skilled and passionate Data Scientist. At Windward, we are dedicated to creating a safer, more transparent, frictionless, and efficient maritime industry. Our mission is safeguarding maritime domains with AI technology that makes the right action easy, empowering responsible governance and secure global trade for a better world.
What will you do?

Develop and implement a variety of models (e.g., LLM, predictive models, classifiers, time series) on both public and proprietary data
Lead projects from ideation to production, ensuring solutions are effective in real-world scenarios and monitored for quality over time
Collaborate with product managers to understand problems and define solutions
Contribute to the research environment in order to improve the flexibility and quality of delivery

We are looking for a JavaScript Algorithm Engineer.
You will be joining a team of highly professional and innovative engineers and scientists that are driven by passion for the domain and the mission of the company. We value scientific and engineering excellence, are committed to creating high impact products that reach our customers and work in collaboration with each other in an egoless environment.
Your Impact:
Research, design and implement new detection algorithms for web accessibility issues and improve existing ones.
Ensure all research is well documented and reproducible.
Build and enhance tools that enable data collection, labeling and analysis at scale for research purposes.
Integrate new models and algorithms into existing products.
Build interfaces for projects in the POC phase to enable demonstration and the collection of feedback from internal users and select design partners.

we are a rapidly growing startup company, developing the next-generation smart-infrastructure solution based on novel fiber-sensing technology (smart roads, smart cities, perimeters, and grid monitoring, etc.). The company offers an award-winning disruptive solution; a sensor free approach to smart infrastructure. The company is VC backed and in the revenues stage.
Combining pioneering technology in optical fiber sensing with state-of-the-art machine learning, we help prevent environmental disasters, protect human lives, and keep critical energy and transportation backbones running smoothly.
The Chief Scientist at our company is the companys top expert on physics, fiber sensing, and scientific innovation. This role shapes our companys core technologyfrom hardware and sensing architecture to research leadership and IP strategy. It combines deep technical expertise in DAS with hands-on leadership across science, engineering, and innovation.
The Physics Team Leader will report to the VP R&D.
What Youll Do:
Own and lead the development of our next-generation fiber-sensing systems, driving innovation from concept through production.
Manage and grow a multidisciplinary team of physicists, providing technical mentorship and day-to-day leadership.
Oversee cross-functional hardware development, including: optical system design and
integration, electrical board design, thermal design of enclosures and components.
Serve as our companys subject matter expert in fiber sensing in general and DAS in particular and in geophysics and seismology.
Lead scientific research and collaboration, including academic partnerships and publications in those fields.
Lead our companys IP and patent strategy and build its IP Portfolio, including drafting and managing patent applications.
Lead system-level architecture decisions, integrating optical, mechanical, electrical, and computational elements to deliver reliable, high-performance systems.
Collaborate closely with algorithm, software, and field engineering teams to ensure smooth integration and deployment of hardware in real-world environments.