לוח משרות דרושים הייטק תוכנה בפתח תקווה

we are looking for a Senior Formal Verification Engineer (Contractor).
This is a full-time on-site role for a Formal Verification Engineer in Petah Tikva, Israel.
The Formal Verification Engineer will be responsible for developing and implementing formal verification environments, writing and applying verification plans, and conducting formal property verification. Additional tasks include analyzing coverage results, debugging, working with design engineers to resolve issues, and reporting outcomes to ensure the accuracy and efficiency of the designs.

Lead the tech behind one of Israels fastest-growing companies. At Kendago, were not just running ads - were building a game-changing tech product that gives our marketing teams a serious edge. Its a smart, insight-driven optimization platform that analyses tons of ads data and turns it into Real-Time recommendations and insights for publishers. Now were looking for a passionate and proactive team leader to head the R&D team building this core product. Youll be at the center of our most strategic tech and business initiatives, driving innovation and delivering high-impact solutions Were looking for a hands-on Software team leader (30%) who enjoys building modern web systems and leading people - while staying close to the code, reporting to the VP R&D. Our Office is located in Kiryat Ono. This is a hybrid position, including two to three work-from-home days per week, with flexibility based on team and individual needs.
Responsibilities:
* Lead a Full-Stack team working on our proprietary optimization platform Architect and build high-scale, data -centric web systems.
* Be a hands-on leader: code when needed, unblock, mentor, and push forward.
* Collaborate with product managers who work hand-in-hand with our performance teams.
* Balance rapid delivery with long-term architecture and stability
Biz Dev:
R&D.
Remote/Hybrid:
Hybrid.

We are looking for a Senior Algorithm engineer to join a high-velocity R&D team developing advanced Real-Time algorithms for mission-critical defense systems. The role focuses on designing, implementing, and evolving estimation, inference, and decision algorithms that operate under real-world constraints such as uncertainty, latency, partial observability, and adversarial conditions. You will take ownership of core algorithmic components from theoretical formulation through deployment in operational systems.
Responsibilities:
Design, implement, and maintain Real-Time estimation and inference algorithms operating on heterogeneous sensor inputs. Develop and tune probabilistic state-estimation models, including non-linear filters, adaptive models, and prediction mechanisms. Implement uncertainty management, gating, clustering, hypothesis handling, and state lifecycle logic. Integrate AI/ML components where they provide measurable value (classification, anomaly detection, decision support). Own algorithm performance across stability, convergence, latency, and numerical robustness metrics. Translate operational and system -level needs into mathematical formulations and deployable algorithms. Collaborate closely with system engineers and software teams to integrate algorithms into Real-Time command-and-control environments. Analyze operational data, simulations, and edge cases; iteratively refine models based on empirical performance. Participate in algorithm design reviews, trade-off analyses, and performance assessments.

We are seeking a creative, motivated and skilled real-time embedded engineer to join our firmware development team.
The ideal candidate will possess strong problem-solving abilities and passion for developing innovative embedded solutions.

In this role, you will design, implement and maintain real-time embedded software for our next-generation wireless power products.

You will report directly to the VP of R&D.

Job Responsibilities:
Design, develop, improve, and maintain real-time embedded software from concept through production.
Define and implement firm architecture on ARM Cortex-M & STM8 microcontrollers.
Integrate real-time embedded software with external hardware components and complete system products.
Collaborate closely with hardware, systems and QA teams to ensure seamless integration and performance.
Participate in code reviews, debugging and system validation processes.
Create and maintain clear technical documentation for design and code.

Additional details: we are looking for an R&D Manager. As the leader of our growing R&D group, you will play a key role as a mentor, shape the design of our systems, and set standards for quality and delivery. If you want to take part in the development of core defense solutions, participate in all product development stages, attend military experiments, and contribute to the national security, your place is with us!
Responsibilities:
Manage software development lifecycle, deliverables, performance, and vision. Plan and Lead features development, functional and non-functional, From SW design through implementation, automation, and manual testing. Lead and take part in defining architecture discussions and the division's technological roadmap and lifecycle. Build and maintain an engineering culture of excellence. Lead and monitor the developments execution, deliveries and KPIs. Direct the professional growth of staff by providing coaching, mentoring, training, and supervision of the software engineering groups, including backend, frontend and DevOps. Strategize and align with commercial operations and deployment teams to ensure timelines and budgets are met. Advocating and communicating technology capabilities internally and externally, including leadership, Utilities Board, customers, partners, and investor

Were looking for a Data Product to join us in leading smart, data-driven products and solutions that create real value for customers, employees, and the business.

This is a key position at the intersection of data, technology, and business managing end-to-end product lifecycles, collaborating cross-functionally with diverse stakeholders, and leading organization-wide processes in a complex, dynamic, and forward-looking environment.



Key Responsibilities
Product Management
Define the vision, strategy, and roadmap for data- and AI-driven products
Identify business needs and translate them into measurable product requirements
Lead discovery and design processes in collaboration with users and business stakeholders
Manage backlog and prioritize features based on business value and impact
Collaborate closely with Engineering, Data, UX, and Data Science teams
Ensure product quality throughout the lifecycle (QA, rollout, adoption)
Data, ML & GenAI
Define data layers, metrics, and intelligent models (ML)
Design, manage, and implement GenAI-based solutions (e.g., language models, chatbots, generative automation, and more)
Measure results, run experiments (A/B testing), and drive continuous improvement
Define business KPIs and translate insights into data-driven actions
Cross-Organizational Collaboration & Leadership
Work closely with business units, regulation, actuarial, risk, digital, service, and other teams
Lead cross-organizational processes within a large and complex enterprise
Communicate effectively with stakeholders, manage expectations, and present business insights

At our company AI were expanding a fast-growing practice that helps companies build and ship production-ready GenAI products and solutions. Weve served many satisfied customers globally and are now hiring a hands-on GenAI leader to join our GenAI Center of Excellence in Israel.
As a Generative AI Engineering Lead, you will lead the design, development and implementation of cutting-edge Generative AI solutions for our clients - ranging from Fortune 500s and enterprises to leading SMBs and startups. In this hands-on role, you will work closely with software, AI & data engineers, data scientists, architects and PMs to drive innovation and efficiency through AI solutions.
Responsibilities:
● Lead (hands-on) the design and development of state-of-the-art Gen-AI applications and products for top-tier clients
● Build and lead a team of GenAI engineers working across the stack to deliver end-to-end production-grade AI solutions to complex business problems
● Lead client AI discovery processes and sessions to deeply understand the customers needs and provide AI implementation recommendations
● Provide customers with Generative AI expertise and advisory through architecture designs, PoCs and solution reviews
● Work closely with our teams of cloud experts to deploy AI solutions across all major cloud environments (Azure ,AWS, GCP)
● Collaborate with cross-functional teams to translate business requirements into technical specifications for AI-powered applications
● Stay up-to-date with the latest GenAI technologies, research and trends.

Were seeking a Team Lead Generative AI Engineer to lead a team of engineers in designing, developing, and deploying production-grade AI systems. This role is ideal for someone who is both a strong technical contributor and an experienced people leadercapable of driving architecture decisions, mentoring team members, and delivering innovative AI solutions at scale.
You will be responsible for guiding the end-to-end lifecycle of Generative AI applications, ensuring technical excellence, scalability, and alignment with business needs. This includes working across backend systems, RAG pipelines, prompt engineering, and cloud-native deployments.
Key Responsibilities
Leadership & Team Management Lead and mentor a team of AI/ML engineers, fostering growth and technical excellence.
Define and enforce coding standards, architectural patterns, and best practices.
Collaborate with stakeholders to translate business needs into AI-driven solutions.
Manage project timelines, technical risks, and team deliverables.
Generative AI & Prompt Engineering Integrate and optimize applications using LLM provider APIs (OpenAI, Anthropic, etc.).
Design prompts with advanced techniques (few-shot, chain-of-thought, chaining, context crafting).
Implement safeguards (guardrails, structured output validation, injection protection).
Architecture & Backend Development Build scalable backend services in .NET (C#) and Python, working with SQL and APIs.
Develop and manage RAG pipelines, conversational AI systems, and summarization tools.
Drive observability: tracing, logging, monitoring for LLM-powered systems.
Evaluation & Optimization Benchmark and evaluate LLMs using custom datasets and automated testing.
Oversee system reliability, performance tuning, caching, and optimization.
Ensure solutions meet enterprise-grade standards for security and scalability.

We are looking for a talented and motivated Software Developer to join our team. In this role, you will be responsible for designing, developing, and maintaining high-quality software solutions, with a focus on C# and .NET technologies. The ideal candidate is passionate about technology, a team player, and eager to contribute to innovative projects.
Responsibilities:
Develop and maintain applications using C# and the .NET framework.
Collaborate with cross-functional teams to define, design, and ship new features.
Utilize Docker to containerize and deploy applications.
Contribute to mobile development projects using MAUI/Xamarin (a plus).
Troubleshoot and debug issues across the software stack.
Continuously learn and apply new technologies to improve software performance and user experience.