Formalising Distributed Algorithms in Lean – Vacation Research Internship Program Scholarship

This Vacation Research Internship Program Scholarship has been established by the Faculty of Engineering at the University of Sydney to provide students the opportunity to undertake a research project focused on formalising distributed algorithms in Lean. The research project will help formalise and prove correct basic and fundamental distributed algorithms in Lean. The scholarship is valued at $600 per week and is tenable for up to 8 weeks. The program offers undergraduate and postgraduate coursework students at the University of Sydney or other Australian universities the opportunity to engage in cutting-edge research in theoretical computer science and formal methods. Scholarship recipients must maintain satisfactory performance and complete all project requirements outlined by the project supervisor.