Postdoctoral Research Fellow in Quantum Programming

Acknowledgement of Country

UTS acknowledges the Gadigal people, the Boorooberongal people of the Dharug Nation, the Bidjigal people and the Gamaygal people upon whose ancestral lands our University stands. We would also like to pay respect to the Elders past, present and emerging, acknowledging them as the traditional custodians of knowledge for these lands.

Our vision is to be a leading public university of technology recognised for our global impact. We are a dynamic and innovative university, ranked by the Times Higher Education as Australia's top young university, and located on Gadigal land (Ultimo, NSW).

About the Centre

The UTS Centre for Quantum Software and Information (QSI) in the School of Computer Science is focused on theoretical research into quantum information science and the software and information processing infrastructure required for future quantum technologies. As quantum information technologies transition from the laboratory to the marketplace, QSI strives to be an inclusive environment that encourages advanced research and the nurturing of talent. QSI's focus on theory and software places it in a unique position in the vibrant quantum technology community in Sydney and Australia which has resulted in UTS being a founding partner of key initiatives such as the recently announced &Quantum Australia& growth centre, the Sydney Quantum Academy, and the Australian Quantum Software Network.

About the role

As the Postdoctoral Research Fellow, you will Conduct research on the verification of quantum circuits/programs and on refinement techniques for quantum programming, supported by the Australian Research Council's Discovery Project Scheme. The primary responsibilities are:

1. Designing efficient algorithms and developing prototype software tools for the verification of quantum circuits; and

2. Establishing a theoretical foundation for refinement techniques in quantum programming.

About you

As the Postdoctoral Research Fellow, you will have demonstrated experience in the topics of quantum circuit compilation, quantum programming theory and/or formal verification of quantum circuits/programs.  Other requirements will include:

• A PhD Degree in Computer Science, Mathematics, Electrical Engineering, or a very closely related field

• Demonstrated track record in Quantum Computing or Computer Science through high quality research publications (in top journals/conferences in the related areas)

• Strong software development skills or an advanced background in classical program verification

• Familiarity with relevant computer software and research & teaching practices

For the full list of selection criteria and role responsibilities, please download the Position Statement

Equity and Diversity

UTS is recognised widely as supporting inclusivity and diversity through our Wingara Indigenous Employment Strategy, Social Impact Framework and UTS Access and Inclusion Plan. We were among the first Australian institutions to receive the Athena SWAN Bronze Accreditation for our commitment to action addressing gender equity in the STEMM disciplines.

We welcome applications from women, Indigenous Australians, people with disability, those who identify as LGBTIQ and applicants from culturally and linguistically diverse backgrounds.

Remuneration

Base Salary Range: $125,240 - $148,229 pa (Level B)

This role attracts 17% superannuation (pension) in addition to the base salary.

This position is full-time and appointment will be made on a fixed term basis for 12 months

UTS staff also benefit from a wide range of Employee Benefits include flexible work practices, childcare centres, generous parental leave and salary packaging opportunities.

How To Apply

In order to obtain:

• a copy of the Position Description;

• information on remuneration, benefits, terms and conditions; and

• full details of the application process,

please click the Apply link to be taken to the UTS website.

Closing Date: Thursday 16 October 2025 at 11.59pm (AEST)

This role is open to international candidates.  Visa sponsorship will be supported to the successful candidate if required.