7 model-checking Fellowship research jobs at Australian National University in Australia

Filters Search
  • Australian National University | Canberra, Australian Capital Territory | Australia | 1 day 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 | 1 day 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 | 2 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 | 2 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 | 2 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

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

    for earthquake and tsunami early warning. The role will be in the Geophysics Area of the Research School of Earth Sciences (RSES), and will undertake the numerical modelling of elasto-gravity signals generated by

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

    . The Intelligent Systems activity cluster within the School focuses on the computational modelling and design of intelligent agents in complex real-world contexts. The research integrates areas of artificial

Searches related to model checking

Enter an email to receive alerts for model-checking positions