Australian Government Department of Defence 3.8★
- $71,207 – $97,790 (plus Super)
- Brisbane CBD – QLD
The Analysis Tools Researcher will contribute to research, design and implementation of tool support for novel program analysis techniques aimed at providing security analyses on software and software-based systems.
You will be part of a small and focused research team, ensuring guidance in all aspects of your work is available. You will acquire a good knowledge of software security, formal methods, program analysis, programming language design and implementation (in particular compilers), and microprocessor architectures.
There exist opportunities to work closely with Defence and academic research partners, Defence clients and cyber security experts. Training in aspects of cyber security and formal methods will be supported as required, and you will be encouraged to further develop your scientific and engineering expertise.
About our Team
The Program Analysis Cell (PAC) undertakes research and development in techniques and automated tools for analysing code for security vulnerabilities.
These techniques and tools improve upon the state-of-the-art by increasing their precision and by covering a wider range of security vulnerabilities. This work aims to support the future development and procurement of secure software for Defence’s critical cyber systems.
Our Ideal Candidate
The Analysis Tools Researcher will be required to:
- Maintain up-to-date knowledge in chosen disciplines and broaden knowledge across formal methods, program analysis and cyber security.
- Enhance S&T capability through collaboration with other DSTG teams, academia, industry and other research agencies.
- Prepare publications, present outcomes, demonstrate technologies and interact with clients and stakeholders. Key attributes expected of our ideal candidate are:
- Problem solving ability, rigor, and creativity to identify appropriate scientific and engineering solutions.
- Interest and willingness to learn about software security, formal methods, program analysis, programming language design and implementation (in particular compilers), and microprocessor architectures.
- Enthusiasm to participate in research and development activities that result in technology transfer that benefits Defence.
- Ability to work within a team environment transitioning research outcomes to Defence capabilities.
- Good interpersonal, written, and oral communication skills.