Мы используем технические cookie и статистику посещений: Яндекс Метрику и собственный обезличенный журнал Zorky (cookie zk_aid). Не собираем содержимое форм, текст поиска и полный IP; данные не продаём. Отказаться можно кнопкой ниже, а также через Global Privacy Control или Do Not Track в браузере. Подробнее о cookie и статистике.
Вакансии
Актуальные IT-вакансии компаний со всего мира из открытых источников. Обновляется ежедневно. О компании →
Фильтр по стеку:formal verification
Software Engineer - Test Systems
hybrid~$6.7K /moBuffalo, NY, US
c++formal verificationpython
Moog is a performance culture that empowers people to achieve great things. Our people enjoy solving interesting technical challenges in a culture where everyone trusts each other …
ОткликнутьсяDigital Design Engineer (Mid-Senior Level)
seniorRiyadh, SA, SA
c++formal verificationgitgithubjenkinsjira+2
Movandi has made a big impact on 5G in a short amount of time, from foundational research and innovative modular, high-efficiency mmWave system design to the introduction of our Be…
ОткликнутьсяSenior/Staff Mid-End Engineer (STA/Synthesis)
principalPenang, MY, MY
cloudformal verificationperlpython
About Bitdeer: Bitdeer is a world-leading technology company for Bitcoin mining and AI cloud. Bitdeer is committed to providing comprehensive Bitcoin mining solutions for its custo…
ОткликнутьсяPrincipal Physical Design Engineer
principalofficeBengaluru, Karnataka, India, IN
cloudformal verificationperlpython
Astera Labs (NASDAQ: ALAB) provides rack-scale AI infrastructure through purpose-built connectivity solutions. By collaborating with hyperscalers and ecosystem partners, Astera Lab…
ОткликнутьсяSenior Digital Verification Engineer
seniorPrague, Czech Republic, CZ
ci/cdformal verificationgitperlpython
The Allegro team is united by a clear purpose—advancing technologies that make the world safer, more efficient, and more sustainable. With over 30 years of experience in semiconduc…
ОткликнутьсяSoftware Engineer (Engineer III to Principal) - Formal Methods
principalremote~$9.6K /moRemote: USA, US
blockchainci/cdformal verificationhaskellsmart contractsmart contracts
Why us?
Blockchain technology is enabling a rapidly-growing era of innovation for the digital world. It is crucial that blockchain code such as protocols and smart contracts are …
ОткликнутьсяASIC Formal Verification Engineer I, Annapurna Labs
Austin, Texas, USA, US
awsformal verification
In Annapurna Labs we are at the forefront of hardware co-design not just in Amazon Web Services (AWS) but across the industry. The work we do is cutting-edge and internet-scale whi…
ОткликнутьсяSr R&D Test Engineer
senioroffice~$11K /moCampbell, US
formal verification
Job Title: Senior R&D Test Engineer Location : This position is based in our Campbell, California offices. This position is on-site and full - time with some travel. Why Imperative…
ОткликнутьсяVelaura AI, Inc. is hiring an onsite Design Verification Engineer in Bangalore
office
c#formal verification
Velaura AI, Inc. is hiring an onsite Design Verification Engineer in Bangalore
Velaura is looking for a Design Verification Engineer to verify complex SoC hardware and hardware so…
ОткликнутьсяVelaura AI, Inc.
senioroffice
c#formal verification
Velaura AI, Inc. is hiring an onsite Senior Design Verification Engineer in Bangalore
Velaura is looking for a Senior Design Verification Engineer to verify complex SoC hardware a…
ОткликнутьсяASIC Engineer, Implementation
principalSunnyvale, CA, US
formal verification
Meta's Silicon Engineering organization is building custom silicon solutions that power the infrastructure behind Meta's AI, data center, and next-generation computing platforms. A…
ОткликнутьсяSenior Test Engineer (All Genders)
seniorofficeThessaloniki, Central Macedonia, Greece, GR
agileformal verificationnumpypytestpython
At Stark, we forge the future of European and national security through cutting-edge, AI-driven technology and unmatched engineering precision. As a premier defence technology comp…
ОткликнутьсяSilicon Platform Engineer
office~$15.4K /moSanta Clara, CA, US
formal verificationgitpython
Ready to make connectivity from space universally accessible, secure and actionable? Then you’ve come to the right place!
E-Space is bridging Earth and space to enable hyper-scale…
ОткликнутьсяFPGA Verification Engineer - Avionics
office~$16.7K /moSaratoga, CA, US
formal verificationpython
Ready to make connectivity from space universally accessible, secure and actionable? Then you’ve come to the right place!
E-Space is bridging Earth and space to enable hyper-scale…
Откликнуться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…
Откликнуться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…
Откликнуться1 / 8