Open Positions
We are building a team of researchers at the intersection of quantum science, mathematics, and formal verification. Our group spans MIT and the Technion, and we are looking for people who want to do rigorous, ambitious work at the frontier of verifiable scientific discovery.
Postdoctoral Researchers
PhD Students
We welcome candidates at all levels with backgrounds in electrical engineering, computer science, mathematics, physics, or related fields.
Research Areas
Our research spans multiple domains, all united by the goal of advancing science through formal verification. Current projects include:
How to Apply
Send a brief description of your research interests and relevant background to the email below. Please include [position inquiry] in the subject line.
Positions are available in Dirk Englund's group at MIT and Kfir Sulimany's group at the Technion.
kfir@mit.edu