We’re looking for a Lean proof assistant developer to help our team integrate formal verification into our work.
Dovetail is hosting a research fellowship in agent foundations starting in the summer of 2026. Application closes May 17th, 2026.
Dovetail is hosting a research fellowship in agent foundations starting in the fall of 2025. Application closes Monday September 15th, 2025.
The Dovetail research group is looking for a graphic designer to help us illustrate our explainers and papers. The illustrations are mostly diagrammatic, and we have a pre-existing style that we want to maintain.
