Sort by
Refine Your Search
-
Listed
-
Employer
- Monash University
- The University of Queensland
- Australian National University
- AUSTRALIAN NATIONAL UNIVERSITY (ANU)
- Curtin University
- RMIT University
- Macquarie University
- University of Melbourne
- RMIT UNIVERSITY
- Flinders University
- La Trobe University
- MACQUARIE UNIVERSITY - SYDNEY AUSTRALIA
- Nature Careers
- University of Adelaide
- 4 more »
- « less
-
Field
-
initiative in mathematical biology, bringing together mathematical, computational, and biological scientists to make biology predictive; establish mathematical whole cell models (WCMs) for in silico biology as
-
optimisation models (e.g. using MiniZinc) and solving methods to demonstrate the transformative potential of optimisation technology in this application. Collaboration will be key, as you’ll join the DSAI’s
-
and build a strong emerging research profile in Information Retrieval, Natural Language Processing and Large Language Models, with a focus on transformative applications in the healthcare domain. At UQ
Searches related to model checking
Enter an email to receive alerts for model-checking positions