613 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
- Materials Science
- Law
- Arts and Literature
- Biology
- Mathematics
- Philosophy
- Psychology
- Education
- Environment
- Earth Sciences
- Chemistry
- Design
- Electrical Engineering
- Social Sciences
- Sports and Recreation
- 13 more »
- « less
-
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
-
program – it’s an opportunity to reinvent how students connect, engage, and succeed at University. What You’ll Be Doing: Own the transformation. Lead the business analysis activities in a cross-functional
-
Orica Engineering Scholarship Achieving Potential Scholarship for Distinction Orica Engineering Scholarship as supported by Orica by established to support equity scholarship to benefit students in
-
that the group-level behaviour emerges from the actions of individuals, who only have limited, locally information on what is going on. Such self-organised behaviour is common in biology, it is the basis of how
-
Engineering Excellence Scholarship Sir John Monash Scholarship for Distinction This scholarship is for commencing Engineering students and is awarded based on academic achievement. Up to five
-
This project draws on a recent Dagstuhl Seminar (https://www.dagstuhl.de/en/program/calendar/semhp/?semnr=18322) that brought together leading experts from industry and academia, including those who
-
Women in Engineering Scholarship Sir John Monash Scholarship for Achievement At Monash, we support bright young women who wish to study engineering. If you are a high-achieving student intending
-
Current reseach is in the areas of: Development of biomimetic structures as ultrasound contrast agents Deep tissue imaging using photoacoustic contrast agents All optical photoacoustic sensors for tomagraphic imaging in tissue Neural network correction of distortions in acoustic transducers web...
-
optimisation of our enterprise and research computing infrastructure. In this pivotal role, you’ll drive excellence across storage, backup, and virtualisation systems—ensuring resilience, scalability, and
-
Research Training Program (RTP) Stipend Research Training Program (RTP) Scholarships are provided by the Australian Government to support both domestic and international students undertaking