Automated Proofs for TLA - Vacation Research Internship Program Scholarship

About this scholarship

$600 weekly scholarship open to undergraduate and postgraduate students interested in undertaking the research project - Automated Proofs for TLA+.

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 Undergraduate

  Architecture, Design and Planning Dean's Outstanding Merit Scholarship

  Yearly $1000 scholarship to encourage talented students to pursue undergraduate study at the Sydney School of Architecture, Design and Planning.

  University of Sydney

• 47 Varies rolling Undergraduate

  Architecture, Design and Planning Dean's Merit Scholarship

  $1000 scholarship to encourage talented students to pursue undergraduate study at the Sydney School of Architecture, Design and Planning.

  University of Sydney

• 47 Varies rolling Undergraduate

  Architecture, Design and Planning Dean's International Merit Scholarship

  $1000 scholarship to encourage talented international students to pursue undergraduate study at the Sydney School of Architecture, Design and Planning.

  University of Sydney

• 49 Varies rolling Honours

  JW and BK Elkins Architectural Award

  $1500 scholarship to support students who have completed the Bachelor of Design in Architecture and are continuing into an honours year.

  University of Sydney

• 47 Varies rolling Postgraduate (coursework)

  The Alexandria Harbin Atlassian Coursework Scholarship

  The Alexandra Harbin Atlassian Scholarship has been generously donated by Atlassian to assist commencing students studying user interface design. Learn more.

  University of Sydney

• 53 Varies rolling Postgraduate (research)

  HJ Cowan Architectural Science Scholarship

  Up to $7500 scholarship to financially assist a student researching architectural science at the Sydney School of Architecture, Design and Planning.

  University of Sydney