12 software-verification-computer-science "https:" positions in Australia

Specialist Lab Support

University of New South Wales | Sydney, New South Wales | Australia | about 6 hours ago

of technology and computing support for UNSW staff, students and researchers in specialist labs and environments across UNSW and affiliated sites and hospitals. This role encompasses the provision of computing

Technical Officer / Senior Technical Officer, School of Mechanical and Manufacturing Engineering

University of New South Wales | Sydney, New South Wales | Australia | about 6 hours ago

highest in Australia. For further information on our school, go to - https://www.unsw.edu.au/engineering/our-schools/mechanical-and-manufacturing-engineering Skills and Experience Level 6 A relevant

Educational Designers/Developers

University of New South Wales | Canberra, Australian Capital Territory | Australia | 7 days ago

their best work. Why Your Role Matters Our Educational Designer/Developer plays a key role within the Technology Enabled Learning Support (TELS) team in the Learning and Teaching Group (LTG) by providing

Specialist II Security Engineering

University of New South Wales | Sydney, New South Wales | Australia | 7 days ago

of the following areas: security operations, software development, DevOps, infrastructure automation, or cloud engineering. Demonstrated experience in managing and configuring cloud native security services across

Lead Developer (D365 CRM)

University of New South Wales | Sydney, New South Wales | Australia | about 6 hours ago

Apply now Job no:537482 Work type:Full Time Location:Sydney, NSW Categories:Information Technology, Analyst Full time continuing role within UNSW IT as a Lead Developer (D365 CRM) within our Student

Tenure Track Lecturer / Senior Lecturer / Associate Professor, School of Computing

AUSTRALIAN NATIONAL UNIVERSITY (ANU) | Canberra, Australian Capital Territory | Australia | about 2 months ago

of Computing. Computing Foundations: software systems, programming languages, compilers, operating systems, software testing, software engineering, computer architecture, computer security, logic and

Research Associate / Senior Research Associate in TimeSeries

University of New South Wales | Sydney, New South Wales | Australia | about 1 month ago

offers undergraduate programmes in Software Engineering, Computer Engineering, Computer Science, and Bioinformatics, as well as a number of combined degrees with other disciplines. Our research and

Lead Integration Solution Architect

University of New South Wales | Sydney, New South Wales | Australia | about 6 hours ago

Apply now Job no:537146 Work type:Full Time Location:Sydney, NSW Categories:Information Technology, Project Management, Entrepreneurship Employment Type: Full time role position as a Lead

Software Engineer, IDEA Bio (AIBN)

The University of Queensland | St Lucia, Queensland | Australia | 2 months ago

-designed, testable code. Develop software verification plans and quality assurance procedures. Document and maintain software functionality. Use an appropriate repository, primarily GitHub, to share software

Research Associate/Senior Research Associate (Formal Methods)

University of New South Wales | Sydney, New South Wales | Australia | about 2 months ago

of Computer Science and Engineering, conducts world-leading research on software systems whose trustworthiness can be mathematically proven. The group is offering an opportunity for a Research Associate/Senior Research