Automated Proofs for TLA - Vacation Research Internship Program Scholarship

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.