43 proof-checking-postdoc-computer-science-logic Postdoctoral positions at University of Sydney in Australia
Sort by
Refine Your Search
-
theory of fault-tolerant quantum computing background in quantum information theory as applied to quantum many body systems and spin lattices. Pre-employment checks Your employment is conditional upon
-
Full time, 3-year fixed term opportunity. Located on the Eveleigh Campus at the Faculty of Science Opportunity to make a tangible difference in advancing sustainable agriculture and soil health
-
opportunity The School of Medical Sciences is recognised as one of the leading centres for medical science education in the world. With over 100 years of excellence in education, we are proud to be training
-
opportunity The School of Medical Sciences is recognised as one of the leading centres for medical science education in the world. With over 100 years of excellence in education, we are proud to be training
-
opportunity The School of Medical Sciences is recognised as one of the leading centres for medical science education in the world. With over 100 years of excellence in education, we are proud to be training
-
Full time fixed term position until July 2026, located on the Darlington Campus at the Faculty of Engineering Opportunity to contribute to an industrial project on PFAS-free low-adhesion coatings
-
and reputation of the Faculty of Medicine and Health (FMH) and the University of Sydney through research, mentorship, and stakeholder engagement. About you PhD or BHons in Biomedical Science, Computer Science
-
to the design, analysis, and interpretation of data using neuroimaging (EEG/MRI), behavioural, and/or computational approaches prepare manuscripts, reports, and presentations to disseminate research findings
-
opportunity The School of Medical Sciences is recognised as one of the world’s leading centres for medical science education and biomedical research. With over 100 years of excellence in education, we are proud
-
ARC DP project aiming to develop of hybrid asymptotic methods based on exponential asymptotics and computational complex analysis apply these methods to applied nonlinear problems arising from water