75 software-formal-method-phd PhD positions at Monash University in Australia

  • Monash University | Melbourne, Victoria | Australia | about 2 hours ago

    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

  • Monash University | Australia | about 22 hours ago

    can occur that are very different to the macroscopic world. Our group develops methods to measure and ‘see’ this atomic detail using some of the world’s most powerful electron microscopes. We apply

  • Monash University | Melbourne, Victoria | Australia | 14 days ago

    2026 Monash Education PhD Scholarship - Intergenerational Play Job No.: 691161 Location:  Clayton campus, Melbourne Employment Type: Full-time Duration: 3.5-year fixed-term appointment Remuneration

  • Monash University | Australia | about 22 hours ago

    I supervise projects in particle physics. My main emphasis is on phenomenology, comparison of predictions with experimental measurements. I follow developments in flavour physics: weak decays of mesons and baryons and their role as indirect probes for physics beyond the standard model. I also...

  • Monash University | Australia | about 22 hours ago

    systems. I have projects available within the following areas, all of which can be tailored to either honours or PhD level. "Quantum impurities in quantum gases" "Interactions between strongly coupled light

  • Monash University | Australia | about 22 hours ago

    I supervise a wide range of PhD projects on experimental research into the electronic properties of novel quantum materials including topological insulators, graphene, and other atomically thin two

  • Monash University | Australia | about 22 hours ago

    I supervise computational projects in electron microscopy imaging for investigating materials at atomic resolution. Some projects centre on analysing experimental data acquired by experimental colleauges in the School, in the Monash Centre for Electron Microscopy (MCEM) and abroad, with the goal...

  • Monash University | Australia | about 22 hours ago

    I study galaxies and active galactic nuclei, endeavouring to understand how galaxies grow, what regulates star formation within galaxies and what triggers active galactic nuclei. My students and I use imaging surveys at X-ray, optical, infrared and radio wavelengths to measure the emission from...

  • Monash University | Australia | about 22 hours ago

    I am interested in all aspects of theoretical astrophysics, with a particular focus on strong gravitational fields, compact objects, and gravitational-wave astronomy.  I am currently  exploring the evolution of massive binary stars into compact binaries as sources of gravitational-waves and...

  • Monash University | Australia | about 22 hours ago

    I supervise a wide range of projects stellar astronomy. They include modelling stars in 1D or 3D, deciphering the origin of the elements (stellar nucleosynthesis), and observing using optical telescopes (high-resolution spectroscopy) and space-based telescopes (asteroseismology). The uniting...

Enter an email to receive alerts for software-formal-method-phd positions