190 formal-verification-computer-science positions at University of Adelaide in Australia
Sort by
Refine Your Search
-
Listed
-
Category
-
Program
-
Field
-
-performance computing (HPC), Bragg Crystallography facility, and Adelaide Proteomics Centre. Our collaboration with Monash University further extends our access to advanced 300 kV Titan Krios and Helios 5 UX
-
/ Software Engineering, computer science, physics or a related field) A strong interest in practical hardware development, testing and optimisation Demonstrated experience in the use of electronics for sensor
-
Honours degrees in the following disciplines, or with equivalent research or work experience will be favourably considered: Computer and Data Science; Applied Mathematics and Statistics. Number
-
contribution of 17% superannuation applies. 24 Months Fixed term Part time position until Oct 2027. This postdoctoral position in computational cognitive science and data science offers an exciting opportunity
-
methods for provable network security. The School of Computer and Mathematical Sciences is recruiting a research fellow to work on next generation network security technologies. Join a world-class research
-
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
-
Job no:517165 Work type:Fixed term - Full-time Campus:Adelaide Categories:Faculty of Sciences, Engineering and Technology (Level B) $114,917 - $135,932 per annum plus an employer contribution of up
-
biology: How do epigenetic features contribute to the regulation of the genome? We study how chromatin drives specificity for regulating gene expression. You will be dissecting the molecular features
-
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
-
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