Jobs
Live IT jobs from 1000+ sources across CIS and Europe. Updated daily. About →
Stack filter:Formal Verification
Formal Verification Engineer, Google Cloud
Tel Aviv, Israel, IL
cloudformal verificationgoogle cloud
Formal Verification Engineer, Google Cloud corporate_fare Google place Tel Aviv, Israel ; Haifa, Israel bar_chart Advanced Advanced Experience owning outcomes and decision making, …
ApplyDigital IC Verification Engineers
seniorofficeThành phố Hồ Chí Minh
formal verificationpythonsolid
About Us We are an executive search firm representing a rapidly growing, fabless IC design company. Our client specializes in next-generation edge computing power control produc…
Apply180,000 - $280,000
seniorhybrid~$15K /mo
blockchainc#c++formal verification
Stellar Development Foundation is hiring a hybrid Senior Software Engineer, C++ in New York
Stellar Development Foundation is looking for a Senior Software Engineer C++ to design …
Apply180,000 - $280,000
seniorhybrid~$15K /mo
blockchainc#formal verification
Stellar Development Foundation is hiring a hybrid Senior Software Engineer, Core in San Francisco
Stellar Development Foundation is looking for a Senior Software Engineer Core to …
ApplyWeb3 BD
remoteUS / Remote, US
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 protoc…
ApplySeed Investor Needed – GhostContract MVP Built
remote
formal verificationgithubreentrancysmart contractsmart contractsweb3
IMPORTANT: Please do not apply unless you are an investor. Non-investor applications will be declined. --- Hello, First, we apologize to anyone who reached out to us previously on …
ApplyWant your message here? Ask about sponsoring JobStash!
office
blockchainformal verificationweb3
Input Output is hiring an onsite Chief Technology Officer in Longmont, Colorado, United States
IOG is looking for a Chief Technology Officer to define engineering strategy own arc…
ApplyBlockchain Security Expert - Chain Security Evaluation Track
remoteUS / Remote, US
blockchainformal verificationgosmart contractsmart contracts
About You
You’re a self-starter who thrives on tackling the toughest and most meaningful problems, even if they are the most difficult problems. You’re comfortable with the unknown…
ApplyBlockchain Security Expert - Security Audit Track
remoteUS / Remote, US
blockchainformal verificationgosmart contractsmart contracts
About You
You’re a self-starter. You believe in tackling the most important problems, even if they are the most difficult problems. You’re comfortable with the unknown and understa…
ApplySolidity Compiler Frontend Engineer
remote~$0.6K /moUS / Remote, US
aaveblockchainformal verificationgitgopolygon+3
About the Company
One of the fastest-growing and most trusted companies in blockchain security, CertiK is a true market leader. To date, CertiK has worked with over 4,798 clients, …
ApplyIT Operations Specialist
remote~$17.5K /moNew York, New York / Remote, US
blockchainformal verificationgitgosmart contractsmart contracts+1
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, …
ApplyWeb3 BD
remote
blockchainformal verificationsmart contractsmart contractsweb3
Web3 BD US / Remote Business Development – Business Development / Full-time / Remote apply for this job About the Company Born from groundbreaking research at Columbia University a…
ApplyResearch Scientist, AI Verification
leadParis, France, FR
formal verificationgordsrust
Meta is looking for Research Scientists to join our AI Verification team. For these positions we are looking for people with experience in model training or agentic AI to complemen…
ApplySilicon Engineer- P and D- (gCPU), Design Verification (multiple openings)
juniorMountain View, CA, USA, US
c++formal verificationgcpgo
Silicon Engineer- P and D- (gCPU), Design Verification (multiple openings) corporate_fare Google place Mountain View, CA, USA bar_chart Mid Mid Experience driving progress, solving…
ApplySenior Formal Verification Engineer, Google Cloud
seniorTel Aviv, Israel, IL
cloudformal verificationgogoogle cloud
Senior Formal Verification Engineer, Google Cloud corporate_fare Google place Tel Aviv, Israel ; Haifa, Israel bar_chart Mid Mid Experience driving progress, solving problems, and …
ApplySenior Silicon Engineer- P and D- (gCPU), Design Verification (multiple openings)
seniorAustin, TX, USA, US
c++formal verificationgcpgo
Senior Silicon Engineer- P and D- (gCPU), Design Verification (multiple openings) corporate_fare Google place Austin, TX, USA bar_chart Mid Mid Experience driving progress, solving…
ApplyASIC Formal Verification Engineer, TPU Compute
juniorSunnyvale, CA, USA, US
formal verificationgo
ASIC Formal Verification Engineer, TPU Compute corporate_fare Google place Sunnyvale, CA, USA bar_chart Mid Mid Experience driving progress, solving problems, and mentoring more ju…
ApplyASIC Formal Verification Engineer, Google Cloud
juniorSunnyvale, CA, USA, US
cloudformal verificationgogoogle cloud
ASIC Formal Verification Engineer, Google Cloud corporate_fare Google place Sunnyvale, CA, USA bar_chart Mid Mid Experience driving progress, solving problems, and mentoring more j…
ApplySr. Formal Verification Engineer, Annapurna Labs
Cupertino, California, USA, US
cloudformal verificationscala
Amazon Web Services provides a highly reliable, scalable, low-cost infrastructure platform in the cloud that powers hundreds of thousands of businesses in 190 countries around the …
ApplyCommunity Manager, Korea
officeSouth Korea, KR
blockchainformal verificationsmart contractsmart contracts
About You
You have a background in programming language theory and automated reasoning and love to work on the forefront of applying results from theoretical computer science. You …
Apply1 / 2