628 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
- Biology
- Science
- Linguistics
- Materials Science
- Humanities
- Arts and Literature
- Law
- Philosophy
- Psychology
- Education
- Mathematics
- Sports and Recreation
- Design
- Earth Sciences
- Chemistry
- Electrical Engineering
- Environment
- Social Sciences
- 13 more »
- « less
-
of innovative computational procedures and methodologies, addressing a national skills shortage and enabling timely progress on a high-impact research initiative in modern econometric modelling. The role provides
-
"A picture is worth a thousands words"... or so the saying goes. How much information can we extract from an image of an insect on a flower? What species is the insect? What species is the flower? Where was the photograph taken? And at what time of the year? What time of the day? What was the...
-
MMG Women in Engineering Scholarship Achieving Potential Scholarship for Excellence MMG wish to actively promote female participation in Engineering by providing philanthropic support to encourage
-
computer skills, including Microsoft Word, Excel, and HR information systems. High attention to detail and accuracy while managing a high volume of work. The ability to work autonomously, exercising sound
-
fast-readout electron detectors to validate the methods developed. The successful candidate will have a PhD in Physics, Materials Engineering, Computer Science or a closely related field. Research
-
. The Senior Engineer will keep abreast of AV industry trends and make recommendations on the adoption of new technologies. We pride ourselves on ensuring AV technology standards are incorporated effectively
-
This project focuses on brain network mechanisms underlying anaesthetic-induced loss of consciousness through the application of simultaneous EEG/MEG and neural inference and network analysis methods. In this work we study the effects putative NMDA antagonists xenon, a potent anaesthetic, and...
-
to work independently and collaboratively. Advanced planning, time management, and written communication skills are essential, along with proven computer literacy and proficiency in relevant software and
-
an interdisciplinary, purpose-driven team. You have: A postgraduate qualification in Computer Science, Data Science or related field Extensive experience working with large-scale, high-frequency (waveform) data
-
Relevant bibliography: - Chades, I., Carwardine, J., Martin, T., Nicol, S., Sabbadin, R., & Buffet, O. (2012). MOMDPs: a solution for modelling adaptive management problems. In Proceedings of the AAAI Conference on Artificial Intelligence (Vol. 26, No. 1, pp. 267-273). - Blau, T., Bonilla, E....