180 formal-verification-computer-science positions at University of Adelaide in Australia
Sort by
Refine Your Search
-
Listed
-
Category
-
Program
-
Field
-
engineering trade-based manufacturing and maintenance. Demonstrated high level of computer literacy, knowledge and hands-on experience in use of specialized engineering software for design and manufacturing
-
the direction of A/Prof Claudia Szabo in the School of Computer and Mathematical Sciences at the University of Adelaide. The project is a collaboration with Defence Science and Technology Group, within the Combat
-
achieve program objectives. Ability to communicate effectively, seek understanding and ask questions to clarify meaning. The path to Adelaide University We are on an exciting path to Adelaide University as
-
applications in timing and biology, quantum circuits and quantum computing. Projects will be available at the University of Adelaide, RMIT and the University of Queensland. Eligibility: Applicants must be
-
candidate is identified. For further information For a confidential discussion regarding this position, contact: Professor Hung Nguyen School of Computer and Mathematical Sciences P: +61 (8) 8313 6214 E
-
This PhD scholarship is funded by an Australian Research Council Industry Fellowship grant. It is a 3.5-year research training program. The ARC Industry Fellowship program aims to develop a strong
-
the financial sector. Regular progress reports and presentations to both AIML and CommBank stakeholders. To be successful you will need: A PhD in Mathematics, Computer Science, Engineering or other Machine
-
Health and Medical Sciences building on North Terrace. This role is critical to the delivery of the Human Biology and Biodental sciences curriculum for the Bachelor of Dental Surgery Program (BDS) and
-
: Contact Person: Dr Nataliia Sergiienko School/Discipline of: Mechanical Engineering Tel: (08) 8313 6465 Email: Nataliia.sergiienko@adelaide.edu.au EXPRESSIONS OF INTEREST: Expressions
-
engineering, economics, environmental, and communication expertise, 2XE offers bespoke strategies that integrate technical solutions and actionable sustainability insights. 2XE’s methodology prioritizes a