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
-
Engineering International High Achievers Scholarship Sir John Monash Fee Scholarship The Engineering International High Achievers Scholarship is introduced to recognise high achieving international
-
Engineering Indigenous Excellence Scholarship Achieving Potential Scholarship for Excellence The Engineering Indigenous Excellence Scholarship has been introduced to support Indigenous students
-
Skip to main content Main Menu - Primary Home Projects Supervisors Expression of Interest Contact Computational drug discovery Primary supervisor Geoff Webb Research area Data Science and Artificial
-
models for deployment in real-world driving scenarios. Required knowledge First-class bachelor’s honours or master’s degree in computer science, engineering, or a related field. Alternatively, second upper
-
would develop new computational methods for modelling Groupthink that can account for real-world complexity in agents’ behaviour, and build realistic enough models that can fit past and present empirical
-
Master of Engineering pathway program. Up to 10 scholarships valued at up to $30,000 are available each year. Applications No application required Total scholarship value Up to $30,000 Number offered Ten
-
managed by the Clinical Outcomes data Reporting and Research Program (CORRP), within the School of Public Health and Preventive Medicine (SPHPM) – Australia's largest and most respected School of Public
-
advisory boards, government committees and multi-university consortia Demonstrated ability to identify and secure new funding and program grants, ensuring financial sustainability and scaling initiatives
-
management, distributed computing, and energy-aware computing, preparing them for impactful roles in industry and research. Key Components and Example Scenarios Predictive Resource Allocation and Load
-
Automated Program Repair (APR) is the grand challenge in software engineering research. Many APR methods have shown promising results in fixing bugs with minimal, or even no human intervention