5 algorithm-development-"https:"-"CEA-Saclay" positions at Monash University in Australia

Efficient CEGAR-tableaux for Non-classical Logics

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

formula is true or false (EXPTIME vs NP). Can we develop and implement efficient algorithms for this problem? This problem has been attacked using multiple different methods for the past 40 years, without

PhD position: Assoc Prof Marcus Kitchen

Monash University | Australia | about 21 hours ago

through theory and simulation and/or experimental design and testing; developing new image reconstruction algorithms for providing more information with less radiation; and applying our techniques

Enhancing Service User Care Pathway Experience through AI-Driven Personalisation

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

the headspace website. Possible approaches to addressing this challenge might include: Developing algorithms to identify patterns and preferences based on service users’ previous content engagement

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

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

Federated learning (FL) is an emerging machine learning paradium to enable distributed clients (e.g., mobile devices) to jointly train a machine learning model without pooling their raw data into a

Mobility data-driven planning of electric vehicle charging infrastructure for decarbonising energy and transport systems (position filled)

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

will provide new models and algorithms for energy-transport integration, advancing the knowledge of mitigation strategies for sustainable urban development. #sustainability PhD student role description