Sort by
Refine Your Search
-
Listed
-
Category
-
Program
-
Employer
-
Field
-
(Level B) PhD in computer science or a related discipline with focus on formal methods. Experience with interactive theorem proving using Isabelle/HOL, HOL4, Coq or similar, or experience with proving
-
teaching methods to enhance learning in face-to-face, blended, and online settings. Skills & Experience Postgraduate qualification such as a PhD or equivalent accreditation and standing recognised by
-
technology and innovative teaching methods to enhance learning in face-to-face, blended, and online settings. Skills & Experience Postgraduate qualification such as a PhD or equivalent accreditation and
-
. Desirable Criteria: Interest in application of research to Defence and Intelligence domains, and collaboration with industry Familiarity with formal mathematical proofs and analytical methods, or numerical
-
formal reception. University College formal dinner. University College exterior, detail. University College signage. Got questions about accommodation? Please email your questions about accommodation and
-
and collaborative research environment within the lab. Take a leading role in mentoring junior students, with the opportunity to take on formal supervision roles. About you Qualifications: PhD in
-
the teaching team and undertake administrative tasks as appropriate. The successful applicant must have a completed PhD in a relevant discipline and a recognised teaching qualification together with recent
-
and undertake administrative tasks as appropriate. The successful applicant must have a completed PhD in a relevant discipline and a recognised teaching qualification together with recent experience
-
: Level A academic appointment - from $109,272 to $117,108 p.a. (Steps 6–8, PhD awarded rate) • Appointment Type: Full-time, fixed-term position for 1 year (with possibility of extension) • Location
-
leading role in mentoring junior students, with the opportunity to take on formal supervision roles. About you Qualifications: PhD in Neuroscience, Computational Neuroscience, Psychology, or a related field