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 companies worldwide, from public sources. Updated daily. About →
Stack filter:formal verification
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…
ApplySenior 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…
ApplySoftware 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 …
ApplyASIC 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…
ApplySr 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…
ApplyVelaura 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…
ApplyVelaura 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…
ApplyASIC 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…
ApplySenior 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…
ApplyFPGA 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…
ApplySilicon 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…
ApplyIndustry 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…
Apply1 / 8