6 jobs tagged Static Analysis
Join CertiK as a Solidity Compiler Frontend Engineer to develop and optimize blockchain compiler infrastructure and formal verification tools.
Drive high-impact research in automated reasoning and AI-driven security at a rapidly growing applied AI lab.
Join Cogent Security as an AI Research Engineer to innovate in automated reasoning and AI-driven code analysis for cybersecurity.
Lead the application security strategy for Decagon's AI-powered platform, ensuring robust security practices in a fast-paced environment.
Lead the application security strategy for Decagon's AI platform, ensuring robust security practices while collaborating with engineering teams.
Join Aptos Labs as a Product Security Engineer to safeguard core technologies and shape the future of web3 security.