255 software-formal-method-phd positions at Monash University

  • Monash University | Australia | 24 minutes ago

    My research focuses on the dramatic final stages of massive stars, exploring how they end their lives as gamma-ray bursts, supernovae, and kilonovae. To unravel these mysteries, I employ a combination of multi-wavelength observational data with sophisticated simulations. I am a member of various...

  • Monash University | Australia | 24 minutes ago

    I supervise projects considering the evolution of accretion discs and their connection to observations. In particular, I consider discs that are warped or distorted (not flat). This geometry has been directly observed in planet forming discs around young stars (protoplanetary discs) and is...

  • Monash University | Australia | 25 minutes ago

    I am an experimental particle physicist and I specialise in the study of particles containing the beauty and charm quarks. My research aims to help improve our understanding our universe by comparing our experimental observations to predictions made using the Standard Model of Particle...

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

    cultural sites such as shell “middens” in GunaiKurnai Country. The successful PhD candidates are expected to have reasonable excavation experience, but will be mentored into fine-grained excavation methods

  • Monash University | Australia | 24 minutes ago

    I supervise a wide range of projects in gravitational-wave astronomy. This work is carried out within the Centre of Excellence for Gravitational-wave Discovery: OzGrav. As a member of my team, you will have the opportunity to interact with gravitational-wave researchers throughout Australia and...

  • Monash University | Australia | 24 minutes ago

    I supervise a wide range of projects at the intersection of photonics and nanotechnology, investigating how we can efficiently control light on the nanoscale. Applications are in areas such as optoelectronics, green energy, and fundamental quantum optics. As a member of my group you will have...

  • Monash University | Australia | 25 minutes ago

    I supervise a wide range of projects in stellar astrophysics, with a focus on low and intermediate-mass stars, which have masses similar to or slightly larger than our Sun. This work is carried out within the Centre of Excellence for Astrophysics in 3D: ASTRO 3D. As a member of my group, you...

  • Monash University | Australia | 23 minutes ago

    tissues or reveal micro- or nano-structural features, like the small air sacs in lungs. To overcome these limitations, alternative X-ray imaging methods have been developed: X-ray phase-contrast and dark

  • Monash University | Australia | 25 minutes ago

    I work on the study of massive and supermassive stars (10-100,000 solar masses); the first generations of stars in the universe (Pop III stars); evolution of rotating massive stars and the spin of their remnants (including predictions for GW sources); mixing and transport processes in the...

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

    Skip to main content Main Menu - Primary Home Projects Supervisors Expression of Interest Contact Automated software testing and debugging with/without LLMs Primary supervisor Yongqiang Tian Research

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