5 model-checking Fellowship research jobs at Australian National University

Filters Search
  • Australian National University | Canberra, Australian Capital Territory | Australia | 6 days ago

    : Bayesian Machine Learning – Led by Dr Thang Bui, this project focuses on sequential decision-making and bridging deep learning theory and practice. Applicants with expertise in probabilistic modelling

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

    the field of social sciences, including economics, market modelling and public policy analysis. For further information please contact Dr Jorrit Gosens, E: jorrit.gosens@anu.edu.au . ANU values diversity and

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

    cell biology, molecular biology, immunology, CRISPR-Cas9 technology and working with pre-clinical cancer models. You will have a proven track record of research achievement and the ability to articulate

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

    and Analytics, and the Software Innovation Institute. The Intelligent Systems activity cluster within the School focuses on the computational modelling and design of intelligent agents in complex real

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

    quantum nanophotonics with optical metasurfaces. The project work will involve both experimental investigations and theoretical modelling, with a view to obtain and publish original and innovative results

Searches related to model checking

Enter an email to receive alerts for model-checking positions