We use technical cookies and visit statistics: Yandex Metrica and Zorky's own de-identified visit log (cookie zk_aid). We never collect form contents, search text or full IP addresses, and never sell data. Opt out with the button below, or with Global Privacy Control or Do Not Track in your browser. More about cookies and statistics.
Jobs
Live IT jobs from public sources across CIS and Europe. Updated daily. About →
Stack filter:Formal Verification
Industry Principal Architect, Web3
principalremoteHong Kong SAR, HK
web3blockchaincloudenterprise architectevmformal verification+6
Minimum qualifications: Bachelor's degree in Computer Science, Mathematics, a related technical field, or equivalent practical experience. 10 years of experience in system architec…
ApplySenior Systems Engineer, RVTM
senioroffice193,000 USD · period not specifiedSanta Ana, California, United States, US
formal verificationpythonsql
Anduril Industries is a defense technology company with a mission to transform U.S. and allied military capabilities with advanced technology. By bringing the expertise, technology…
ApplySenior Verification Engineer
seniorKraków, PL
Englishformal verificationllm
At Blue Origin, we envision millions of people living and working in space for the benefit of Earth. We’re working to develop reusable, safe, and low-cost space vehicles and system…
ApplyPrincipal Verification Engineer
managerKraków, PL
Englishformal verificationllm
At Blue Origin, we envision millions of people living and working in space for the benefit of Earth. We’re working to develop reusable, safe, and low-cost space vehicles and system…
ApplySenior DSP Fixed-Point Design Engineer
seniorKraków, PL
englc++evmformal verificationmatlabnumpy+2
At Blue Origin, we envision millions of people living and working in space for the benefit of Earth. We’re working to develop reusable, safe, and low-cost space vehicles and system…
ApplySenior DSP Fixed-Point Design Engineer
seniorKraków, PL
Englishc++evmformal verificationmatlabnumpy+2
At Blue Origin, we envision millions of people living and working in space for the benefit of Earth. We’re working to develop reusable, safe, and low-cost space vehicles and system…
ApplyApplied Research - Chip Design
remote225,000 USD · period not specifiedSan Francisco, US
databricksdatadogformal verificationlangchainpython
Own Your Intelligence Prime Intellect is building the open superintelligence stack: the infrastructure frontier AI labs build internally, made available to every ambitious AI team.…
ApplyStaff DevOps Engineer
principalhybrid~$19.4K /moAustin, US
devopsci/cdformal verificationjenkinslinuxpython+1
About Arm Arm is the industry's leading supplier of microprocessor technology, offering the widest range of microprocessor cores to address the performance, power, and cost require…
ApplySenior Edge-AI SoC Formal Verification Engineer, Google Cloud
seniorTel Aviv, Israel, IL
cloudformal verificationgoogle cloud
Senior Edge-AI SoC Formal Verification Engineer, Google Cloud corporate_fare Google place Tel Aviv, Israel ; Haifa, Israel bar_chart Mid Mid Experience driving progress, solving pr…
ApplyFormal Verification Engineer, Annapurna Labs
seniorHaifa, Haifa, ISR, IL
awsformal verification
<br/>Annapurna Labs, part of AWS, designs the silicon behind AWS infrastructure, including AWS Graviton processors and the AWS Nitro System. What you prove here runs in millions of…
ApplySenior Formal Verification Engineer, Annapurna Labs
seniorHaifa, Haifa, ISR, IL
awscloudformal verification
Annapurna Labs, a division of Amazon Web Services (AWS), develops innovative hardware and software for AWS cloud infrastructure, including AWS Graviton processors and the AWS Nitro…
ApplySenior Blockchain Engineer
senior8,000 SGD · period not specifiedSingapore, SG
Treasury Operationsprivacy programsLiaising with cross functional teamsProduct InnovationCompetency MappingSecurity+6
Why Join We are seeking a Senior Blockchain Engineer to join OCBC’semerging technology team. The role focuses on building secure, scalable,resilient and compliant digital asset, an…
ApplyHead of Operations
officeSan Francisco, US
formal verification
Phinity is an AI research lab focused on solving chip design. The bottleneck to AGI is compute, and we enable AI agents to tape-out chips autonomously, from architecture to post-si…
ApplyResearch Engineer - Hardware, Data
officeSan Francisco, US
formal verification
Phinity is an AI research lab focused on solving chip design. The bottleneck to AGI is compute, and we enable AI agents to tape-out chips autonomously, from architecture to post-si…
ApplyMechanical Test Engineer
office130,000 USD · period not specifiedMukilteo, Washington, US
formal verification
We’re ALTEN Technology USA, an engineering company helping clients bring groundbreaking ideas to life—from advancing space exploration and life-saving medical devices to building a…
ApplyFormal Verification Engineer
hybrid217,500 USD · period not specifiedMountain View (HQ) or Remote, US
formal verification
What MatX Is Building MatX's mission is to make the world's best AI models run as efficiently as allowed by physics, bringing the world years ahead in AI quality and availability. …
ApplyASIC Verification Engineer
hybrid~$15.6K /moNew York, US
cloudformal verificationjenkins
ASIC Verification Engineer This role has been designed as 'Hybrid' with a requirement that you will work on average 2 days per week from an HPE office. Who We Are: Hewlett Packard …
ApplySenior Blockchain Engineer.
seniorHong Kong Island, HK
blockchainformal verificationnode.jsoraclesmart contractsmart contracts+2
Responsibilities Take ownership of an existing suite of smart contracts and supporting applications Lead contract hardening, testing, security review and production readiness initi…
ApplySoftware Engineer (C++)
c++formal verificationlinuxpython
About the Company TEA networks is a leading global provider of mission-critical in-home Wi-Fi QoS management platform for ISP and CPE companies. We help our customers deploy next-g…
ApplySenior C++ Developer
c++ci/cdformal verificationgitgrpc
About the role Location: Guildford, United Kingdom Contract type: Full-time This is an exciting opportunity to join our development team and work on cutting edge technology that is…
Apply1 / 7