PhD scholarship: Verifying Compiler Optimization Passes 2021

The objective of the University of Queensland - Ph.D. scholarship: Verifying compiler optimization passes, 2021 is to provide support for outstanding students who are interested in research programs in the Engineering and Computing field offered at The University of Queensland.
The scholarships project funded by Oracle Labs Australia to model and verify sophisticated compiler optimizations in the Graal Java compiler.

Eligibility for the PhD scholarship: Verifying compiler optimization passes, 2021:

• Ph.D. scholarship: Verifying compiler optimization passes, 2021 is open to both domestic and international applicants.
• Since Graal is a high-performance polyglot virtual machine (VM) and only supports JVM-based languages, candidates must be experts in the below-mentioned languages.

1. Java, Scala, Kotlin and Groovy.
2. LLVM-based languages like C and C++ 
3. Dynamic languages like Python and JavaScript.

• Based on the online application of the candidate, an assessment will be made of the level of understanding, motivation, time commitment and financial support of the applicant for the proposed program of study.
• All the progression requirements and program-specific criteria must be met by the students.

Value of University of Queensland - Ph.D. scholarship: Verifying compiler optimization passes, 2021:

• The successful applicants of the University of Queensland - Ph.D. scholarship: Verifying compiler optimization passes, 2021 will receive an award of AUD      $40,000 per annum tax-free for three years, with the possibility of two 6-month extensions at the standard RTP rate ($28,092 per annum, indexed annually) in approved circumstances.

Deadline for University of Queensland - Ph.D. scholarship: Verifying compiler optimization passes, 2021:

• The last date to apply for the University of Queensland - Ph.D. scholarship: Verifying compiler optimization passes, 2021 is 31st May 2021.