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
-
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
-
, 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
-
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
-
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
-
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
-
their skills and further their involvement in the broader local community. Total scholarship value Up to $18 000 Number offered Three at any one time See details Bachelor of Medical Science and Doctor
-
. Leveraging techniques such as federated learning, differential privacy, and secure multiparty computation, the goal is to enable collaborative ML tasks without compromising the privacy of individual data
-
Multiple PhD Scholarships available - Cutting-edge research at the frontiers of Whole Cell Modelling
to modulate protein translation. This project will use RNA cross-linking technology to understand all of the RNA-mediated control elements that contribute to the system of regulation that links metabolic needs
-
confidential discussion. Your 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: David
-
at Monash University in Melbourne, with an operational footprint Australia-wide, the Maintenance Technology Institute (MTI) is a commercially orientated, professional research and engineering organisation