formal methods

Formal Methods Research Intern The Secure and Resilient Systems group seeks a Formal Methods Research Intern to support the specification and verification of systems-level software. This role offers the opportunity to work alongside a team of experienced computer scientists and cybersecurity professionals on cutting-edge research initiatives. This position...

We're looking for software engineers and researchers to establish a new Formal Methods team at Jane Street. With the emergence of agentic programming, we think formal methods will play a major role in providing feedback for agents and helping validate agent-generated code. Our vision is to make formal methods as useful a tool for building software as type...

Galois, Inc. is hiring a Software Engineer/Researcher to advance programming language theory research and implementation. The role emphasizes formal methods to verify software and systems, ensuring high security standards.Responsibilities include requirements gathering, architecture design with formal methods, prototype expansion, and rigorous testing. The...

About Galois Who We Are: From building digital engineering tools that make space exploration safer to verifying cryptographic libraries that protect some of the world's most valuable data, Galois develops technology to guarantee the trustworthiness of systems where failure is unacceptable. We are a community of researchers, engineers, and operations people...

Oath Technologies in Berkeley is hiring research engineers to build formal methods tools for AI oversight and to apply them at scale. The team will tackle difficult verification problems, integrate with AI agents, and push the boundaries of what is possible in oversight and containment.Roles combine research and engineering, with opportunities to shape tool...

Oath Technologies, a focused research organization under Convergent Research, is hiring research engineers to build formal methods tools and apply them at scale to AI oversight problems. Roles span formal methods specialists and engineers, collaboratively driving verification, testing, and AI-assisted workflows.The team will grow from six to about twelve,...

About Architect LabsArchitect is a frontier AI lab for custom silicon. We partner with frontier labs, clouds / neoclouds, physical AI companies, and advanced fabs to tape-out custom chips co-designed for next-generation AI workloads. Our goal is to compress end-to-end software to silicon timelines, and maximize intelligence per watt and per dollar for the...

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...

The Aerospace Corporation is the trusted partner to the nation's space programs, solving the hardest problems and providing unmatched technical expertise. As the operator of a federally funded research and development center (FFRDC), we are broadly engaged across all aspects of space- delivering innovative solutions that span satellite, launch, ground, and...

The Aerospace Corporation is the trusted partner to the nation's space programs, solving the hardest problems and providing unmatched technical expertise. As the operator of a federally funded research and development center (FFRDC), we are broadly engaged across all aspects of space- delivering innovative solutions that span satellite, launch, ground, and...

The Aerospace Corporation is the trusted partner to the nation's space programs, solving the hardest problems and providing unmatched technical expertise. As the operator of a federally funded research and development center (FFRDC), we are broadly engaged across all aspects of space- delivering innovative solutions that span satellite, launch, ground, and...

The Aerospace Corporation is the trusted partner to the nation's space programs, solving the hardest problems and providing unmatched technical expertise. As the operator of a federally funded research and development center (FFRDC), we are broadly engaged across all aspects of space- delivering innovative solutions that span satellite, launch, ground, and...

The Aerospace Corporation is the trusted partner to the nation's space programs, solving the hardest problems and providing unmatched technical expertise. As the operator of a federally funded research and development center (FFRDC), we are broadly engaged across all aspects of space- delivering innovative solutions that span satellite, launch, ground, and...

The Aerospace Corporation is the trusted partner to the nation's space programs, solving the hardest problems and providing unmatched technical expertise. As the operator of a federally funded research and development center (FFRDC), we are broadly engaged across all aspects of space- delivering innovative solutions that span satellite, launch, ground, and...

Oath Technologies, a research organization building formal verification tools for AI oversight, is hiring research engineers to develop scalable, high-impact tools. The team focuses on three families—design, lifting, and audit—and targets verified containment of AI agents with Lean or related infrastructure.The role blends research and engineering to...

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...

Samsung Electronics America, Inc. is seeking a Senior Staff GPU Design Verification Engineer – Formal Verification to shape block and subsystem level formal verification for next‑gen mobile GPUs.You will define verification goals, write properties, and develop formal models while collaborating with architecture and RTL teams to ensure functional...

About The Role What if your deep mathematical expertise could directly shape how AI reasons about the hardest problems in formal verification? We're looking for Applied Formal Methods Researchers to translate rigorous mathematical arguments into machine-verifiable Lean 4 proofs — working at the exact frontier where human mathematical intuition meets the...

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...

Alignerr is seeking mathematicians and formal verification specialists to translate rigorous human arguments into Lean 4 proofs, working at the edge of automated reasoning. This is a fully remote, flexible hourly contract requiring 10–40 hours per week and centered on precision and verifiability of formal proofs. Ideal candidates hold a Master’s or...