Jobs
Live IT jobs from 1000+ sources across CIS and Europe. Updated daily. About →
Stack filter:formal verification
IT Department Lead - Remote, Worldwide
leadremoteHungary, HU
ethereumformal verificationsmart contracts
About Nethermind: Nethermind builds and secures core Ethereum infrastructure. We develop the Nethermind execution client, contribute to network upgrades, and deliver protocol-level…
ApplyBlockchain Security Engineer
remoteBlockchain Security Engineer
blockchaindefiformal verificationgitlinux
ChainSecurity | Blockchain Security Engineer | Full-time | INTERNS , HYBRID/REMOTE, Zurich, Switzerland | VISA possible (for an employment) | https://chainsecurity.c…
ApplySr Systems Engineer
principal~$7.3K /mo
blockchainc++formal verification
Sr Systems Engineer
Company: Nexus
Nexus is the engine for verifiable finance — a blockchain designed to natively embed the world’s financial system into one compounding system. …
ApplySilicon Engineer- P and D- (gCPU), Design Verification (multiple openings)
juniorPortland, OR, USA, US
c++formal verification
Silicon Engineer- P and D- (gCPU), Design Verification (multiple openings) corporate_fare Google place Portland, OR, USA bar_chart Mid Mid Experience driving progress, solving prob…
ApplyLayerZero Labs
middleRU
blockchainevmformal verificationsmart contractsolidity
#middle #ванкувер
LayerZero Labs
Protocol Engineer
Vancouver, BC
As a Protocol Engineer, you'll work on the core infrastructure that underpins decentralized interoperability, des…
ApplySenior Platform Engineer (Money Movement Systems)
seniorNew York City, US
awsci/cdformal verificationgcpnodejspostgresql+3
TL;DR The next wave of stablecoin adoption is payments. We're building a stablecoin clearinghouse to make stablecoins move like money, not a trading asset. Payments don’t run on tr…
ApplySilicon Formal Verification Engineer III, Cloud
juniorBengaluru, Karnataka, India, IN
cloudformal verificationpython
Silicon Formal Verification Engineer III, Cloud corporate_fare Google place Bengaluru, Karnataka, India bar_chart Mid Mid Experience driving progress, solving problems, and mentori…
ApplyCertora is hiring a remote Technical Account Manager
remote
blockchaincertoraformal verificationsalesforce
Certora is hiring a remote Technical Account Manager
Certora is looking for a Technical Account Manager to own customer relationships qualify opportunities scope engagements clos…
ApplyCompound Foundation is hiring a remote Head of Security
remote
blockchainci/cdcloudformal verificationgithubsmart contract
Compound Foundation is hiring a remote Head of Security
Compound Finance is looking for a Head of Security to own security programs incident readiness infrastructure protection a…
ApplySenior SoC Formal Verification Engineer, Google Cloud
seniorTel Aviv, Israel, IL
cloudformal verificationgoogle cloud
Senior SoC Formal Verification Engineer, Google Cloud corporate_fare Google place Tel Aviv, Israel ; Haifa, Israel bar_chart Advanced Advanced Experience owning outcomes and decisi…
ApplyHead of Internal IT (Platform, Infrastructure Security, IAM & FinOps)
leadhybrid
awsblockchainclouddevopsethereumfinops+6
Head of Internal IT (Platform, Infrastructure Security, IAM & FinOps)
Company: Nethermind
Nethermind builds and secures core Ethereum infrastructure — including the Nethermind ex…
ApplyHead of Internal IT (Platform, Infrastructure Security, IAM & FinOps)
leadhybrid
awsblockchainclouddevopsethereumfinops+6
Head of Internal IT (Platform, Infrastructure Security, IAM & FinOps)
Company: Nethermind
Nethermind builds and secures core Ethereum infrastructure — including the Nethermind ex…
Apply1 / 1