Scholarship

Formalising Distributed Algorithms in Lean – Vacation Research Internship Program Scholarship

University of Sydney Original Source
Award

A$4,800 - A$4,800

Deadline

Nov 17, 2024

Deadline passed
Location

Australia

Applicants

individual

About This Opportunity

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.

Duration 2 - 3 mo

Who Can Apply

Region
Australia
Citizenship
Australia
Residency
Australia
Project in
Australia
Applicants
individual
Organizations
academic

Application Details

Stages

  1. 1 single_stage

Required documents

transcripts

Review process

Scholarship awarded based on academic merit. Preference given to applicants with coursework in mathematics with proof components and theoretical computer science.

Restrictions

  • no_concurrent_funding

Post-award obligations

  • final_report