Sort by
Refine Your Search
-
(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
-
(Dr Brannelly) as well as several PhD students in the lab. While there is scope to expand the research project based on the scholar’s interests, we envision that the scholar will test methods
-
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