3 jobs tagged automated reasoning
Join CertiK as a Software Engineer to develop tools ensuring the correctness of smart contracts in a collaborative environment.
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.