2,003 software-formal-method-phd positions in Australia

Sort by

Refine Your Search

  • Monash University | Australia | about 15 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...

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

    Skip to main content Main Menu - Primary Home Projects Supervisors Expression of Interest Contact Interoperability (using FHIR) in cutting-edge medical software systems Primary supervisor Chris Bain

  • The University of Queensland | St Lucia, Queensland | Australia | about 7 hours ago

    hardware and software deployment activities across a large and diverse client base Ensuring compliance with security and configuration standards throughout upgrade processes Maintaining clear communication

  • Monash University | Australia | about 15 hours ago

    I am an early-career DECRA Research Fellow. I joined Monash University in mid-2022, before that I acquired a Macquarie University Research Fellowship at Macquarie University, a Humboldt Research Fellowship at LMU Munich, and a postdoc position at RMIT University. My nanophotonics research seeks...

  • Monash University | Australia | about 15 hours 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 | about 15 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 15 hours ago

    I work on a wide range of topics with my local group and in collaboration with numerous members of three large international collaborations.  The main focus of my work is understanding how the observed pattern of fundamental particles and forces emerged, using information carried by...

  • Monash University | Australia | about 15 hours ago

    My work focuses on experimental research in quantum sensing and quantum microscopy using the nitrogen-vacancy (NV) centre in diamond. In particular, we are interested in applying quantum sensing for examining and imaging the magnetic fields from exotic conducting materials (e.g. superconductors,...

  • Monash University | Melbourne, Victoria | Australia | 1 day ago

    . This is a unique opportunity to work with pioneering bedside monitoring tools, such as ICM+ software, and support the delivery of major multi-centre clinical studies, including BONANZA-GT and PRECISION-TBI

  • Murdoch University | Perth, Western Australia | Australia | 3 days ago

    Corporation (GRDC)’s initiative, multiple PhD Scholarship positions have been made available on developing new data analytics methods and modelling for grain research innovation and ensuring enduring

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