Find jobs in InfoSec/Cybersecurity
13 results
for Formal verification
(Skill/Tech stack)
-
Blockchain Security Expert - Security Audit Track USD 120K-180KBlockchain | DApps | Formal verification | Gas analysis | Go401k match | Dental insurance | FSA | Flexible paid time off | HSASenior-level Full TimeUS / Remote R2d ago
-
Bash | Besu | Blockchain Security | CometBFT | Contract Security401k matching | Accidental death and dismemberment insurance | Dental insurance | FSA | Flexible work environmentSenior-level Full TimeUS / Remote R2d ago
-
Senior Software Engineer, Formal Verification Engineer USD 174K-252KAccess Management | Cryptography | Formal verification | Identity and Access Management | Identity and accessSenior-level Full TimeSeattle, WA, USA; Zürich, Switzerland6d ago
-
Research Scientist USD 100K-300KAI for Code | AI for Code Reasoning | AI for code generation | Automated Reasoning | Automated testingSenior-level Full TimeSan Francisco, CA7d ago
-
Security Engineering Lead USD 170K-218KAdversarial thinking | Async Rust | Contract Security | Distributed Systems | EVM smart contractsDental insurance | Flexible hours | Fully remote | Health insurance | Team offsitesSenior-level Full TimeRemote R8d ago
-
AI Research Engineer USD 100K-300KAutomated Reasoning | Automated testing | Code generation | Dynamic analysis | Formal verificationSenior-level Full TimeSan Francisco, CA11d ago
-
ARM | Acceptance Testing | Boundary definition | C# | ConcurrencySenior-level Full TimeTampa (USA), United States12d ago
-
Algorithmic Stablecoins | Anchor | Automated market makers | Cross-Chain | Cross-chain bridgesConfidentiality | Remote workSenior-level Contract Full TimeRemote, OR, United States R14d ago
-
Senior Software Engineer, Embedded Security, Silicon USD 174K-252KARM architecture | C# | C++ | Cryptography | Embedded LinuxSenior-level Full TimeMountain View, CA, USA; San Diego, …20d ago
-
Sr Staff SoC Engineer(Backend) CNY 156K-184KDRC | EM analysis | Floorplanning | Formal verification | GDSIISenior-level Full TimeBeijing, China29d ago
-
Head of Security - Dragonfly Portfolio USD 192K-280KAML/KYC | AWS | Blockchain Security | Compliance Management | Contract auditingExecutive-level Full TimeAPAC, EMEA30d ago
-
Lead System Integrator (LSI) USD 112K-179KAPI Design | Agile | Artifact packaging | C# | C++Security clearance eligibleSenior-level Full TimeRed Bank, NJ, United States1mo ago
-
Blockchain Security | Contract auditing | Cryptography | DeFi security | Digital signaturesDiversity and inclusion | Employee recognition | Flexible work location | Paid time off | Professional developmentMid-level Full TimeGermany - Remote R1mo ago