184 formal-verification-computer-science positions at University of Adelaide

  • University of Adelaide | Adelaide, South Australia | Australia | about 1 hour ago

    Job no:517205 Work type:Fixed term - Full-time Campus:Adelaide Categories:Technical, Laboratory and Research Support, HEO9, Faculty of Sciences, Engineering and Technology HEO9 ($132,705 – $141,974

  • University of Adelaide | Adelaide, South Australia | Australia | 2 months ago

    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

  • University of Adelaide | Adelaide, South Australia | Australia | about 1 hour ago

    the field. Our research programs focus on the spectrum of heart rhythm disorders and involve a multidisciplinary team of physicians, bioengineers, research scientists and computational modellers. This allows

  • University of Adelaide | Adelaide, South Australia | Australia | about 1 hour ago

    Job no:517112 Work type:Continuing - Full-time Campus:Adelaide Categories:HEO6, Planning & Analytics (HEO6) $92,511 - $99,929 per annum plus an employer contribution of 17% superannuation applies. Continuing, full time position available The Planning and Analytics branch is a part of the...

  • University of Adelaide | Adelaide, South Australia | Australia | about 2 months ago

    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

  • University of Adelaide | Adelaide, South Australia | Australia | 3 days ago

    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

  • University of Adelaide | Adelaide, South Australia | Australia | about 1 hour ago

    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

  • University of Adelaide | Adelaide, South Australia | Australia | 2 days ago

    Job no:517242 Work type:Fixed term - Full-time Campus:Adelaide Categories:Administration, Executive Support, HEO6 (HE06) $92,511 - $99,929 per annum plus an employer contribution of 17% superannuation applies. Full time, fixed term contract until September 2026. Exciting opportunity for a...

  • University of Adelaide | Adelaide, South Australia | Australia | about 1 hour ago

    administrative efficiency and service quality; Demonstrated high-level computing skills and competence in standard office software and information management systems, and the ability to adapt quickly to changing

  • University of Adelaide | Adelaide, South Australia | Australia | 2 months ago

    learning. QuantX Labs are at the forefront of quantum technology innovation, developing and delivering precision solutions that transform communication, navigation, computing, and defence systems. Our state

Enter an email to receive alerts for formal-verification-computer-science positions