28 software-formal-method-phd positions at AUSTRALIAN NATIONAL UNIVERSITY (ANU)

Research Software Analyst

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

ANU O67 Research Software Analyst.pdf The Position The Research Software Analyst (RSA) supports the design, development and delivery of high-quality digital research solutions within the HASS Digital

Research Software Analyst

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

of Arts and Social Sciences by providing expertise in research software, data, and digital methods. The Hub works collaboratively with researchers to deliver innovative, sustainable and impactful digital

Research Software Engineer (Indigenous Identified Position)

AUSTRALIAN NATIONAL UNIVERSITY (ANU) | Canberra, Australian Capital Territory | Australia | about 1 month ago

. Position Description and Selection Criteria: PD&PEWER_ANUO67_Research Software Engineer (Indigenous Identified).pdf About Us ACCESS-NRI, Australia’s climate simulator, delivers world-class computer

Senior Research Software Engineer (Indigenous Identified Position)

AUSTRALIAN NATIONAL UNIVERSITY (ANU) | Canberra, Australian Capital Territory | Australia | about 1 month ago

be used to safeguard Australia’s future. At the heart of ACCESS is a community of Research Software Engineers with a range of skills including high-performance computing and data (HPCD), climate and

Senior Research Software Engineer

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

/Department The HASS Digital Research Hub (HDRH) supports digital research across the College of Arts and Social Sciences by providing expertise in research software, data, and digital methods. The Hub works

Lecturer, School of Sociology

AUSTRALIAN NATIONAL UNIVERSITY (ANU) | Canberra, Australian Capital Territory | Australia | about 1 month ago

of ethnicity; sociology of inequalities, economy and/or development; public sociology; social research methods. The Person The successful applicant will have an outstanding record of or demonstrated potential

Lecturer in Sociology

AUSTRALIAN NATIONAL UNIVERSITY (ANU) | Canberra, Australian Capital Territory | Australia | about 1 month ago

of ethnicity; sociology of inequalities, economy and/or development; public sociology; social research methods. The Person The successful applicant will have an outstanding record of or demonstrated potential

System Administrator

AUSTRALIAN NATIONAL UNIVERSITY (ANU) | Canberra, Australian Capital Territory | Australia | about 9 hours ago

, research, and operations. This role is ideal for a senior technologist who enjoys solving complex problems, improving systems at scale, and influencing outcomes through expertise rather than formal authority

Lecturer, School of History

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

stakeholders. The candidate will also act as an associate supervisor for PhD and honours students and co-organise public-facing events and activities to disseminate the project’s findings. The candidate will

Research Fellow in Artificial Intelligence

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

knowledge in at least one of the following areas will be highly regarded: the technology of large language models, natural language and text processing, qualitative and quantitative methods for evaluating