Research at the Stellar Development Foundation
The Stellar Development Foundation supports technological and scientific research through its in-house research team and its academic grants program.
We're hiring a research intern — starting ASAP
We are looking for a research intern in formal methods to combine LLMs and formal methods to model a subsystem of stellar-core and prove (or disprove) the absence of denial-of-service attacks, in the vein of our CAV 2026 paper "Show Me The Money: An Exercise in Proof-Driven Software Understanding". The project lasts 3 to 4 months and we'd like to start as soon as possible. Apply here, and see the internships page for more about our internship program.
We're hiring a Director of Research
We are also looking for a Director of Research to lead SDF's research team and academic grants program. Apply here.
Team
SDF Researchers
Giuliano Losa
Distributed computing and formal methods
Iftach Haitner
Cryptography and Computational Complexity
David Mazières
Chief Scientist at the SDF
Research Consultants
Eli Gafni
Theory of distributed computing
Alumni
Juan Villacis
Research Intern on distributed computing in asymmetric-trust models
Joseph Tafese
Research Intern in formal verification of Rust code
Patrick Redmond
Research Intern in formal methods for distributed systems assurance
Yunqi Zhang
Research Intern on overlay networks
George Pîrlea
Research intern in formal methods for smart contracts assurance
Mohsen Lesani
Consultant in reliability and security of software systems