3 formal-method "MONASH UNIVERSITY" positions

Formally Verified Automated Reasoning in Non-Classical Logics

Monash University | Melbourne, Victoria | Australia | 2 days ago

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

Minimum Message Length

Monash University | Melbourne, Victoria | Australia | 2 days ago

or nats, balances model complexity against goodness-of-fit. It is essentially a formal implementation of Occam's razor. A key advantage of MML is that the message length provides a universal gauge for

PhD Scholarship in bias propagation in generative AI-driven decision systems and its implications for trust, governance, and regulatory compliance

Monash University | Melbourne, Victoria | Australia | about 10 hours ago

research team led by experts from the Opportunity Tech Lab within the Monash Business School and the Faculty of IT at Monash University. The PhD candidate will be working with a team of distinguished