19 software-formal-method-phd Fellowship positions at Australian National University in Australia

  • Australian National University | Canberra, Australian Capital Territory | Australia | about 18 hours ago

    bring: PhD in bioinformatics, computational biology or a related field. Experience or interest in applying computational methods to RNA/mRNA therapeutics. A demonstrated ability to publish high-quality

  • Australian National University | Canberra, Australian Capital Territory | Australia | about 18 hours ago

    events. The Person The successful candidate will hold a PhD in design or a related field, with an active research and publication agenda. The successful candidate will have experience in one or more of: co

  • Australian National University | Canberra, Australian Capital Territory | Australia | 2 months ago

    Integrated Planning & Learning and Reinforcement Learning in non-deterministic and partially-observed scenarios. The methods will be evaluated on physical robots. The ideal candidate would have: A PhD (or

  • Australian National University | Canberra, Australian Capital Territory | Australia | 3 months ago

    approaches to model uncertainty for learned computer vision systems, including dense prediction. The position will develop novel methods for deep learning in computer vision that accurately quantify their own

  • Australian National University | Canberra, Australian Capital Territory | Australia | 11 days ago

    independent research in molecular biology and biophysics, focusing on computational simulations to examine protein structure and function. This includes using advanced sampling methods and free

  • Australian National University | Australia Square, New South Wales | Australia | about 18 hours ago

    will hold a PhD (or be within six months of completion) in plant science or a related field, with proven experience in independent research on plant science, plant phenotyping, or plant ecophysiology

  • Australian National University | Canberra, Australian Capital Territory | Australia | about 18 hours ago

    -elliptic diffusion processes which are induced by geometric flows, with the aim of producing new and robust methods of establishing convergence results for many flow processes. The level of this appointment

  • Australian National University | Canberra, Australian Capital Territory | Australia | about 18 hours ago

    stakeholders. Our Ideal Candidate Our ideal candidate will be a Myanmar national who has completed a PhD within the last five years on the political, social or economic conditions of present-day Myanmar, in any

  • Australian National University | Canberra, Australian Capital Territory | Australia | about 8 hours ago

    are induced by geometric flows, with the aim of producing new and robust methods of establishing convergence results for many flow processes. The level of this appointment, Academic Level A or B, will be

  • Australian National University | Canberra, Australian Capital Territory | Australia | about 18 hours ago

    to contribute to a broader portfolio of research and outreach projects on decarbonisation, including of heavy industry in Australia, working collaboratively with other researchers. Methods are broadly in

Enter an email to receive alerts for software-formal-method-phd positions