634 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
- Biology
- Linguistics
- Humanities
- Materials Science
- Arts and Literature
- Law
- Mathematics
- Psychology
- Education
- Philosophy
- Sports and Recreation
- Earth Sciences
- Chemistry
- Design
- Electrical Engineering
- Environment
- Social Sciences
- 13 more »
- « less
-
principles must the task choice be based for this to work? These questions are central to explaining the organisation of natural societies, from insects to humans, and to engineering self-organised systems
-
) McCormack J. (2017) Niche Constructing Drawing Robots . In: Correia J., Ciesielski V., Liapis A. (eds) Computational Intelligence in Music, Sound, Art and Design. EvoMUSART 2017. Boden, M. Creativity and Art
-
This PhD project aims to mitigate the data scarcity of new NLP and Multimodal applications by developing novel active learning algorithms. In this project, the student will leverage large foundation models, such as ChatGPT and GPT4, incorporating the cutting-edge techniques in the other areas,...
-
analytical imaging methods, then working with collaborators to apply these methods to biomedical research, diagnostic imaging and beyond. Research projects vary from purely theoretical, to computational
-
I supervise computational projects in electron microscopy imaging for investigating materials at atomic resolution. Some projects centre on analysing experimental data acquired by experimental
-
testing approaches that can be used to verify that machine learning models are not biased. Required knowledge Software engineering, software testing, statistics, machine learning
-
scholarship value Up to $30,000 Number offered Three See details Chau Yee Gan Pharmacy and Pharmaceutical Science International Merit Scholarship I am truly honoured to receive this scholarship, which greatly
-
would suit a mathematics or computer science student with a background in continuous optimisation (linear and non-linear programming) and discrete optimisation (mixed integer programming). An ability
-
networks, I’ve been able to broaden my knowledge and skill set. It has provided a sense of security and motivation to continue striving for success in my field. Am I eligible? You must be one
-
Transition Program. **To be eligible you must provide a Confirmation of Aboriginal and/or Torres Strait Islander Heritage certificate or a certified Statutory Declaration form to the William Cooper Institute