Мы используем технические cookie и статистику посещений: Яндекс Метрику и собственный обезличенный журнал Zorky (cookie zk_aid). Не собираем содержимое форм, текст поиска и полный IP; данные не продаём. Отказаться можно кнопкой ниже, а также через Global Privacy Control или Do Not Track в браузере. Подробнее о cookie и статистике.
Вакансии
Актуальные IT-вакансии из открытых источников СНГ и Европы. Обновляется ежедневно. О компании →
Фильтр по стеку:formal verification
Senior Systems Engineer, RVTM
senioroffice193,000 USD · период не указанSanta 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…
ОткликнутьсяSenior 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…
ОткликнутьсяPrincipal 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…
ОткликнутьсяSenior 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…
ОткликнутьсяSenior 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…
ОткликнутьсяApplied Research - Chip Design
remote225,000 USD · период не указанSan 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.…
ОткликнутьсяStaff 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…
ОткликнутьсяSenior 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…
ОткликнутьсяFormal 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…
ОткликнутьсяSenior 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…
ОткликнутьсяSenior Blockchain Engineer
senior8,000 SGD · период не указанSingapore, 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…
ОткликнутьсяHead 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…
ОткликнутьсяResearch 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…
ОткликнутьсяMechanical Test Engineer
office130,000 USD · период не указанMukilteo, 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…
ОткликнутьсяFormal Verification Engineer
hybrid217,500 USD · период не указанMountain 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. …
ОткликнутьсяASIC 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 …
ОткликнутьсяSenior 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…
ОткликнутьсяSoftware 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…
ОткликнутьсяSenior 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…
ОткликнутьсяSolidity Developer Jobs
arbitrumblockchaincertoradaodefiethereum+6
Solidity remains the dominant programming language for smart-contract development on Ethereum and all EVM-compatible chains, including Polygon, Arbitrum, Optimism, Base, and BNB Ch…
Откликнуться1 / 7