"formal methods" Jobs
44 open tech roles matching “formal methods”, taken straight from company career pages — not reposted from other job boards. Most in demand right now: Python, AI/ML, AI. Every listing is re-checked daily and closed roles are removed.
Showing 20 of 44 results
Join CertiK as a Software Engineer to develop tools ensuring the correctness of smart contracts in a collaborative environment.
Join TRM Labs as a Global Investigator to combat financial sextortion and support victim safety through OSINT-driven investigations.
Join Preference Model as a Research Engineer to advance self-directed learning in large language models within a fast-paced startup.
Build and own a coaching program for frontline managers to enhance GTM performance at a high-growth tech company.
Join Preference Model as a Research Engineer to advance self-directed learning in machine learning with a focus on RL environments.
Join Cogent AI Fellowship to transition research into production in the field of AI and cybersecurity.
Lead the Experimentation pillar at LaunchDarkly to shape the future of AI-driven experimentation platforms.
Join Figma as an Account Executive to drive growth in Federal Systems Integrators and shape the future of design collaboration.
Lead technical delivery for enterprise customers at Airtable, managing complex engagements and driving AI workflow transformation.
Drive high-impact research in automated reasoning and AI-driven security at a rapidly growing applied AI lab.
Join Clipboard Health as an Applied Scientist to design pricing algorithms and auction mechanisms in a hybrid role.
Join Braze as a Senior Lead Field Architect to drive enterprise architecture solutions in a collaborative, hybrid environment.
Join Anthropic as a Silicon Engineer to lead custom silicon development for AI systems in a collaborative environment.
Lead a global team supporting Solutions Consulting at Braze, focusing on program management and cross-functional alignment.
Join Sprinter Health as a Data Scientist to build actuarial models that quantify the economic value of in-home healthcare interventions.
Own the full enterprise sales cycle at DualEntry, a fast-growing AI-native ERP company in a hybrid role.
Join Anthropic as an Operating Systems Security Engineer to enhance OS security for AI workloads in a collaborative environment.