67 formal-verification-computer-science PhD positions at Monash University in Australia
Sort by
Refine Your Search
-
comprising one or more of: a bachelor’s honours degree in a relevant discipline (computer science, software engineering), which includes a research thesis or project, with an overall average grade equivalent
-
Scholarship in CSIRO Industry PhD Program - Project 1: Resilient & Practical Quantum-Safe Threshold Cryptography Job No.: 678541 Location: Clayton campus Employment type: Full-time Duration: 4-year
-
Scholarship in CSIRO Industry PhD Program - Project 2: Techniques and Frameworks for Enabling Post-Quantum Cryptography (PQC) Migration Job No.: 678538 Location: Clayton campus Employment Type: Full
-
PhD Program – Understanding core competencies and mechanisms in the development and prevention of problem behaviour and poor mental health in the adolescent and early adult years Job No.: 680087
-
. 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
-
Economics (CHE) Integrated PhD Program , you will receive rigorous training in advanced health economics and related studies. The Integrated Program starts with advanced coursework, research training and a
-
of people with disability. These might, for instance, utilise conversational agents, computer vision, mixed reality, wearables etc. Disability, Technology, and Society: Research with a sociological or
-
of generative AI. Essential Skills and Experience A background in a relevant field such as behavioural science, cognitive science, data science, psychology, human-computer interaction, law, or a related
-
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...
-
Intelligence; Software Systems & Cybersecurity; and Human-Centred Computing - with cross-cutting research themes covering work from core computing science through software engineering to social and