61 proof-checking-postdoc-computer-science-logic Postdoctoral positions in postdoctoral in Australia
Sort by
Refine Your Search
-
Category
-
Employer
- University of Sydney
- UNIVERSITY OF SYDNEY
- Macquarie University
- The University of Western Australia
- ADELAIDE UNIVERSITY
- UNIVERSITY OF WESTERN AUSTRALIA
- University of Melbourne
- MACQUARIE UNIVERSITY - SYDNEY AUSTRALIA
- Monash University
- The University of Queensland
- University of Tasmania
- 1 more »
- « less
-
Field
-
completion) in computer science (or closely related fields) a solid background in theoretical computer science, mathematical logic, and automata-theory/formal-language theory proven capability for independent
-
staff to supervise research and teaching, 51 fixed term staff and postdocs, 97 postgraduate students and 2,288 equivalent full-time student-load undergraduate students. To learn more about the School
-
research team within the School of Aerospace, Mechanical and Mechatronic Engineering. The successful candidate will work within a multi-institutional research program comprising HDR and Honours students
-
chemical engineering program in Australia. The School is committed to teaching excellence and our graduates are highly regarded and sought after by employers in Australia and overseas. The School is research
-
Full time, two year fixed-term position commencing in January / February 2027. Located at our Camperdown campus in the School of Aerospace, Mechanical & Mechatronic Engineering Exciting opportunity
-
leading journals and conferences. About you · a PhD in Materials Science and Engineering, Physics, Materials Characterisation, Computational Materials Science, or a closely related discipline
-
12 Sep 2026 Job Information Organisation/Company UNIVERSITY OF SYDNEY Research Field Computer science Researcher Profile Leading Researcher (R4) Application Deadline 26 Sep 2026 - 00:00 (UTC
-
Computer Engineering at the University of Sydney is seeking to appoint a Postdoctoral Research Associate to contribute to an exciting project focused on the challenge of creating robust radio frequency
-
the Australian Research Council The successful candidate should have research experience in electrochemical technology and prototype design. They will have excellent oral and written communication skills and
-
. Working closely with Associate Professor Ronald Castelino and a multidisciplinary research team, the successful candidate will play a leading role in the management and delivery of the research program