64 formal-verification-computer-science PhD positions at Monash University in Australia
Sort by
Refine Your Search
-
Multiple PhD Scholarships available - Cutting-edge research at the frontiers of Whole Cell Modelling
to modulate protein translation. This project will use RNA cross-linking technology to understand all of the RNA-mediated control elements that contribute to the system of regulation that links metabolic needs
-
between theoretical and computational high-energy physics. The research contributes to the world-leading PYTHIA Monte Carlo Event Generator, which serves as the baseline for the majority of experimental
-
explore unconventional ideas, develop computer algorithms for data analysis, create new experimental approaches, and apply the technique in areas like biomedicine, materials science, and geology. My group
-
spectroscopy and Gaia data of star clusters to decipher the mystery of the Lithium-rich giant stars" (with Prof John Lattanzio) "The origin of the heavy elements: Computer simulations of neutron-capture
-
My research focuses on strongly interacting quantum systems at the interface between condensed matter physics and ultracold atomic gases. In particular, I am interested in the interplay between few- and many-body physics in scenarios ranging from superfluids to quantum impurity problems to...
-
computers to large-scale multi-dimensional simulations on high-end supercomputers, depending on your interests and inclinations. "Modelling extreme supernova explosions: From fast and faint to bright and
-
possess translational symmetry, the role of structure and symmetry in glasses is not established. This research programme involves the development of new x-ray and electron diffraction-based methods
-
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...
-
My area of expertise is condensed matter theory. I am interested in the interplay between interactions and unconventional electronic properties of novel materials including graphene, topological insulators and Weyl semimetals. The former favours quantum states of matter (e.g. excitonic...
-
PhD Scholarship in History Job No.: 678754 Location: Clayton campus Employment Type: Full-time Duration: 3.5-year fixed-term appointment Remuneration: The successful applicant will receive a Research Living Allowance, at current value of $36,063 AUD per annum 2025 full-time rate (tax-free...