2 formal-methods positions at Monash University

Sort by: relevance | listed |

Enter an email to receive alerts for formal-methods positions

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 9 hours ago

. The candidate will contribute to the development of empirically validated methods for identifying and mitigating such effects. The research will involve experimental studies, neurophysiological methods (e.g., eye
Formally Verified Automated Reasoning in Non-Classical Logics

Monash University | Melbourne, Victoria | Australia | 1 day 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

Enter an email to receive alerts for formal-methods positions