Automated Proofs for TLA - Vacation Research Internship Program Scholarship

1. Background

a. 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+. This research project proposes to develop a technique that is automated but can scale to infinite instances.

2. Eligibility

a. Applicants must be currently enrolled in a relevant undergraduate or postgraduate coursework program at the University of Sydney or another Australian University.

b. Applicants from another Australian University must be an Australian Citizen or Australian Permanent Resident.

c. Applicants are required to have a weighted average mark (WAM) of 80 or above (or equivalent) in their current degree. Postgraduate applicants enrolled in their first semester will need to have a WAM of 80 or above (or equivalent) in their undergraduate degree.

d. Undergraduate applicants must have already completed at least 96 credit points towards their undergraduate degree at the time of application.

3. Selection Criteria

a. The Scholarship will be awarded on the basis of academic merit.

b. Preference will be given to applicants who have completed unit of study in the below areas:

I. advanced programming, and
II. theoretical computer science.

c. The Scholarship will be awarded by the supervisor of the research project, or their nominated delegates.

4. Value

a. The Scholarship is valued at $600 per week and is tenable for up to 8 weeks.

b. The Scholarship payments will be made in two equal instalments. The first instalment will be made at the mid-point of the project upon meeting the mid-project requirements which is to be confirmed by the project supervisor. The second instalment will be made upon successful completion of the project requirements and submission of a project report.

c. If less than 8 weeks of the Vacation Research Internship Program is completed, the scholarship payment will be paid pro-rata based on the number of weeks completed.

d. Deferral and/or suspension of the Scholarship is not permitted, and it is not transferable to another University school, faculty or university.

e. The Scholarship will be offered subject to the availability of funds.

f. No other amount is payable.

5. Ongoing Eligibility

a. To continue receipt of the Scholarship, the recipient must complete all project requirements outlined by the project supervisor.

b. The recipient must continue to be enrolled in a relevant coursework program unless course requirements have been completed since the scholarship was awarded.

6. Termination

a. The Scholarship will be terminated if the recipient:

I. withdraws from an eligible course,
II. withdraws or transfer from the research project without prior approval from the research project supervisor,
III. does not maintain satisfactory performance in the research project,
IV. is determined by the University to be guilty of serious misconduct, including, but not limited to, having provided false or misleading information as part of their Scholarship application,
V. accepts another Research Internship Program Scholarship during the tenure of this Scholarship.

b. Once the Scholarship has been terminated, it will not be reinstated unless due to University error.

c. Where a student is found guilty of serious misconduct or the Scholarship is terminated under any instance in the Termination Clause of these terms and conditions, the University reserves the right to request that any Scholarship funds paid to the Scholarship recipient be reimbursed.