Usiamo cookie tecnici e statistiche delle visite: Yandex Metrica e il registro anonimizzato delle visite di Zorky. Non vendiamo mai dati. Ulteriori informazioni su cookie e statistiche.
Zorky è in modalità di prova: tutto è gratuito. Questo sito è solo una demo: nomi delle aziende, link e il tuo feed personale si sbloccano dopo la registrazione. Registrati →
Offerte
Offerte IT live di aziende di tutto il mondo, da fonti pubbliche. Aggiornato ogni giorno. Chi siamo →
Filtro stack:formal verification
Project Manager
officeIndia, INoggi
blockchainformal verificationsmart contractsmart contractsweb3
About the Company Born from groundbreaking research at Columbia University and Yale University, CertiK is a leading Web3 security company focused on securing blockchain protocols, …
Jobs by Adzunashort description
Mostra l'azienda →Senior Design Verification Engineer
Seniorremote~$23K /moRemote: United States; UTC-10 to UTC-5, USoggi
formal verificationllm
Application close date:
Applications will be accepted on an ongoing basis until the requisition is closed. At Blue Origin , we envision millions of people living and working in spa…
Source: Himalayas
Mostra l'azienda →Integration & Test (HITL) Lead
leadoffice189.500 USD · periodo non indicatoCosta Mesa, California, United States, USoggi
c++formal verificationpythonrust
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…
Mostra l'azienda →Senior ASIC Design Verification Engineer
senior167.700 USD · periodo non indicatoSan Jose, California, US, USoggi
formal verificationperlpython
The application window is expected to close on: 11/19/2026 Meet the Team The Silicon One team creates innovative hardware platforms central to the AI era, powering Cisco’s core Swi…
Mostra l'azienda →ASIC Design Verification Engineer
167.700 USD · periodo non indicatoSan Jose, California, US, USoggi
c++formal verificationlinuxperlpython
The application window is expected to close on: 11/29/2026 Meet the Team The Common Hardware Group (CHG) creates innovative hardware platforms central to the AI era, powering Cisco…
Mostra l'azienda →ASIC Physical Design Engineer
hybridArmenia, AMoggi
formal verificationperlpython
This is a hybrid role with four days per week at Cisco’s Yerevan office. Meet the Team The Silicon One team creates innovative hardware platforms central to the AI era, powering Ci…
Mostra l'azienda →ASIC Design Verification Engineer
office155.000 USD · periodo non indicatoSan Jose, California, US, USoggi
formal verificationperlpython
The application window is expected to close on: 12/17/2026 This is an onsite role based in San Jose, CA. Meet the Team The Silicon One team creates innovative hardware platforms ce…
Mostra l'azienda →Sr. Staff Systems Engineer, Perception-Planner Risk
principaloffice304.000 USD · all'annoMountain View, CA, US, USoggi
c++formal verificationpython
Waymo is an autonomous driving technology company with the mission to be the world's most trusted driver. Since its start as the Google Self-Driving Car Project in 2009, Waymo has …
Mostra l'azienda →Product Manager
remoteoggi
blockchainformal verificationsmart contractsweb3
Product Manager US / Remote Product – Product Management / Full-time / Remote Apply for this job About the Company Born from groundbreaking research at Columbia University and Yale…
Mostra l'azienda →AI Cybersecurity Researcher
office~$5.1K /moManor House, GB1 g fa
formal verificationpython
Salary: £46,000 - 52,000 per year Requirements: Background in software, electronics, or engineering, with a PhD (or equivalent research experience) in cyber security, information s…
Jobs by Adzunashort description
Mostra l'azienda →Senior VLSI Tools and Methodology Engineer
seniorhybrid~$19.2K /moColorado, US1 g fa
formal verificationgit
Senior VLSI Tools and Methodology 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: …
Mostra l'azienda →Web3 Licensing and Regulatory Compliance Specialist
remoteRemote1 g fa
blockchainformal verificationsmart contractsweb3
Tags: Web3 Jobs • Web3 Compliance Jobs • Blockchain Remote Jobs • Blockchain Full Time Jobs • Blockchain Web3 Jobs About the Company Born from groundbreaking research at Columbia U…
Mostra l'azienda →Senior Design Verification Engineer
seniorLPQ1 g fa
formal verificationperlpython
Lattice Overview There is energy here…energy you can feel crackling at any of our international locations. It’s an energy generated by enthusiasm for our work, for our teams, for o…
Mostra l'azienda →Senior/Leader Design Verification Engineer
seniorofficeThành phố Hà Nội1 g fa
c++formal verificationpython
Bachelor’s or Master’s degree in Electrical Engineering or Electronic Engineering. Proven experience in SoC design verification, including unit and combine test strategies. Strong…
Mostra l'azienda →Formal Verification Engineer, Google Cloud
Tel Aviv, Israel, IL →1 g fa
cloudformal verificationgoogle cloud
Formal Verification Engineer, Google Cloud corporate_fare Google place Tel Aviv, Israel ; Haifa, Israel bar_chart Mid Mid Experience driving progress, solving problems, and mentori…
Mostra l'azienda →Physical Design Engineer
140.000 USD · periodo non indicatoUS Headquarters, US2 g fa
formal verificationperlpython
AI Vision Processors For Edge Applications Our solutions make cameras smarter by extracting valuable data from high-resolution video streams. Job Description The Physical Design En…
Mostra l'azienda →Senior Software Engineer
seniorremote2 g fa
aaveawsblockchaincertoraclouddefi+4
About Certora Certora is the security assurance partner trusted by the most advanced teams in Web3. Founded in 2018 by pioneers in programming languages and formal methods, Certora…
Mostra l'azienda →Junior ASIC Design Verification Engineer, Amazon Leo
junioroffice~$12.2K /moSan Diego, California, USA, US →2 g fa
c++formal verificationmatlab
Amazon Leo is Amazon’s low Earth orbit satellite network. Our mission is to deliver fast, reliable internet connectivity to customers beyond the reach of existing networks. From in…
Mostra l'azienda →Sr. Principle VLSI/ ASIC Design Engineer
seniorhybridSunnyvale, California, United States of America, US →2 g fa
cloudformal verification
Sr. Principle VLSI/ ASIC Design 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: He…
Mostra l'azienda →Senior Verification Engineer
seniorhybrid~$6.8K /moIreland, Leixlip, IE2 g fa
agilecloudformal verificationperlpython
Job Details: Job Description: The Role and Impact You will be part of a highly skilled, agile design/verification team developing cutting-edge hardware for the NIC, IPU and AI doma…
Mostra l'azienda →1 / 10