4 computer-programmer-"https:"-"FEMTO-ST"-"UCL" "https:" "https:" "https:" "https:" uni jobs at Monash University in Australia

Efficient CEGAR-tableaux for Non-classical Logics

Monash University | Australia | about 21 hours ago

to reason with more than just and-gates, not-gates and or-gates! For example, we now have non-classical logics which capture notions such as “phi is true until psi becomes true”; “if we execute atomic program

AI as Cultural Practice

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

information on our practice-based PhD program, please see: https://sensilab.monash.edu/work-with-us/practice-based-phd/

[NextGen] Secure and Privacy-Enhancing Federated Learning: Algorithms, Framework, and Applications to NLP and Medical AI

Monash University | Australia | 5 days ago

provide multiple competitive scholarships funded by a national elite HDR training program: Data61 Next Generation Graduate (https://www.csiro.au/en/work-with-us/funding-programs/programs/next-generation

Human-Computer Integration

Monash University | Melbourne, Victoria | Australia | about 2 months ago

This project draws on a recent Dagstuhl Seminar (https://www.dagstuhl.de/en/program/calendar/semhp/?semnr=18322) that brought together leading experts from industry and academia, including those who