Formalising Distributed Algorithms in Lean – Vacation Research Internship Program Scholarship

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

• 47 Varies rolling Postgraduate (coursework) · Postgraduate (research)

  The Penelope Evans Scholarship in Music

  University of Sydney

• 53 Varies rolling Postgraduate (research)

  Postgraduate Research Scholarship in Rental Vulnerability

  University of Sydney

• 47 Varies rolling Undergraduate

  MBA (Technology and Digital Strategy) Professional Leadership Development Scholarship

  University of Sydney

• 43 Varies rolling Undergraduate

  The Lesley Charles Hunter English Scholarship

  University of Sydney

• 47 Varies rolling Postgraduate (research)

  The CSIRO PhD Scholarship - Agritwins Technology for Resilient Future Agriculture

  University of Sydney

• 47 Varies rolling Undergraduate

  Koala Indigenous Scholarship in Design

  University of Sydney