74 formal-verification-computer-science PhD positions at Monash University in Australia
Sort by
Refine Your Search
-
concentration of economists working in health in the Asia-Pacific region and the largest Health Economics PhD program in Australia, reflecting the reputation of our researchers and the quality of their mentorship
-
concentration of economists working in health in the Asia-Pacific region and the largest Health Economics PhD program in Australia, reflecting the reputation of our researchers and the quality of their mentorship
-
. National Road Safety Partnership Program (NRSPP) offers a collaborative network to support Australian businesses in developing a positive road safety culture. It’s about saving lives without the red tape
-
We have several PhD opportunities available in areas such as Multimodal Large Language Models (MLLM) for human understanding, MLLM safety, and Generative AI. If you have published in top-tier conferences (e.g., CVPR, ICCV, ECCV, NeurIPS, etc.), you will have a strong chance of receiving a full...
-
My research focuses on the dramatic final stages of massive stars, exploring how they end their lives as gamma-ray bursts, supernovae, and kilonovae. To unravel these mysteries, I employ a combination of multi-wavelength observational data with sophisticated simulations. I am a member of various...
-
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...
-
I supervise projects considering the evolution of accretion discs and their connection to observations. In particular, I consider discs that are warped or distorted (not flat). This geometry has been directly observed in planet forming discs around young stars (protoplanetary discs) and is...
-
/scholarships/scholarship-policy-and-procedures The Opportunity This PhD scholarship forms part of a collaborative research program on digital transformation, data practices, and everyday life in Indonesia
-
, computer science, software/systems engineering, and data science. Experience with NLP/LLMs and/or requirements engineering is highly desirable; familiarity with model-based systems engineering, safety-critical
-
We have several PhD and Research Assistant (RA) opportunities available in areas such as Multimodal Large Language Models (MLLM) for human understanding, MLLM safety, and Generative AI. If you have published in top-tier conferences (e.g., CVPR, ICCV, ECCV, NeurIPS, etc.), you will have a strong...