292 software-formal-method-phd PhD positions in Australia

  • Murdoch University | Perth, Western Australia | Australia | 1 day ago

    The Arthur McComb PhD Field Work Grant Arthur McComb was Professor of Environmental Science at Murdoch University from 1989-1996. He was passionate in wanting to improve the state of environmental

  • 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...

  • Nature Careers | Liverpool, New South Wales | Australia | about 2 months ago

    external experimentalist. You should have expertise in at least one of the following areas (i) Non-adiabatic chemical dynamics, (ii) Physics of charge transport in the solid state, (iii) QM/MM methods, (iv

  • 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...

  • 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...

  • 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...

  • 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...

  • 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,...

  • Murdoch University | Perth, Western Australia | Australia | about 12 hours 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

  • 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...

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