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

Required Senior Formal Verification Engineer (Contractor)
Role Description
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.

We are looking for a Technical Support member with experience and technical background to handle case reproduction in the support LAB.
Key Responsibilities:
As a support LAB assistant, you will be required to simulate issues in the LAB and maintain the LAB environment for our global and domestic employees.
You will work together with our global and local interfaces to simulate problems on the LAB and provide feedback to the agent that handling the case.
Use Salesforce to manage cases.
Ability to work on flexible hours.

We are looking for an experienced, opinionated, and highly technical Staff Data Engineer to define the long-term direction of our Data Platform.
This role is ideal for a senior data leader who combines deep hands-on expertise with strong architectural judgment, enjoys mentoring others, and takes full ownership of complex, high-scale data systems.
You will drive platform architecture, set engineering standards, and lead the design and delivery of scalable batch and streaming data solutions on AWS.
Key Responsibilities:
Technical Leadership & Architecture:
Own and evolve the overall data platform architecture-scalability, reliability, security, and maintainability.
Lead the long-term strategic direction of the platform, balancing performance, cost, and operational excellence.
Introduce and drive adoption of modern data paradigms: lakehouse (Iceberg), event-driven pipelines, schema-aware processing.
Data Lake & Architecture Ownership:
Design, model, and evolve the Data Lake architecture, including:
Storage layout and data organization
Data formats and table design (e.g., Iceberg)
Batch and streaming ingestion patterns
Schema governance and lifecycle policies
Define and promote best practices for data modeling, partitioning, and data quality.
Ensure the Data Lake supports analytics, ML workloads, and operational systems at scale.
Platform Engineering:
Design and build high-scale ETL/ELT pipelines leveraging Apache Spark (EMR/Glue) and AWS-native services.
Optimize production-grade pipelines using S3, Athena, Kinesis, Lambda, Step Functions, and EKS.
Lead the rollout of modern patterns such as lakehouse architectures and event-driven data pipelines.
Security & Governance:
Ensure alignment with AWS security best practices-IAM, encryption, auditing, and compliance frameworks.
Partner with security and governance teams to support regulated and sensitive data environments.
Mentorship & Collaboration:
Serve as a technical mentor to data engineers; elevate team capabilities.
Lead architecture reviews and cross-team design discussions.
Work closely with Data Science, ML Engineering, Backend, and Product teams to deliver end‑to‑end data solutions.

We are assembling a highly skilled, small-scale engineering team focused on transforming generative AI innovation into real, production-grade platforms.
As a Platform Engineer with a strong backend orientation, you will architect and implement the core infrastructure that enables rapid deployment, experimentation, and scaling of advanced AI capabilities. Your work will bridge cutting-edge research with reliable, secure, high-performance systems powering the next generation of digital intelligence products.
Responsibilities:
Design and develop backend services and APIs for SaaS applications using Node.js and TypeScript
Architect and implement microservices and distributed systems optimized for scalability and maintainability
Build and maintain CI/CD pipelines for automated deployments and testing
Develop cloud-native solutions leveraging AWS services and Kubernetes (EKS)
Manage infrastructure as code using Terraform and Helm for Kubernetes deployments
Ensure system reliability, security, observability, and performance at scale
Collaborate with cross-functional teams to deliver features in an agile environment
Continuously improve platform architecture and development workflows.

We are seeking a Senior Backend & Data Engineer to join its SaaS Data Platform team.
This role offers a unique opportunity to design and build large-scale, high-performance data platforms and backend services that power our cloud-based products.
You will own features end to end-from architecture and design through development and production deployment-while working closely with Data Science, Machine Learning, DevOps, and Product teams.
What Youll Do:
Design, develop, and maintain scalable, secure data platforms and backend services on AWS.
Build batch and streaming ETL/ELT pipelines using Spark, Glue, Athena, Iceberg, Lambda, and EKS.
Develop backend components and data-processing workflows in a cloud-native environment.
Optimize performance, reliability, and observability of data pipelines and backend services.
Collaborate with ML, backend, DevOps, and product teams to deliver data-powered solutions.
Drive best practices, code quality, and technical excellence within the team.
Ensure security, compliance, and auditability using AWS best practices (IAM, encryption, auditing).
Tech Stack:
AWS Services: S3, Lambda, Glue, Step Functions, Kinesis, Athena, EMR, Airflow, Iceberg, EKS, SNS/SQS, EventBridge
Languages: Python (Node.js/TypeScript a plus)
Data & Processing: batch & streaming pipelines, distributed computing, serverless architectures, big data workflows
Tooling: CI/CD, GitHub, IaC (Terraform/CDK/SAM), containerized environments, Kubernetes
Observability: CloudWatch, Splunk, Grafana, Datadog
Key Responsibilities:
Design, develop, and maintain scalable, secure backend services and data platforms on AWS
Build and operate batch and streaming ETL/ELT pipelines using Spark, Glue, Athena, Iceberg, Lambda, and EKS
Develop backend components and data processing workflows in a cloud-native environment
Optimize performance, reliability, and observability of data pipelines and backend services
Collaborate with ML, backend, DevOps, and product teams to deliver data-driven solutions
Lead best practices in code quality, architecture, and technical excellence
Ensure security, compliance, and auditability using AWS best practices (IAM, encryption, auditing)

We are looking for an AI Quality & Evaluation Engineer to own the quality planning and execution of an AI-powered chat application operating over complex law enforcement and mobile device data.
This is a highly hands-on role focused on execution rather than high-level QA strategy. You will design, build, and run automated and semi-automated tests for LLM-driven workflows, create evaluation datasets, and continuously stress the system with realistic and extreme investigative scenarios.
What you will be doing:
Design, plan, and execute quality tests for an AI chat application built on LLMs and investigative data.
Build and maintain automation frameworks for prompt regression testing, multi-turn conversations, and model upgrades.
Create and curate evaluation datasets used for regression testing, benchmarking, and model comparison.
Design complex investigative scenarios including ambiguous, incomplete, or conflicting datasets.
Execute manual exploratory testing to uncover hallucinations, reasoning failures, and edge cases.
Work closely with engineering, product, and data teams as part of the development lifecycle.
Validate release readiness and identify regressions related to prompts, models, or data pipelines.
What makes this role different:
You are evaluating AI behavior rather than fixed expected outputs.
You help define what correctness and quality mean for AI reasoning over sensitive data.
You actively invent scenarios to stretch and break the system.
Your work directly impacts trust, reliability, and investigative confidence.

We are looking for a QA Automation Engineer to join our Viewer team and help ensure the reliability, scalability, and performance of our web applications. In this role, you will design and maintain automation frameworks, develop end-to-end tests, and proactively identify issues before they impact our users. You will also be responsible for production releases and managing production bugs, ensuring smooth deployments and quick resolution of critical issues. This position requires strong technical expertise, self-management, and excellent communication skills to collaborate effectively across teams.
Key Responsibilities:
Design and maintain robust test automation frameworks using JavaScript/TypeScript.
Develop and execute automated tests leveraging tools such as Playwright, Selenium, or Cypress.
Collaborate with developers, product managers, and designers to embed quality throughout the development lifecycle.
Debug complex issues using browser DevTools, network logs, and other diagnostic tools.
Integrate automated tests into CI/CD pipelines in partnership with DevOps and engineering teams.
Drive quality initiatives by identifying gaps and proposing improvements in testing processes.

Required Full Stack GenAI Engineer
Position Overview:
We are assembling a small-scale team of innovators committed to a transformative mission: advancing generative AI from conceptual breakthrough to tangible product reality. As a Senior Full Stack GenAI Engineer, you will be a critical architect of the technological infrastructure that brings our most ambitious GenAI concepts to life, transforming our digital intelligence solutions through cutting-edge AI innovation.
What youll love about your mission:
You are more than a developer, you are an innovation catalyst who will:
Transform abstract GenAI concepts into tangible, functional web applications
Design and develop flexible, scalable platforms that can rapidly prototype AI-driven solutions
Create intuitive interfaces that showcase the transformative potential of our AI technologies
Build the technological bridge between complex AI research and user-friendly product experiences
Experiment fearlessly with emerging technologies to push the boundaries of what's possible
What sets this role apart: Innovation at the Intersection of Technology:
You'll be working at the forefront of GenAI product development
Every line of code you write has the potential to unlock a breakthrough GenAI solution
Your technical expertise will directly impact the future of digital intelligence technologies
Exploration and Innovation:
Develop adaptive web architectures that can quickly integrate new GenAI capabilities
Experiment with cutting-edge frontend and backend technologies
Create flexible systems that can evolve with rapidly changing GenAI technologies
Collaborate closely with AI/GenAI researchers to translate complex concepts into user-friendly interfaces.

We are seeking a QA Engineer with a strong passion for data quality, performance, and scale to join our Data Platform team.
This role is ideal for a QA professional who enjoys working close to complex data systems, understands large-scale pipelines, and wants to play a key role in shaping the automation and quality strategy of a data engineering organization.
You will act as the primary quality owner for high-volume, mission-critical data platforms, working closely with data engineers, backend developers, and platform teams.
What Youll Do:
Data Quality & Validation:
Design and execute data validation strategies for large-scale batch and streaming pipelines
Ensure data correctness, completeness, freshness, and consistency across the data lake
Define and automate checks for schema changes, data drift, and data quality regressions
Performance & Scalability Testing:
Plan and execute performance and scalability tests for data pipelines and processing jobs
Identify bottlenecks across ingestion, transformation, and querying layers
Partner with engineers to validate performance improvements and prevent regressions
Automation & Infrastructure:
Develop and maintain the data teams QA automation infrastructure
Build reusable testing frameworks and tools tailored for large datasets and pipelines
Integrate automated tests into CI/CD pipelines and production monitoring workflows
Collaboration & Ownership:
Work closely with data engineers, backend developers, and platform engineers throughout the development lifecycle
Act as the sole QA owner within a cross-functional team, driving quality without becoming a bottleneck
Participate in design discussions to ensure testability and observability are built in from the start
Quality Mindset & Communication:
Champion a quality-first culture within the team
Clearly communicate risks, findings, and quality metrics to technical stakeholders
Balance thoroughness with pragmatism in fast-moving, high-scale environments.

Required Salesforce Analyst
Position Overview:
Be a part of the Global Business Applications group, leading our Post-sale and service organization from an information system perspective using the latest technology of salesforce, Gainsight, Five9, and other related tools including managing integrations between the different information systems, where youll play a key role in shaping our information systems. Leverage cutting-edge Salesforce technologies and related tools to drive business impact, while managing integrations across multiple platforms to ensure seamless data flow and operational efficiency.
Working with latest technology of Salesforce such as Experience cloud (Customer community including e-Commerce, internal community), Digital engagement, Einstein Prediction as well as Learning management system (Appinium), Five9 call center, CMS. Responsible for integrations and creating processes cross-systems.
Using the tools like Agentforce and SF flows you will build customer journeys to support both our employee and the end users. You will be working together with the business in building processes and solutions that simplify both for the customer and our employee.
Key Responsibilities:
Own and manage end-to-end projects and items, from initial scoping and stakeholder alignment through execution, testing, deployment, and post-launch support.
Lead and deliver end-to-end Salesforce Customer Experience solutions, driving initiatives such as Customer Success, Customer Support, Training, Services and more.
Work closely with business stakeholders and technical teams to design and execute complex projects using both out of box features.
Design and analyze various business processes and related data from the requirements gathering to implementation and roll out.
Responsible for evaluating and recommending a configuration that maximizes software capabilities.
Maintenance including problem (ticket) resolution within SLA and highest quality.
Evaluate new tools to be implemented with integration to Salesforce to drive solutions to business process issues and maintain data integrity.
Participate in Agile ceremonies and work within Scrum sprint cycles to prioritize, plan, and deliver Salesforce-related tasks and enhancements.

Medison offers hope to patients suffering from rare and severe diseases by forming partnerships with emerging biotech companies to accelerate access to highly innovative therapies in international markets. As the creator and leader of the global partnership category in the pharma industry, we strive to be Always Ahead and work relentlessly to bring therapy to patients in need, no matter where they live. Our values are at the core of every action we take, and we are committed to going above and beyond to benefit the patients we serve. We are a dynamic, fast-paced company operating in over 34 countries on 5 continents. We are looking for out-of-the-box thinkers, people who are passionate, caring, agile, and adaptive, to join us on our mission. If you are looking to make a difference in people's lives, we invite you to join us! Medison is one of the world’s largest commercial partners for leading global biotech companies. We're seeking a Priority ERP Implementation Specialist in Israel, to join our Global Information & Business Technology (IBT) team. In this role, you will lead and support end?to?end business processes across the organization, deliver ERP solutions based on Priority, manage system enhancements, and drive integrations with multiple third?party platforms. We are looking for a highly motivated, hands?on professional with strong analytical, technical and project management skills, a collaborative mindset, and a “can?do” attitude. This position is offered through a third?party agency, with the potential to extend or be employed by Medison in the future based on performance and business needs.

Responsibilities:

* Lead, manage, and implement Priority ERP projects, including full end?to?end ownership of processes and deliverables.
* Oversee ongoing system service, maintenance, and operational stability, ensuring high availability and performance, and provide 2nd+ level support.
* Analyze business requirements, design system solutions, and deliver high-quality implementations that enhance organizational efficiency.
* Design and develop Priority customizations and system extensions to improve functionality and user experience.
* Ensure successful project delivery within defined timelines, scope, and budget.
* Collaborate with global stakeholders and provide user guidance, training, and ongoing support.
* Manage external partners, including consultants and developers, to ensure alignment and successful execution.
* Drive continuous improvement initiatives by identifying gaps and optimizing ERP-related processes.

City:
Petah Tikva

We are looking for a passionate and experienced QA Integration Tech Lead to take ownership of quality across companys products and to lead QA team efforts from both technical and managerial perspectives. As a senior, hands-on QA Integration Team Lead, you will lead the technical direction of a Team, shape testing methodologies, and ensure the reliability and quality of software-hardware integrated system features using manual and automation testing powered by AI.

You will excel in a fast-moving environment with evolving priorities, maintaining excellence, accountability, and strong collaboration with multidisciplinary teams across the R&D department in Agile methodologies.

What you will do
Lead and mentor a team of SW/ HW/ RF Integration engineers
Perform hands-on manual/ automation testing of complex SW-HW integrated systems
Define, implement, and continuously improve QA processes, methodologies, and best practices
Own quality throughout the full product lifecycle, from requirements to final deployment on the customer side
Plan QA activities based on business and technical priorities, adapting quickly to changing needs
Work closely with all R&D teams
Identify risks, prioritize issues effectively, and ensure timely and high-quality deliveries
Strengthen the companys quality culture by promoting ownership, accountability, and collaboration
Lead the QA team technically, providing hands-on guidance and setting high standards for quality
Manage and operate QA labs, including Traffic Generators, Satellite emulators, RF equipment, and more, while supporting off-shore teams remotely

We are expanding our algorithm team working on operational defense command-and-control systems and are looking for a Senior Tracking and Data Fusion Algorithm Engineer. This role focuses on the development of real-time multi-target tracking and sensor fusion algorithms deployed in mission-critical environments This is not a pure ML position. It is a model-based tracking and estimation role with operational deployment responsibility.