Scholarship
Automated Proofs for TLA - Vacation Research Internship Program Scholarship
University of Sydney
Award
AUD 4.8K–4.8K ≈ €2.9K
Closing date
Closed
Location
AU
For
Individuals
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.
2 - 3 mo
Who can apply
Applicant Types
individual
Organization Types
academic
Citizenship
🇦🇺 Australia
Residency
🇦🇺 Australia
Project Locations
🇦🇺 Australia
Region
Australia
How to apply
Stages
- 1 single_stage
Required documents
transcripts
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