73 proof-checking-postdoc-computer-science-logic PhD positions at Monash University in Australia
Sort by
Refine Your Search
-
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...
-
performance during their candidature. Application Process To apply for a graduate research degree and/or scholarship at Monash Engineering please follow the following steps: 1. Check your eligibility Before
-
Engineering please follow the following steps: 1. Check your eligibility Before beginning the application process, make sure that you meet our entry requirements. You can check the minimum entry requirements
-
/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
-
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...
-
the Monash Research Training Program (RTP) Stipend www.monash.edu/study/fees-scholarships/scholarships/find-a-scholarship/research-training-program-scholarship#scholarship-details Be inspired, every day Drive
-
known as Team COMPAS -- includes a number of amazing undergraduate and graduate students, postdocs, alumni, and other fantastic collaborators. Please contact me if you are interested in joining our group