627 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
- Linguistics
- Science
- Humanities
- Biology
- Materials Science
- Law
- Arts and Literature
- Mathematics
- Psychology
- Philosophy
- Education
- Environment
- Earth Sciences
- Chemistry
- Design
- Electrical Engineering
- Social Sciences
- Sports and Recreation
- 13 more »
- « less
-
' for a confidential discussion. Your employment is contingent upon the satisfactory completion of all pre-employment and background checks required for the role, as determined by the University. Enquiries
-
checks required for the role, as determined by the University. Enquiries: Associate Professor Alberta Hoi, Head of Lupus+ Clinical Research Hub, Alberta.Hoi@monash.edu Position Description: Research
-
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 required
-
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: Shannon
-
campus Time Commitment: Up to 10 meetings per year; 3-5 hours per meeting, plus additional time for pre-reading Contact:animal.ethics@monash.edu Monash University’s School of Biological Sciences Animal
-
Adjustments Request' for a 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
-
-term appointment Remuneration: The successful applicant will receive a tax-free stipend, at the current value of $36,063 per annum 2025 full-time rate, as per the Monash Research Training Program (RTP
-
In many branches of science (e.g., Artificial Intelligence, Engineering etc.), the modelling of the problem is done through the use of functions (e.g., f(x) = y). On a very high-level, we can think
-
today will no longer provide security in the presence of such technology. Therefore, cryptography based on “Post-Quantum” (PQ) techniques (that resists attacks by quantum computers) is a central goal for
-
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: Dr Ceren Ayas, Southeast Asia Lead