Research Fellow In Verified Confidentiality For Weak Memory Concurrency

at University of Melbourne

The Opportunity

We seek a Research Assistant / Fellow for a two year appointment with expertise in Computer Science, specifically in the area of program verification and security. You will join an internationally recognised group of academics and eminent researchers to make a significant contribution to the School of Computing and Information Systems. You will work in collaboration with Dr Toby Murray and also have the opportunity to collaborate with researchers from the Defence Science and Technology (DST) Group, Data61's Trustworthy Systems group and Australian National University (ANU).

You will contribute to the development of program logics for reasoning about information flow security for shared-memory concurrent programs, under weak memory consistency models, for example, by combining existing program verification methods for weak memory concurrency with those for concurrent information flow security ""). The logics you develop will be applied to verify the security of seL4-based software for critical embedded devices, processing classified information, developed in collaboration with DST Group and Data61.

Your work is expected to include designing and mechanising the logics in an interactive theorem prover (e.g. Isabelle), mechanising their soundness proofs therein, and applying them to verify the seL4-based case studies, in collaboration with project partners. Further technical details about the research project are available here: https://people.eng.unimelb.edu.au/tobym/researcher19-weak-memory.html

You will also be involved in research in the area of verified software security. You will work with Dr Murray and PhD students on research, publication and report writing, and will have the opportunity to supervise Masters students related to the project.

About you

Degree qualified in Computer Science or a closely related discipline, you have a strong record of achievement in research and associated publications in high-quality journals, conferences, technical reports or other scholarly publications. You will have experience or knowledge in at least one of the following (a) concurrent program verification, (b) information flow security, (c) interactive theorem proving, (d) weak memory concurrency models. In your career to date you have demonstrated the ability to perform independent research and communicate complex concepts to technical and non-technical audiences alike.

Application Process

Please apply online with your resume and cover letter.

About Melbourne School of Engineering (MSE)

At MSE, we are committed to excellence. We are transforming our engineering and IT teaching as well as research at the University of Melbourne guided by MSE 2025, our ten-year strategic plan. With an expected investment of $1 billion in people and infrastructure, we are creating the entrepreneurial leaders and technology of the future - the people and things that will drive innovation and productivity to make a sustainable impact on the world in which we live. It's an incredibly exciting time to be joining MSE!

School of Computing & Information Systems (CIS)

CIS undertakes research and teaching across a range of information technology disciplines including Software Engineering, Information Systems, and Computer Science. It offers a comprehensive range of IT courses at all levels, including offerings in science, engineering, and business, and is at the forefront of computing research in Australia and internationally with close links to major computing research initiatives, including Melbourne Bioinformatics, IBM Research, the Microsoft Research Centre for Social Natural User Interfaces (SNUI), and DATA61 (formerly NICTA). The School's aim is to attract and retain outstanding staff available in order to maintain a leading research and teaching. We have an existing highly successful research team in the area of the appointment, a large number of PhD students, and a substantial cohort of graduate students in our coursework Masters programs.

To find out more about CIS, visit: http://www.cis.unimelb.edu.au/

What we offer you

Apart from competitive salaries, our benefits are aimed at recognising and rewarding the contributions you make. We offer complete flexibility, whatever that may mean for you. Many of our benefit programs and onsite amenities are aimed at supporting you - including generous leave, child care subsidies, discounted parking, medical and health care. We offer extensive opportunities for personal and professional development and we'll support you in doing what you love.

About the University of Melbourne

The University of Melbourne is consistently ranked among the leading universities in the world, at number 1 in Australia and number 32 in the world (Times Higher Education World University Rankings 2017-2018). We are globally engaged, comprehensive, research-intensive and committed to respond to the major social, economic and environmental challenges of our time.

While we review your application, find out what it's like working at MSE by visiting http://www.eng.unimelb.edu.au/about/join-mse/why-join-mse

Parkville Victoria Australia
FULL_TIME
2019-04-02
2019-05-01

If you apply for this position please say you saw it on The Conversation.