204 proof-checking-postdoc-computer-science-logic positions at University of Adelaide
Sort by
Refine Your Search
-
Listed
-
Category
-
Program
-
Field
-
methods, and ensuring reproducibility and scalability of analysis routines. This is a hands-on role suited to someone who enjoys working at the intersection of experimental science and computational
-
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
-
. This position requires a valid Working with Children Check. The path to Adelaide University We are on an exciting path to Adelaide University as we prepare to open our doors in January 2026. Adelaide University
-
for teaching related activities. Key responsibilities will broadly include: Provide leadership in the medical program clinical teaching Teach and supervise students in the medical and health sciences programs
-
, prioritise, and execute digital initiatives across websites, portals, and content platforms, leveraging best-practice marketing technology. Act as the key liaison between I&EE, IT, System Integration, and
-
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
-
and technology. Engaging in solving a real-world problem requires a real solution to enhance housing resilience. Applying research skills to optimise and innovate AI-driven solutions for the housing
-
in accordance with PSBA’s standards. You will lead the nodes lifecycle management program for biotechnology derived plants and plant products. The Faculty of Sciences, Engineering and Technology (SET
-
-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
-
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