634 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
-
My work focuses on experimental research in quantum sensing and quantum microscopy using the nitrogen-vacancy (NV) centre in diamond. In particular, we are interested in applying quantum sensing for examining and imaging the magnetic fields from exotic conducting materials (e.g. superconductors,...
-
My primary areas of research activity are two fold: first, studing thermonuclear (X-ray) bursts from accreting neutron stars; and second, searches for optical counterparts of gravitational-wave events with the GOTO telescope network. Projects focussing on thermonuclear bursts will involve...
-
science conference [1]; one of our papers is recognised as Clarivate Web of Science HighCite (top 1% of papers for the field of research) [2]; three of our algorithms (TS-Chief, InceptionTime and Rocket
-
imaging centres in Australia, hosting many cutting-edge imaging equipment for biomedical imaging research. The Department of Data Science and AI, Faculty of IT is home to many world class research programs
-
on my academic and professional goals, further solidifying my commitment to advancing pharmaceutical science. Am I eligible? You must be one of the following: An International student You must meet the
-
. This is a very broad topic that allows the student to choose a scope (e.g. the nature of the technology, participant demographics, visualisation) of interest to them.
-
background mathematical knowledge, including differential calculus (e.g., partial derivatives) and matrix determinants. The student should also know how to program with either Matlab, Java, or Python. Ideally
-
(Year 5/D) of the Clayton BMedSc/MD degree (M6011 or M6018) in the Faculty of Medicine, Nursing and Health Sciences as a Monash Campus in Australia. You must have completed BMedSc(Hons) M3701 and achieved
-
the Faculty of Medicine, Nursing and Health Sciences, to access a Monash education Applications Not offered in 2025 Total scholarship value Up to $30,000 Number offered One at any time See details Madeline May
-
Although deep learning has produces state of the art results on many problems, it is a data hungry technology requiring a lot of human supervision in the form of annotated data. Potential PhD topic