632 proof-checking-postdoc-computer-science-logic positions at Monash University in Australia
Sort by
Refine Your Search
-
Listed
-
Category
-
Program
-
Field
- Computer Science
- Medical Sciences
- Economics
- Engineering
- Business
- Science
- Biology
- Linguistics
- Humanities
- Materials Science
- Arts and Literature
- Law
- Mathematics
- Psychology
- Education
- Philosophy
- Sports and Recreation
- Earth Sciences
- Chemistry
- Design
- Electrical Engineering
- Environment
- Social Sciences
- 13 more »
- « less
-
, computer games) and a wide variety of solution methods have been proposed. Once a plan is computed, execution proceeds under the supervision of a human operator who is free to modify and adjust the plan
-
Motorola Solutions Leap Scholarships Industry Leaders Scholarship The Motorola Solutions Leap Scholarships are designed to support students pursuing a Bachelor of Paramedicine (Honours) or a Master of Specialist Paramedic Practice. These scholarships aim to help equip the next generation of...
-
that are constructed in a way that is inspired by what we know about self-awareness circuits in the brain and the field of self-aware computing. The project will advanced state of the art AI for NLP or vision or both
-
and/or background checks required for the role, as determined by the University. Eligibility requirements: Candidates will need to fulfil the Monash University minimum requirements for admission to a
-
explore current techniques such as fine-tuning, model alignment, prompt engineering and Retrieval Augmented Generation (RAG) to improve reliability of generated recommendations for two cases of chronic
-
In collaboration with people from Monash materials engineering, neuroscience and biochemistry we are developing living AI networks where neurons in a dish are grown to form biological neural
-
of a proof-of-concept prototype in partnership with law-enforcement, higher-education, and commercial organisations. It will involve the gathering of multi-stakeholder organisational requirements and the
-
healthcare, finance, environmental monitoring, and beyond. While recent advancements in foundation models have shown tremendous success in NLP and computer vision, the unique characteristics of time series
-
The detection of human activities is crucial for effective monitoring purposes. The challenge lies in accurately and promptly identifying various types of activities from videos and images captured in diverse, real-world environments. Both classical machine learning methods and deep learning...
-
their performance both empirically and through controlled user studies. Required knowledge Strong background in computer science in general Familiarity and understanding of basic principles underlying automated