68 proof-checking-postdoc-computer-science-logic PhD positions at Monash University in Australia
Sort by
Refine Your Search
-
-term appointment Remuneration: The successful applicant will receive a tax-free stipend, at the current value of $36,063 per annum 2025 full-time rate, as per the Monash Research Training Program (RTP
-
Remuneration: The successful applicant will receive a tax-free stipend, at the current value of $35,013 per annum 2024 full-time rate, as per the Monash Research Training Program (RTP) Stipend . Monash
-
adaptation is a part of Australia’s emerging climate economy! Join our thriving Geography community in Australia’s largest School of Social Sciences for a PhD project that will contribute to live policy
-
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
-
and/or background checks required for the role, as determined by the University. Eligibility requirements: Candidates will need to fulfil the Monash University minimum requirements for admission to a
-
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
-
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
-
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