Automated Proofs for TLA - 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 the research project: Automated Proofs for TLA+. The research project proposes to develop a technique that is automated but can scale to infinite instances. The scholarship provides financial support to eligible undergraduate and postgraduate coursework students from the University of Sydney or other Australian universities. Recipients work on this specific computer science research project during their vacation period, with a focus on advanced programming and theoretical computer science. The scholarship is awarded based on academic merit, with preference given to applicants who have completed coursework in advanced programming and theoretical computer science.
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
The scholarship is awarded by the supervisor of the research project or their nominated delegates based on academic merit, with preference given to applicants with coursework in advanced programming and theoretical computer science.
Restrictions
- no_concurrent_funding
- employment_restrictions
Post-award obligations
- final_report
- acknowledge_funder
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
Formalising Distributed Algorithms in Lean – 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...
Engineering Vacation Research Internship Program Accelerated Scholarship
Great matchThe Engineering Vacation Research Internship Program Accelerated Scholarship provides $1,500 to supp...