297 formal-verification-computer-science PhD positions in Australia

  • Monash University | Australia | about 12 hours ago

    analytical imaging methods, then working with collaborators to apply these methods to biomedical research, diagnostic imaging and beyond. Research projects vary from purely theoretical, to computational

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

  • Murdoch University | Perth, Western Australia | Australia | about 22 hours ago

    to determine opportunities for beneficiation and extraction by Tronox and its affiliates. The crucial aspect of recovering critical minerals/metals from waste streams will be understanding the chemistry by

  • Monash University | Australia | 3 months ago

    My research interests focus on the stars - primarily their structure, evolution and nucleosynthesis. This can involve modelling of mixing in stars, or effects of changing nuclear burning rates; trying to understand why certain elements are more abundant than others; or how the different...

  • Monash University | Australia | about 12 hours ago

    My research focuses on the theory of strongly correlated phenomena in cold atomic gases and electron systems. Particular topics of interest include low-dimensional quantum systems, superconductivity and quantum impurities. I was previously part of the Australian Centre of Excellence for Future...

  • Monash University | Australia | about 12 hours ago

    I am an ARC Future (former DECRA) Fellow and lead the Structured Nanophotonics Group at Monash University. My research in nanophotonics explores the full potential and multi-dimensional nature of light, focusing on controlled light-matter interactions at the nanoscale. Driven by the fascinating...

  • Curtin University | Perth, Western Australia | Australia | 19 minutes ago

    will be applied to understand the roles of the geometrical properties and the surface chemistry on CO2 adsorption in the developed porous carbons, to facilitate the optimized adsorbents development

  • University of Melbourne | Melbourne, Victoria | Australia | about 12 hours ago

    an international consortium of researchers, with far-reaching implications for global health and environmental science. Science and the Environments Subscribe to Newsroom updates Receive News, Research and Experts

  • difference between cold-related discomfort and illnesses such as hypothermia, and what to do about it if your heating is not working. 25 Jun 2025 News UoM Influenza Vaccination Program 2025 Program for 2025

  • Curtin University | Perth, Western Australia | Australia | about 1 hour ago

    project governance. All Grant applications are evaluated on merit. Student type Current Students Faculties and centres Faculty of Health Sciences Course type Higher Degree by Research Citizenship Australian

Enter an email to receive alerts for formal-verification-computer-science positions