PhD scholarship: Verifying Compiler Optimization Passes
University of Queensland (UQ)
Deadline:  31st May

Engineering,Engineering And Computing
All Nationalities
Ph.D. (Doctor of Philosophy)
Australia

Scholarship Overview

PhD scholarship: Verifying Compiler Optimization Passes 2021 is offered for PhD degree in the field of Engineering and Computing. You can apply to this scholarship here. The deadline for the sending your application is 31 May 2021. This scholarship is provided by University of Queensland (UQ) and the value of this scholarship is Partial Funding, Stipend of $40,000 per annum . This scholarship is open for: Open to all nationals.

  • Degree: PhD
  • Provided by: University of Queensland (UQ)
  • Deadline: 31 May 2021
  • Scholarship value: Partial Funding, Stipend of $40,000 per annum

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.

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.

Eligibility

  • 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.

How To Apply

To apply for admission and scholarship, follow the link on the upper right of this page. There is no separate application for scholarship because you will have the opportunity to request scholarship consideration on the application for admission.

Before submitting an application you should:

  • check your eligibility 
  • prepare your documentation 
  • contact Associate Professor Mark Utting (m.utting@uq.edu.au) to discuss your suitability for this scholarship

When you apply, please ensure that under the scholarships and collaborative study section you:

  1. Select ‘My higher degree is not collaborative’
  2. Select 'I am applying for, or have been awarded a scholarship or sponsorship'.
  3. Select ‘Other’, then ‘Research Project Scholarship’ and type in ‘COMPILER OPTIMIZATIONin the 'Name of scholarship' field.