Software Engineer (Engineer III to Principal) - Formal Methods

and cannot be changed. Vulnerabilities and bugs in such programs regularly put millions of dollars at stake. This is where CertiK comes... by professors of Yale University and Columbia University, CertiK is a pioneer in blockchain security, utilizing best-in-class...

Lugar: USA | 09/01/2025 20:01:53 PM | Salario: S/. $115000 per year | Empresa: CertiK

IT/Blockchain Infrastructure Engineer

About the Company Founded in 2018 by professors of Yale University and Columbia University, CertiK is a pioneer... in blockchain security, utilizing best-in-class AI technology to secure and monitor blockchain protocols and smart contracts. CertiK...

Lugar: New York City, NY | 22/12/2024 03:12:43 AM | Salario: S/. $70000 - 120000 per year | Empresa: CertiK

Blockchain Security Specialist (The Decentralized Guardian)

, and use tools like MythX, Slither, or CertiK for vulnerability detection. Ensure Compliance with Regulatory Standards: Ensure...: Strong understanding of smart contract auditing tools and techniques, including experience with tools like MythX, Slither, CertiK...

Lugar: Austin, TX | 07/01/2025 18:01:57 PM | Salario: S/. No Especificado | Empresa: Unreal Gigs

Go-to-market Core Contributor

with backgrounds from Coinbase, CertiK, AAVE and . Seamless operates as a lending and borrowing protocol on the Base network...

Lugar: USA | 26/11/2024 18:11:05 PM | Salario: S/. No Especificado | Empresa: Seamless Protocol
1