73 software-verification-computer-science PhD positions at Monash University in Australia
Sort by
Refine Your Search
-
Centre for Health Economics, Monash Business School, PhD Program 2025 Job no.: 625101 Location: Caulfield campus Duration: 4.5-year fixed-term appointment Employment type: Full-time Remuneration
-
Computer Systems Engineering ● Materials Science and Engineering ● Mechanical and Aerospace Engineering For further information, please follow the link for each Graduate Research Degree ● 3291 - Doctor
-
and Computer Systems Engineering ● Materials Science and Engineering ● Mechanical and Aerospace Engineering To be eligible to apply for domestic postgraduate research scholarships an applicant must be
-
Scholarship in CSIRO Industry PhD Program - Project 1: Resilient & Practical Quantum-Safe Threshold Cryptography Job No.: 678541 Location: Clayton campus Employment type: Full-time Duration: 4-year
-
Scholarship in CSIRO Industry PhD Program - Project 2: Techniques and Frameworks for Enabling Post-Quantum Cryptography (PQC) Migration Job No.: 678538 Location: Clayton campus Employment Type: Full
-
, computer science, software/systems engineering, and data science. Experience with NLP/LLMs and/or requirements engineering is highly desirable; familiarity with model-based systems engineering, safety-critical
-
Economics (CHE) Integrated PhD Program , you will receive rigorous training in advanced health economics and related studies. The Integrated Program starts with advanced coursework, research training and a
-
concentration of economists working in health in the Asia-Pacific region and the largest Health Economics PhD program in Australia, reflecting the reputation of our researchers and the quality of their mentorship
-
concentration of economists working in health in the Asia-Pacific region and the largest Health Economics PhD program in Australia, reflecting the reputation of our researchers and the quality of their mentorship
-
We have several PhD 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, etc.), you will have a strong chance of receiving a full...