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

  • Monash University | Australia | 44 minutes ago

    My research explores ways to determine the atomic architecture of materials so we can understand and manipulate a material’s behaviour. At the atomic level, amazing and beautiful quantum phenomena can occur that are very different to the macroscopic world. Our group develops methods to measure...

  • Queensland University of Technology | Brisbane, Queensland | Australia | about 19 hours ago

    material design. Based in our Science and Engineering Faculty, you will also spend time at our research hub at the Karlsruhe Institute of Technology (KIT) in Germany. Find out more about our research team

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

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

  • Swinburne University of Technology | Melbourne, Victoria | Australia | 1 day ago

    Chilean students who wish to undertake a postgraduate degree in Australia are eligible to apply for a scholarship under the Chilean Bicentennial Fund. Courses eligible Doctor of Philosophy (PhD), Masters by Research Eligibility / selection criteria Chilean national Commitment to return to Chile...

  • Monash University | Australia | 42 minutes 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...

  • La Trobe University | Melbourne, Victoria | Australia | about 20 hours ago

    The Baker Department of Cardiovascular Research, Translation and Implementation at La Trobe University is focussed on world class cardiovascular disease, diabetes and public health research. We are translating our research discoveries into practice, policy and education. Our goal is to: better...

  • Monash University | Australia | 43 minutes 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 1 hour ago

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

  • University of Adelaide | Adelaide, South Australia | Australia | about 17 hours ago

    /policy) The research and development activities are self-explanatory based on the research projects identified above. Any student willing to undertake an internship at DEW but not in the areas particularly

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