Formalising Distributed Algorithms in Lean – Vacation Research Internship Program Scholarship
A$4,800 - A$4,800
Nov 17, 2024
Australia
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.
Who Can Apply
- Region
- Australia
- Citizenship
- Australia
- Residency
- Australia
- Project in
- Australia
- Applicants
- individual
- Organizations
- academic
Application Details
Stages
- 1 single_stage
Required documents
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
External Application
This opportunity requires you to apply directly on the funder's website.
Apply on External SiteAI-Extracted Data
This opportunity was automatically extracted from an external source using AI. Details such as amounts, deadlines, and eligibility may be incomplete or inaccurate.
Always verify on the official sourceKey Information
- Award Amount
- A$4,800 - A$4,800
- Application Deadline
-
November 17, 2024 at 23:59 UTCDeadline passed
Similar Funding Opportunities
Automated Proofs for TLA - Vacation Research Internship Program Scholarship
Great matchThis Vacation Research Internship Program Scholarship has been established by the Faculty of Enginee...
Vacation Research Internship Program - Online Computer Programming
Great matchThis Vacation Research Internship Program Scholarship has been established by the Faculty of Enginee...
Engineering Vacation Research Internship Program
Great matchThe Engineering Vacation Research Internship Program is designed to provide valuable engineering, co...
AMSI Vacation Research Scholarships
Great matchThis scholarship was established in partnership with the Australian Mathematical Sciences Institute ...