formal methods

ExpectationsYou’ll work with published researchers and engineers in the Formal Methods team to formally verify a new low-level, production programming language and compiler. You'll write formal specifications and complex mechanized proofs in Rocq. Expect strong mentorship, clear milestones, and real autonomy to explore, with opportunities to publish and...

About Code MetalCode Metal is redefining code translation for mission-critical industries, helping defense partners move more quickly and reliably from algorithm to silicon. Our platform accelerates deployment of DSP, RF, communications, and embedded signal processing algorithms onto heterogeneous compute targets, including GPUs, FPGAs, ASICs, and edge SoCs....

About HarmonicAt Harmonic, we are building a mathematical reasoning engine that operates with absolute precision. While most AI makes maximum-likelihood guesses, Harmonic's Aristotle uses Lean4 and reinforcement learning to verify its reasoning and results.Following our Gold Medal-level performance on the 2025 International Math Olympiad (IMO) and the...

About the roleAI is changing the cyber resilience threat landscape from both sides. More capable models are making vulnerability discovery, exploit development, and complex attack chains faster, cheaper, and more scalable, while organizations are increasingly relying on AI systems that can be unreliable, difficult to validate, and deeply integrated into...

About ArchitectArchitect is an AI lab for the compute stack, starting with chip design. We build AI systems to design on-demand custom ASICs at scale. Our goal is to co-design custom ASICs alongside evolving ML workloads, and enable a new era of domain-specific chips that unlock capabilities impossible with current hardware paradigms. Born out of Stanford...

About Oath Technologies Oath Technologies is a new research organization building tools for oversight of advanced AIs. As AIs become more powerful, it will become more difficult to understand and monitor their behavior. Oath is building oversight tools based on formal verification: rather than monitor AIs directly, humans define unambiguous rules, and AIs...

Date Posted:2026-04-01Country:United States of AmericaLocation:US-MA-CAMBRIDGE-BBN06 ~ 10 & 50 Moulton St ~ MOULTON B6Position Role Type:HybridU.S. Citizen, U.S. Person, or Immigration Status Requirements: The ability to obtain and maintain a U.S. government issued security clearance is required.​ U.S. citizenship is required, as only U.S. citizens are...

Galois, Inc. is hiring a Software Engineer/Researcher to advance programming language theory through formal methods and verification. The role emphasizes rigorous analysis and proving properties of software and systems to meet high security standards.The position requires collaboration with clients, architecture design, and development of...

About The Role What if your deep mathematical training could directly shape how AI understands and reasons about formal proofs? We're looking for mathematicians and formal verification specialists to translate rigorous human arguments into machine-verifiable Lean 4 proofs — working at the very edge of what automated reasoning can achieve. This is a fully...

Galois, Inc. is hiring a Software Engineer/Researcher to advance programming language theory through formal methods and verification. The role emphasizes rigorous analysis and proving properties of software and systems to meet high security standards.The position requires collaboration with clients, architecture design, and development of...

Riverside Research seeks a Research Scientist in Cryptography with an interest in formal methods to advance mechanized proofs for cryptographic protocol implementations. You will contribute to cross‑functional R&D with teams in cryptography, programming languages, and systems software.The role emphasizes developing models, proofs, and verification...

Why us? Blockchain technology is enabling a rapidly-growing era of innovation for the digital world. It is crucial that blockchain code such as protocols and smart contracts are provably secure and correct. Once deployed, they are public and cannot be changed. Vulnerabilities and bugs in such programs regularly put millions of dollars at stake. This is...

About AZXOur mission is to accelerate positive impact in critical industries through AI transformation. We specialize in physics-informed ML and enterprise AI solutions that directly address climate and sustainability challenges.We’re growing quickly and already work with category-leaders in real estate (CBRE), energy (LevelTen Energy), logistics (Flexe)...

The Johns Hopkins University Applied Physics Laboratory (APL) seeks a Software Assurance/Formal Methods Developer to advance formal verification and software assurance for national security systems. You will collaborate with researchers to create and apply formal methods tools, tackle cyber security challenges, and contribute to results aimed at reducing...

General Summary of Position: The Programming Languages research group (PLOW), led by Prof. Anitha Gollamudi at the Richard Miner School of Computer Science and Information, invites applications for a postdoctoral associate or research scientist position in the area of formal methods for security and machine learning. Minimum Qualifications: Postdoctoral...

Riverside Research seeks a Research Scientist in Cryptography with an interest in formal methods to develop and evaluate new approaches for software and systems security. The role involves collaborating with experts across cryptography, programming languages, and systems software to advance R&D projects and publish findings.The candidate will contribute to...

The Johns Hopkins University Applied Physics Laboratory (APL) seeks a Software Assurance/Formal Methods Developer to advance formal verification techniques for national security systems. You will work with researchers and engineers to develop and apply formal methods tools and test their effectiveness on real-world problems.You will contribute to research...

Amazon.com Services LLC in Seattle, WA is seeking Applied Scientists to tackle advanced security challenges within AWS Security. You will own design and delivery for impactful, long-term solutions and influence cross-organizational teams with deep technical expertise.The role emphasizes developing new approaches to business problems, with opportunities to...

Riverside Research Institute, an independent National Security nonprofit, seeks a Research Scientist in Cryptography with formal methods to advance mechanized proofs for secure software and systems. You will collaborate across cryptography, PL, and systems teams, building prototypes and publishing results.The role requires a strong cryptography background,...

Amazon Security is seeking an Applied Scientist for AWS Science of Security in New York. You will tackle large, complex problems, own end-to-end design and implementation, and influence cross-organizational teams with deep domain knowledge.The role emphasizes innovation and real-world impact across security, cloud, and systems domains. The position offers...