65 software-formal-method-phd PhD positions at Monash University

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

    Digital Sky Survey" "Data-driven methods for stellar spectroscopy" "Chemical abundances in star clusters using Korg, the first spectral synthesis code developed in two decades" web page For further details

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

  • Monash University | Australia | about 4 hours ago

    My interests span a wide range of topics in theoretical physics, including: geometric phases, topological defects in matter and radiation fields, inverse problems (scalar and vector tomography), singular optics, using electrons, atoms and light and the exploration of complex systems using...

  • Monash University | Australia | about 4 hours 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 4 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 colleauges in the School, in the Monash Centre for Electron Microscopy (MCEM) and abroad, with the goal...

  • Monash University | Australia | about 4 hours ago

    My primary areas of research activity are two fold: first, studing thermonuclear (X-ray) bursts from accreting neutron stars; and second, searches for optical counterparts of gravitational-wave events with the GOTO telescope network. Projects focussing on thermonuclear bursts will involve...

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