Species Scholarship on Theorem Proving

Stream: job postings

[Alcides Fonseca]

The species scholarship is offering a 3 month scholarship for PhD or MSc students to visit other labs. The project I have submitted focus on applying Evolutionary Algorithms to Theorem Proving (in Lean). More info at: https://wiki.alcidesfonseca.com/research/team/hiring/species-scholarship-2025/

Feel free to contact me for more details at me@alcidesfonseca.com