626 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
- Linguistics
- Materials Science
- Biology
- Humanities
- Law
- Arts and Literature
- Mathematics
- Psychology
- Philosophy
- Education
- Earth Sciences
- Environment
- Chemistry
- Design
- Electrical Engineering
- Social Sciences
- Sports and Recreation
- 13 more »
- « less
-
manage multiple priorities effectively, while your computer literacy and experience with financial systems, especially SAP, will support your technical performance. A sound understanding of GST in a
-
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
-
the Faculty, the Department of Electrical and Computer Systems Engineering (ECSE) offers internationally acclaimed programs in power systems, telecommunications, electronics, robotics and biomedical engineering
-
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
-
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
-
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
-
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
-
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