30 software-formal-method-phd positions at Australian National University in Australia
Sort by
Refine Your Search
-
Australian National University | Canberra, Australian Capital Territory | Australia | about 2 months ago
innovation. NCI is an operating unit of the Australian National University and is built on and sustained by a formal collaboration of national research organisations, ANU, CSIRO, Bureau of Meteorology
-
Australian National University | Canberra, Australian Capital Territory | Australia | about 2 months ago
Classification: ANU Officer 6/7 (Specialist) Salary package: $95,987- $110,489 per annum plus 17% superannuation Terms: Full-time, Continuing Position Overview We are seeking a Research Software
-
formal collaboration of national research organisations, ANU, CSIRO, Bureau of Meteorology, Geoscience Australia, other research-intensive universities and organisations nationally. The User Support
-
postdoctoral researcher with: A PhD (or near completion) in Computer Science, Computational Biology, Mathematics, Bioinformatics, or a related discipline. Proven expertise in machine learning and algorithm
-
developing strong networks across the University and industry. The Person The ideal candidate will hold a PhD in geochemistry and have strong geochemical analytical experience, ideally with expertise in zinc
-
Australian National University | Canberra, Australian Capital Territory | Australia | about 2 months 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 1 month 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
-
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
-
innovation, focused on developing new methods, whether experimental, analytical or computational. Our research spans the range from solid earth evolution to climate processes, and from 21st century resources
-
, contract negotiation and management, policy compliance, commercial advisory, supplier relationship management, IT software and desktop hardware purchasing, and purchase order administration. In