3 formal-methods "https:" positions in Australia

Sort by: relevance | listed |

Enter an email to receive alerts for formal-methods "https:" positions

Postdoctoral Research Associate - AI-Enabled Decision-Making Dynamics in Future Megaprojects

UNIVERSITY OF SYDNEY | Camperdown, New South Wales | Australia | about 2 months ago

dynamics in complex, large-scale project systems develop formal, computational, or simulation-based models to study how decisions, incentives, feedback, and learning evolve over time in megaproject
Lecturer, Literacy

RMIT University | Melbourne, Victoria | Australia | 18 days ago

short courses. The school is committed to teaching, research and engagement that improves the quality of education, work and life for people and systems in formal and informal settings. Collaborating with
Tenure Track Lecturer / Senior Lecturer / Associate Professor, School of Computing

AUSTRALIAN NATIONAL UNIVERSITY (ANU) | Canberra, Australian Capital Territory | Australia | 24 days ago

of computation, formal methods, human-computer interaction Intelligent Systems: artificial intelligence, machine learning, computer vision, natural language processing, robotics Data Science: data mining and

Enter an email to receive alerts for formal-methods "https:" positions