637 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
- Biology
- Humanities
- Materials Science
- Law
- Arts and Literature
- Mathematics
- Psychology
- Philosophy
- Education
- Sports and Recreation
- Earth Sciences
- Environment
- Chemistry
- Design
- Electrical Engineering
- Social Sciences
- 13 more »
- « less
-
your strategic, operational, and financial leadership experience to successfully manage a large, complex health technology program like the Artificial Heart Frontiers Program? Please describe your
-
leading medic-legal and engineering researchers on real-world crash data Join Australia’s only academic department embedded in a forensic medicine institute The Opportunity Are you a proactive early-career
-
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
-
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
-
services to the Monash Sport community, including but not limited to provision of core services to members, including taking a professional and innovative approach to individual program design and diligent
-
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
-
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