33 proof-checking-postdoc-computer-science-logic Master positions in Australia

From virtual sites to real opportunities: using VR to inspire young women in construction (MPhil scholarship)

Queensland University of Technology | Brisbane, Queensland | Australia | 1 day ago

rate for up to 21 months. Domestic students will receive an Australian Government Research Training Program (RTP) Fees Offset. International students will receive a Tuition Fee Sponsorship. You will be

MBS Deputy Dean Awards

University of Melbourne | Melbourne, Victoria | Australia | 7 days ago

Prize MBS Deputy Dean Awards Application is required. Check eligibility Key scholarship details Application status Open for applications Applications open 14 Aug 2026 Applications close 20 Sep 2026

Steve Calhoun Scholarship

University of Melbourne | Melbourne, Victoria | Australia | 3 months ago

Grant Steve Calhoun Scholarship Application is required. Check eligibility Key scholarship details Application status Open for applications Applications open 21 May 2026 Applications close 6 Jul

Michael Sitzler Scholarship

University of Melbourne | Melbourne, Victoria | Australia | about 1 month ago

Scholarship Michael Sitzler Scholarship Application is required. Check eligibility Key scholarship details Application status Open for applications Applications open 22 Jul 2026 Applications close

CSIRO iPhD Scholarship – Red Meat Functionality

University of Southern Queensland | Darling Heights, Queensland | Australia | about 8 hours ago

This project aims to re-imagine the role of red meat as part of a healthy lifestyle by using novel technology to create new usages and occasions that transform commodity red meat and by-products

PhD/RA/Master thesis on Multimoda LLM

Monash University | Melbourne, Victoria | Australia | about 14 hours ago

We have several PhD,  Research Assistant (RA) and master research thesis’s opportunities available in areas such as Multimodal Large Language Models (MLLM) for human understanding, MLLM safety, and Generative AI. If you have published in top-tier conferences (e.g., CVPR, ICCV, ECCV, NeurIPS,...

Commonwealth Prac Payment

University of Melbourne | Melbourne, Victoria | Australia | 5 days ago

Scholarship Commonwealth Prac Payment Application is required. Check eligibility Key scholarship details Application status Open for applications Applications open 1 Feb 2026 Applications close 30

Behrend Memorial Travel Scholarships

University of Melbourne | Melbourne, Victoria | Australia | about 16 hours ago

Grant Behrend Memorial Travel Scholarships Application is required. Check eligibility Key scholarship details Application status Open for applications Applications open 1 Sep 2026 Applications close

LPDP-Australia Awards Scholarships

LPDP-Australia Awards Scholarships | Australia | about 2 months ago

Do you want to be part of the next generation of leaders in Indonesia? Do you want to make a difference in your workplace, your organisation and your community? Apply for the LPDP-Australia Awards Scholarships (AAS) and receive a world-class education in Australia. The LPDP-Australia Awards...

Alex Chernov Scholarship

University of Melbourne | Melbourne, Victoria | Australia | about 16 hours ago

Scholarship Alex Chernov Scholarship Application is required. Check eligibility Key scholarship details Application status Open for applications Applications open 5 Aug 2026 Applications close 30