642 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
- Mathematics
- Psychology
- Arts and Literature
- Law
- Philosophy
- Education
- Sports and Recreation
- Earth Sciences
- Chemistry
- Design
- Electrical Engineering
- Environment
- Social Sciences
- 13 more »
- « less
-
the power of LLMs to develop advanced computational methods for the detection and mitigation of misinformation and disinformation. More specific objectives are: To investigate the effectiveness of large
-
part of the Books for the Vision Impaired and the GraVVITAS frameworks (www.monash.edu/it/inclusive-tech ). The project will employ computer vision, image processing and human computer interaction
-
@monash.edu in an email titled 'Reasonable Adjustments Request' for a confidential discussion. Your employment is contingent upon the satisfactory completion of all pre-employment and/or background checks
-
Bachelor of Medical Science and Doctor of Medicine Imogen This scholarship has contributed to my achievement of publishing my first paper as well as hosting lectures. These experiences will help as I work
-
environment to undertake Honours research in weather and climate science. Honours students who complete an Honours research project under the Centre's supervision will get a comprehensive introduction to
-
A recommender system is a subclass of information filtering/retrieval system that provides suggestions for items that are most pertinent to a particular user without an explicit query. Recommender systems have become particularly useful in this information overload era and have played an...
-
, software architectures, Machine Learning
-
employment is contingent upon the satisfactory completion of all pre-employment and/or background checks required for the role, as determined by the University. Enquiries: Mr Brodie Zambergs, Finance
-
spectroscopy and Gaia data of star clusters to decipher the mystery of the Lithium-rich giant stars" (with Prof John Lattanzio) "The origin of the heavy elements: Computer simulations of neutron-capture
-
Cooperative Education Program* administered out of the Faculty of Engineering. * Co-op Program student pre-requisites: Students must be enrolled in a single or double engineering degree Students are in