Static Analysis Jobs

Join CertiK as a Solidity Compiler Frontend Engineer to develop and optimize blockchain compiler infrastructure and formal verification tools.

Join Cogent Security as an AI Research Engineer to innovate in automated reasoning and AI-driven code analysis for cybersecurity.

Drive high-impact research in automated reasoning and AI-driven security at a rapidly growing applied AI lab.

Lead the application security strategy for Decagon's AI platform, ensuring robust security practices while collaborating with engineering teams.

Lead the application security strategy for Decagon's AI-powered platform, ensuring robust security practices in a fast-paced environment.

Join Aptos Labs as a Product Security Engineer to safeguard core technologies and shape the future of web3 security.