14 software-formal-method-phd uni jobs at Australian National University

Senior Finance Officer

Australian National University | Canberra, Australian Capital Territory | Australia | about 1 month ago

field, experience in financial operations within a complex organization, and advanced proficiency in financial software. Progress towards CPA or CA membership is highly regarded. The Area Finance and

MACSYS Fellow

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

development of Whole Cell Models (WCMs). The Person We are looking for a researcher with a PhD in Computer Science, Mathematics, Computational Biology, or a closely related field, with a strong background in

Project Lead, RNA and Computational Biology Innovation Initiatives

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

Mathematical Analysis of Cellular Systems (MACSYS) brings together mathematical, computational and biological scientists to develop innovative computational methods that make biology predictive. The ANU node

Research Officer

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

Prof. Jamie Pittock’s project research team with Dr Matt Colloff and a PhD scholar. The activities include: Working with experts and governments in south east Australia; Assembling data on waterbirds