Sort by
Refine Your Search
-
intelligence (XAI). This project will build on the methodology of formal explainable AI (FXAI) and aim at advancing FXAI technology and broadening its use by seeking (1) how to efficiently represent an AI system
-
Nowadays more and more intelligence software solutions emerge in our daily life, for example the face recognition, smart voice assitants, and autonomous vehicle. As a type of data-driven solutions
-
Skip to main content Main Menu - Primary Home Projects Supervisors Expression of Interest Contact Automated software testing and debugging with/without LLMs Primary supervisor Yongqiang Tian Research
-
PhD Teaching Fellow - 3 positions available Job No.: 687572 Location: Clayton campus Employment Type: Part-time, fraction (0.1) Duration: 12 Months fixed-term appointment Remuneration: $83,280
-
Skip to main content Main Menu - Primary Home Projects Supervisors Expression of Interest Contact Automated software testing and debugging with/without LLMs Primary supervisor Yongqiang Tian Research
-
Maxwell King PhD Scholarship The Maxwell King Scholarship (MKS) is named after Professor Maxwell King, who has made an outstanding contribution to graduate research at Monash University, including
-
alpha in state x then we end up in a state y which obeys formula psi”, and many more. The most common way to determine the true or false status of a given formula is to use the tableau method [1]. We have
-
🎯 Research Vision The next generation of software engineering tools will move beyond autocomplete and static code generation toward autonomous, agentic systems — AI developers capable of planning
-
Principal Salesforce Developer - SMST Job No.: 681768 Location: Clayton campus Employment Type: Full-time Duration: Fixed-term appointment until December 2026 Remuneration: A competitive salary
-
Senior Full Stack Developer - SMST Job No.: 681769 Location: Clayton Campus Employment Type: Full-time Duration: Fixed-term appointment until December 2026 Remuneration: $140,157 - $148,769 pa HEW