Мы используем технические cookie и статистику посещений: Яндекс Метрику и собственный обезличенный журнал Zorky (cookie zk_aid). Не собираем содержимое форм, текст поиска и полный IP; данные не продаём. Отказаться можно кнопкой ниже, а также через Global Privacy Control или Do Not Track в браузере. Подробнее о cookie и статистике.
Вакансии
Актуальные IT-вакансии компаний со всего мира из открытых источников. Обновляется ежедневно. О компании →
Фильтр по стеку:Formal Verification
Digital Design Engineer
officeOslo, NO
formal verificationlinuxpython
Silicon Labs (NASDAQ: SLAB) is the leading innovator in low-power wireless connectivity, building embedded technology that connects devices and improves lives. Merging cutting-edge…
ОткликнутьсяManager / Senior Manager – Design Verification
seniorHyderabad, IN
formal verificationperlpython
Silicon Labs (NASDAQ: SLAB) is the leading innovator in low-power wireless connectivity, building embedded technology that connects devices and improves lives. Merging cutting-edge…
ОткликнутьсяChip Lead
leadhybrid160,650 USD · период не указанAustin, US
formal verificationperlpython
Silicon Labs (NASDAQ: SLAB) is the leading innovator in low-power wireless connectivity, building embedded technology that connects devices and improves lives. Merging cutting-edge…
ОткликнутьсяSenior ASIC Design Engineer - DSP/Analog/SerDes
seniorofficeOttawa, Ontario, Canada, CA
formal verificationmatlabpython
Senior ASIC Design Engineer Celero Communications is an exciting and fast-growing semiconductor startup developing innovative technologies that power next-generation AI and data ce…
ОткликнутьсяSenior ASIC Design Engineer - DSP/Analog/SerDes
senioroffice~$16.7K /moSan Jose, CA, US
formal verificationmatlabpython
Senior ASIC Design Engineer Celero Communications is an exciting and fast-growing semiconductor startup developing innovative technologies that power next-generation AI and data ce…
ОткликнутьсяSenior ASIC Design Engineer - DSP/Analog/SerDes
senioroffice~$16.7K /moIrvine, CA, US
formal verificationmatlabpython
Senior ASIC Design Engineer Celero Communications is an exciting and fast-growing semiconductor startup developing innovative technologies that power next-generation AI and data ce…
ОткликнутьсяSoftware Engineer, Product
officePalo Alto, US
formal verificationllmnode.jspythonreacttypescript
Company Pramaana Labs is a frontier AI lab building the verification layer for AI. Founded in 2025 and headquartered in Palo Alto, we turn complex human knowledge, including tax co…
ОткликнутьсяProduct Designer
officePalo Alto, US
design systemfigmaformal verification
Company Pramaana Labs is a frontier AI lab building the verification layer for AI. Founded in 2025 and headquartered in Palo Alto, we turn complex human knowledge, including tax co…
ОткликнутьсяResearch Intern
internofficePalo Alto, US
fine-tuningformal verificationllm
Company Pramaana Labs is a frontier AI lab building the verification layer for AI. Founded in 2025 and headquartered in Palo Alto, we turn complex human knowledge, including tax co…
ОткликнутьсяResearch Scientist, Reinforcement Learning
officePalo Alto, US
formal verification
Company Pramaana Labs is a frontier AI lab building the verification layer for AI. Founded in 2025 and headquartered in Palo Alto, we turn complex human knowledge, including tax co…
Откликнуться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…
Откликнуться1 / 8