638 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
-
checks required for the role, as determined by the University. Enquiries: Sophie Vidinovski, Interim Executive Director, Marketing and Communications, +61 3 (9905 4967) Position Description: Senior
-
, 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
-
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
-
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
-
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
-
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: Associate Professor Nicholas Gamble
-
explore unconventional ideas, develop computer algorithms for data analysis, create new experimental approaches, and apply the technique in areas like biomedicine, materials science, and geology. My group
-
contingent upon the satisfactory completion of all pre-employment and/or background checks required for the role, as determined by the University. Enquiries: Ms Sophie Vidinovski, Interim Executive Director