Post-doctoral researcher (A/B) in software engineering/software security/Fuzzing job with UNIVERSITY OF ADELAIDE

A/B grant-funded researcher in software engineering/software security/fuzzing (Level A/B) from $71,401 to $119,391 per year plus an employer contribution of up to 17% of the retirement pension will apply.

We are looking to appoint 2 fixed-term positions for 1.5 years (with possibility of extension to 3 years) to work on a research project in the areas of fuzzing, software security and automated discovery of software vulnerabilities in software binaries.

This is an opportunity for a high-level postdoctoral researcher to join a world-renowned research group in computer security and machine learning as well as the 48-ranked computer science departmentand in the world and the University of Adelaide ranked in the top 1% of universities in the world.

The University of Adelaide is a member of Australia’s prestigious group of eight research-intensive universities and is ranked among the top 100 in the world. -class or above, with work in 41 distinct fields earning the highest possible rating of “well above the world standard”. This included artificial intelligence and image processing, as well as electrical and electronic engineering.

This is an exceptional opportunity to advance your career in cybersecurity, software engineering, machine learning while exploring the field of system emulation for large-scale automated and dynamic analysis of software with three world-class institutions in a premier environment.

You will work on a research program to solve full-system software emulation problems for large-scale automated dynamic analysis of software. The project aims to improve the detection of vulnerabilities in arbitrary binary targets where hardware-assisted instrumentation is not available/infeasible (e.g. embedded systems). You will be involved in the development of theory, techniques (such as fuzzing), tools for discovering bugs and vulnerabilities in software binaries. You will work with a team of researchers from the University of Adelaide School of Computing and the Australian Machine Learning Institute, University of New South Wales, Deakin University, Data61 from CSIRO and the Defense Science and Technology Organization (DSTG).

In this role, you will have the ability to purchase one or more of the following:

  • Investigate and develop new ideas and concepts for full system emulation for large scale automated dynamic analysis of software binaries, implement, evaluate and compare methods.
  • Investigate and develop machine learning techniques and/or optimization methods for the intelligent generation of input test cases to accelerate dynamic analysis.
  • Investigate, design and develop methods to improve the performance of system emulation software.
  • Study, design and develop a (semi)automated fuzzing toolkit for automated dynamic software analysis.

Our world-renowned researchers have established a culture of innovation and a solid track record of publishing in top venues, especially in machine learning, computer vision, and security. We are committed to providing basic and commercial research that is highly valued by our local and global communities. Here you will work in one of the most talented and creative machine learning teams in the world, with constant collaboration between research and engineering. You’ll use state-of-the-art technology and be based in the heart of one of the top 10 most livable cities in the world.

To be successful, you will need

A-level

  • PhD (or soon to be awarded) OR equivalent industrial experience in computer science or software engineering or similar discipline or experience in software development, applied machine learning, computer security, computer architecture.
  • Demonstrable experience and expert knowledge in one or more or the following areas:
  • Fuzzing techniques and tools and/or research and automated software testing methods
  • Secure software and/or software vulnerability analysis and/or programming languages ​​and/or Linux kernel(s) and operating systems
  • Just-in-time (JIT) compilers or knowledge/experience in building compilers and compiler optimizations.
  • Optimization techniques (with applications in the field of software engineering).
  • Work with and/or build CPU emulators and/or virtual machines and/or hypervisors and/or hardware virtualization
  • Computer architecture (like Intel x86, ARM, microcontrollers)
  • Machine learning domain expertise working with binaries, text, structured data, sequential data or time series data and discrete data.
  • Programming experience and expertise in Rust/C/C++/Python.
  • Strong work ethic and evidence of creativity through key ideas generated in published research/thesis/products/tools.
  • Fluency in written and spoken English, with an ability to communicate scientific ideas to an expert audience
  • Commitment to the principles of equity, diversity and inclusion

Level B (in addition to the above)

  • A history of generating new ideas and quality research products and tools or software, as evidenced by, for example, patents or publications in one or more conferences and/or journals of software engineering, computer security, machine learning, high-level artificial intelligence , depending on experience and opportunities.
  • Demonstrated ability to conduct independent research and development with limited supervision.
  • The ability to work as part of a larger team, including with industry partners.

Benefit from an exceptional career environment

The University of Adelaide is a particularly rewarding place to work. The size, breadth and quality of our education and research programs, including significant industry, government and community collaborations, provide you with broad reach and opportunities for a long and fulfilling career. .

It also allows us to attract high caliber people to all facets of our operations, ensuring you are surrounded by talented colleagues, many of them world-class. And the forward-thinking nature of our work – not just in your own field, but across virtually the entire spectrum of human activity – provides a constant source of inspiration.

Our core values ​​are honesty, respect, fairness, discovery and excellence. And our culture is one that welcomes everyone and embraces diversity. We firmly believe that our employees are our most valuable asset, which is why we strive to develop and diversify the skills of our staff.

In addition, we offer a wide range of attractive benefits. These include: the salary package; flexible working arrangements; high quality professional development programs and activities; and an on-campus health clinic, gymnasium, and other fitness facilities.

Learn more about: adelaide.edu.au/jobs

The wider role of your faculty

The Faculty of Science, Engineering and Technology is a multidisciplinary center for cutting-edge teaching and research. Many of its academic staff are world leaders in their fields and graduates are highly valued by employers. The Faculty actively partners with innovative industries to solve problems of global significance.

Learn more about: set.adelaide.edu.au

If you have the talent, we will give you the opportunity. Together, let’s make history.

Click on the “Apply Now” button to access the online application form. Please be sure to submit a cover letter, curriculum vitae and upload a document containing your responses to all of the selection criteria for the position, as listed in the job description or the selection criteria document.

Applications closed 11:55 p.m., June 10, 2022.

For more information

Damith Ranasinghe
Associate Professor, School of Computer Science

P: +61 (8) 313 0066

E: [email protected]

Below is a complete selection criteria: (If no link appears, try viewing on another device)

The University of Adelaide is an Equal Employment Opportunity Employer. Women and Aboriginal and Torres Strait Islander people who meet the requirements for this position are strongly encouraged to apply.

Gordon K. Morehouse