Formalising Distributed Algorithms in Lean – Vacation Research Internship Program Scholarship

University of Sydney · 53 Compass Score

About this scholarship

$600 weekly scholarship open to undergraduate and postgraduate students interested in undertaking the research project - Formalising Distributed Algorithms in Lean.

How to apply

Applications are made through the University of Sydney application portal. Always verify eligibility, supporting document requirements, and deadline timing on the provider's official page before applying.

Apply on University of Sydney site

Related scholarships