Expoint โ€“ all jobs in one place
ื”ืžืงื•ื ื‘ื• ื”ืžื•ืžื—ื™ื ื•ื”ื—ื‘ืจื•ืช ื”ื˜ื•ื‘ื•ืช ื‘ื™ื•ืชืจ ื ืคื’ืฉื™ื

ื“ืจื•ืฉื™ื Senior Formal Verification Engineer ื‘-ืื™ื ื˜ืœ ื‘-Israel, Tel Aviv-yafo

ืžืฆืื• ืืช ื”ื”ืชืืžื” ื”ืžื•ืฉืœืžืช ืขื‘ื•ืจื›ื ืขื ืืงืกืคื•ื™ื ื˜! ื—ืคืฉื• ื”ื–ื“ืžื ื•ื™ื•ืช ืขื‘ื•ื“ื” ื‘ืชื•ืจ Senior Formal Verification Engineer ื‘-Israel, Tel Aviv-yafo ื•ื”ืฆื˜ืจืคื• ืœืจืฉืช ื”ื—ื‘ืจื•ืช ื”ืžื•ื‘ื™ืœื•ืช ื‘ืชืขืฉื™ื™ืช ื”ื”ื™ื™ื˜ืง, ื›ืžื• Intel. ื”ื™ืจืฉืžื• ืขื›ืฉื™ื• ื•ืžืฆืื• ืืช ืขื‘ื•ื“ืช ื”ื—ืœื•ืžื•ืช ืฉืœืš ืขื ืืงืกืคื•ื™ื ื˜!
ื—ื‘ืจื” (1)
ืื•ืคื™ ื”ืžืฉืจื”
ืงื˜ื’ื•ืจื™ื•ืช ืชืคืงื™ื“
ืฉื ืชืคืงื™ื“ (1)
Israel
Tel Aviv-yafo
ื ืžืฆืื• 5 ืžืฉืจื•ืช
21.04.2025
I

Intel Deep Learning Compiler Engineer MLIR/LLVM Israel, Tel Aviv District, Tel Aviv-Yafo

Limitless High-tech career opportunities - Expoint

ืฉื™ืชื•ืฃ

ื”ืชื—ื‘ืจ/ื™ ื›ื“ื™ ืœื”ื’ื™ืฉ ืžื•ืขืžื“ื•ืช
ืชื™ืื•ืจ:
Design and implement new optimizations within the MLIR and LLVM frameworks to enhance model-level performance for deep learning applications. Collaborate with architecture and performance teams to identify and address bottlenecks...
ืคืจื˜ื™ ื”ืžืฉืจื” ื”ืžืœืื™ื

ืžืฉืจื•ืช ื ื•ืกืคื•ืช ืฉื™ื›ื•ืœื•ืช ืœืขื ื™ื™ืŸย ืื•ืชืš

08.04.2025
I

Intel Senior Verification Engineer Israel, Tel Aviv District, Tel Aviv-Yafo

Limitless High-tech career opportunities - Expoint

ืฉื™ืชื•ืฃ

ื”ืชื—ื‘ืจ/ื™ ื›ื“ื™ ืœื”ื’ื™ืฉ ืžื•ืขืžื“ื•ืช
ืชื™ืื•ืจ:
Lead the development and implementation of comprehensive verification plans and strategies for complex hardware designs, ensuring alignment with industry best practices. Design, create, and oversee the maintenance of verification environments...
ืคืจื˜ื™ ื”ืžืฉืจื” ื”ืžืœืื™ื
08.04.2025
I

Intel Senior Performance Verification Lead Israel, Tel Aviv District, Tel Aviv-Yafo

Limitless High-tech career opportunities - Expoint

ืฉื™ืชื•ืฃ

ื”ืชื—ื‘ืจ/ื™ ื›ื“ื™ ืœื”ื’ื™ืฉ ืžื•ืขืžื“ื•ืช
ืชื™ืื•ืจ:
Team Leadership: Lead a team of senior verification engineers, ensuring effective collaboration and coordination within the performance verification group. Performance Verification Strategy: Collaborate with the Architect to develop and execute...
ืคืจื˜ื™ ื”ืžืฉืจื” ื”ืžืœืื™ื
07.04.2025
I

Intel DevOps infra - k8s Engineer Israel, Tel Aviv District, Tel Aviv-Yafo

Limitless High-tech career opportunities - Expoint

ืฉื™ืชื•ืฃ

ื”ืชื—ื‘ืจ/ื™ ื›ื“ื™ ืœื”ื’ื™ืฉ ืžื•ืขืžื“ื•ืช
ืชื™ืื•ืจ:
Develop and maintain on-prem Kubernetes (K8s) clusters. Develop and maintain innovative and leading-edge solutions using Infrastructure as Code (IaC) tools and Golang. Develop and maintain version release processes. Utilize and...
ืคืจื˜ื™ ื”ืžืฉืจื” ื”ืžืœืื™ื
06.04.2025
I

Intel Senior Formal Verification Engineer Israel, Tel Aviv District, Tel Aviv-Yafo

Limitless High-tech career opportunities - Expoint

ืฉื™ืชื•ืฃ

ื”ืชื—ื‘ืจ/ื™ ื›ื“ื™ ืœื”ื’ื™ืฉ ืžื•ืขืžื“ื•ืช
ืชื™ืื•ืจ:
:* In this position you will use formal verification methods and tools to formally prove the correctness of complicated logic problems.*Define and lead formal verification architecture.*Guide and support engineers in...
ืคืจื˜ื™ ื”ืžืฉืจื” ื”ืžืœืื™ื
ื‘ื•ืื• ืœืžืฆื•ื ืืช ืขื‘ื•ื“ืช ื”ื—ืœื•ืžื•ืช ืฉืœื›ื ื‘ื”ื™ื™ื˜ืง ืขื ืืงืกืคื•ื™ื ื˜. ื‘ืืžืฆืขื•ืช ื”ืคืœื˜ืคื•ืจืžื” ืฉืœื ื• ืชื•ื›ืœ ืœื—ืคืฉ ื‘ืงืœื•ืช ื”ื–ื“ืžื ื•ื™ื•ืช Senior Formal Verification Engineer ื‘ื—ื‘ืจืช Intel ื‘-Israel, Tel Aviv-yafo. ื‘ื™ืŸ ืื ืืชื ืžื—ืคืฉื™ื ืืชื’ืจ ื—ื“ืฉ ื•ื‘ื™ืŸ ืื ืืชื ืจื•ืฆื™ื ืœืขื‘ื•ื“ ืขื ืืจื’ื•ืŸ ืกืคืฆื™ืคื™ ื‘ืชืคืงื™ื“ ืžืกื•ื™ื, Expoint ืžืงืœื” ืขืœ ืžืฆื™ืืช ื”ืชืืžืช ื”ืขื‘ื•ื“ื” ื”ืžื•ืฉืœืžืช ืขื‘ื•ืจื›ื. ื”ืชื—ื‘ืจื• ืœื—ื‘ืจื•ืช ืžื•ื‘ื™ืœื•ืช ื‘ืื–ื•ืจ ืฉืœื›ื ืขื•ื“ ื”ื™ื•ื ื•ืงื“ืžื• ืืช ืงืจื™ื™ืจืช ื”ื”ื™ื™ื˜ืง ืฉืœื›ื! ื”ื™ืจืฉืžื• ื”ื™ื•ื ื•ืขืฉื• ืืช ื”ืฆืขื“ ื”ื‘ื ื‘ืžืกืข ื”ืงืจื™ื™ืจื” ืฉืœื›ื ื‘ืขื–ืจืช ืืงืกืคื•ื™ื ื˜.