PostDoc Position Smart Contracts @ The University of Sydney, Australia

by Bernhard Scholz, Feb. 4, 2019

A PostDoc position at the University of Sydney is available for a duration of 2 years with the potential extension of another 2 years (funding available). You will work on the theory, design, and implementation of a new Smart Contract programming language toolchain.

Submission deadline: 10th of March, 2019.

Please contact A/Prof Bernhard Scholz (email:[email protected]) for further information.

Postdoctoral Research Associate – Smart Contracts School of Computer Science
Faculty of Engineering and Information Technology Reference no. 123/0119F

  • Work on the theory, design, and implementation of a new programming language toolchain

  • This position is for two years with a start 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 a potential extension of a 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 toolchain 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 toolchain improving the current state-of-the-art (i.e. Solitidity and Ethereum).

    About you

    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 with 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

    • 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

    About us

Since our inception 160 years ago, the University of Sydney has led to improving 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. 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.