Research Fellow

**Classification**:Academic Level B
**Salary package**:$115,739 - $131,227 per annum plus 17% superannuation
**Term**: Full time, Fixed Term (up to 21 months)

This Research Fellow position will involve working with Lean interactive theorem prover and automatic verification tools such as Verus and Veil to verify properties of Rust programs in a concurrent setting. The background of using ITP’s such as Lean or Coq is essential to this position. Programming experience in Rust is preferred. Background in concurrency verification and proofs is preferred.

**About the College**

The _ANU by 2025_ _Strategic Plan calls for the University to serve society through transformational research and education. As one of the great universities of the world, ANU is driven by a culture of excellence in everything we do. Our lived experience is increasingly one of large-scale systems of people, whose actions and interactions are influenced by our digital, physical and biological environment. The ANU College of Systems & Society (CSS) hosts three of the key disciplines necessary to help us design, build, regulate and secure the future.

CSS brings together expertise in social, technical, computational, ecological and scientific systems to build a new approach to systems design and build new national capabilities in data-driven policy and business development. The work we do in the College directly supports one of the four pillars of _ANU by 2025_: to strengthen our national mission and meet our unique responsibilities as Australia’s national university. We will deliver on our mission by building a strong community, providing transformative educational experiences, conducting high-impact research, seeking meaningful engagement, and becoming a resilient organisation post COVID-19.

We welcome and openly acknowledge differences in expertise, research / education / professional focus, experience and perspective.

CSS is a vibrant and diverse community of more than three thousand students, staff, and visitors. Our College comprises three schools: the School of Computing, School of Cybernetics, and School of Engineering, supported by the Professional Services Group.
- School of Computing_ - The School of Computing has a strong foundation in computing and information sciences at ANU. We are a transformative centre for research in artificial intelligence and machine learning, computer systems and software, and theoretical foundations of computing. We span traditional and modern thinking, connecting decades of computer science methodologies with modern data and computational science. Our mission is motivated by the need to design, drive and sustain strategic activities via five broad focus areas: Computing Foundations, Computational Science, Intelligent Systems, Data Science and Analytics, and the Software Innovation Institute. Be part of an innovative and forward-looking intellectual agenda, built on a diverse, inclusive culture.

**About the opportunity**

This position is a fixed term appointment for a period of 21 months to contribute to research on Rust and concurrency verification.

Applications are particularly invited from researchers who undertake high impact collaborative and cross-disciplinary research, and whose interests/expertise contribute to the activity cluster, School, and College.

**Our commitment to diversity, belonging, inclusion and equity**

**What we offer**

**How to apply**
- A 2-page statement addressing the selection criteria.
- Other documents, if required.

**Applications which do not address the selection criteria may not be considered for the position.