636 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
- Linguistics
- Biology
- Humanities
- Materials Science
- Law
- Mathematics
- Psychology
- Arts and Literature
- Philosophy
- Education
- Sports and Recreation
- Earth Sciences
- Chemistry
- Design
- Electrical Engineering
- Environment
- Social Sciences
- 13 more »
- « less
-
the Humanities, Arts and Social Sciences (HASS), is more critical than ever. HASS disciplines offer the tools to understand the human dimensions of environmental and climate change – our values, cultures, politics
-
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...
-
checks required for the role, as determined by the University. Enquiries: Professor Janet Anderson, Professor of Human Factors, janet.anderson@monash.edu Position Description: Research Fellow - Level A
-
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
-
, 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
-
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
-
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
-
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
-
, Gholamreza Haffari Proceedings of the 16th Annual Conference of the North American Chapter of the Association for Computational Linguistics: Human Language Technologies (NAACL-HLT), 2018. [2] Learning How