Postdoctoral Research Associate, Smart Contracts
School of Computer Science
Faculty of Engineering and Information Technology
- Work on theory, design and implementation of a new programming language tool chain
- This position is for two years with start a date on March 1st 2019, an extension of another 2 years is subject to the candidate’s performance and funding
- Base Salary: $92,682 plus leave loading and a generous employer’s contribution to superannuation.
About the opportunity
The Programming Language Group at The University of Sydney is looking for a Post-Doctoral Research Associate with interests in the areas of Software Design, Analysis and Verification. The duration of the employment is 2 years with potential extension of further 2 years (funding available).
You will directly work with A/Prof Bernhard Scholz and collaborate with other affiliates of the programming language group at The University of Sydney working will work on the theory, design and implementation of a new programming tool chain for smart contracts.
Smart Contracts is a new emerging programming paradigm for making block chains programmable. Existing programming languages and their implementation have serious safety concerns. This project focuses on the theory, design and implementation of a new programming language tool chain improving the current state-of-the-art (i.e. Solitidity and Ethereum).
The University values courage and creativity; openness and engagement; inclusion and diversity; and respect and integrity. As such, we see the importance of recruiting talent aligned to these values and are looking for a Postdoctoral Research Associate to have:
- or shortly expect to receive, a doctoral degree in computer science or a related field
- a strong background on at least one of the following three topics: program language design and implementation, program analysis, or software verification
- high-quality publication(s) in software engineering venues such as ICSE, FSE, ASE, PLDI, POPL, and OOPSLA.
- good communication and collaboration skills.
You should also be familiar with:
- Programming language design and implementation
- Software verification (static analysis, model checking, deductive verification, symbolic execution, etc.)
- Verifying compiler
- Blockchain technology
Since our inception 160 years ago, the University of Sydney has led to improve the world around us. We believe in education for all and that effective leadership makes lives better. These same values are reflected in our approach to diversity and inclusion, and underpin our long-term strategy for growth. We’re Australia's first university and have an outstanding global reputation for academic and research excellence. Across our campuses, we employ over 6000 academic and non-academic staff who support over 60,000 students.
We are undergoing significant transformative change, which brings opportunity for innovation, progressive thinking, breaking with convention, challenging the status quo, and improving the world around us.
For more information on the position and University, please view the candidate information pack available from the job’s listing on the University of Sydney careers website.
All applications must be submitted via the University of Sydney careers website. Visit sydney.edu.au/recruitment and search by the reference number 123/0119F to apply.
Closing date: 11:30pm 10 March 2019 (Sydney Time)
The University of Sydney is committed to diversity and social inclusion. Applications from people of culturally and linguistically diverse backgrounds; equity target groups including women, people with disabilities, people who identify as LGBTIQ; and people of Aboriginal and Torres Strait Islander descent, are encouraged.
If we think your skills are needed in other areas of the University, we will be sure to contact you about other opportunities.
© The University of Sydney
The University reserves the right not to proceed with any appointment.