工作内容

Active program synthesis aims at generating a program through ``teacher'' / ``learner'' interactions, where the ``learner'' can ask the ``teacher'' yes/no questions and equivalence questions to the teacher.

The aim of this project is to use active program synthesis to produce simple programs that model the behaviour of more complex ones. Specifically, given a program that generates strings (e.g. SQL queries, JSON, or XML documents), the goal of this project is to synthesise a simpler program that generates equivalent strings, but that is easier to analyse for security (e.g. injection vulnerabilities).

工作要求

Enrolled in a Computer Science or similar program that has a relevant research component
Intellectual curiosity
Solid software engineering skills
Strong programming skills
Demonstrated ability to work independently and collaboratively
Background in Compilers/Program analysis is a plus

公司信息

公司介绍

Oracle

Oracle is the world’s leading provider of business software. But you probably already knew that. With a presence in over 175 countries, we are one of the biggest technology companies on the planet. What you might not know is that we are leading a cloud revolution.

已上市

Information Technology

https://www.oracle.com/index.html

我要发布岗位

连接万人粉丝，免费发布内推招聘

看过该职位的人还看了

大学辅导运营

公司直聘

Melbourne

匠人学院

大学辅导运营

Part-time

Junior

Field Service Engineer

工作内推

Brisbane

深圳华大智造科技股份有限公司

华大基因澳洲招聘

Full-time

Junior

CFA讲师

公司直聘

Sydney

匠人学院

匠人精选工作岗位

Contract

Junior

Marketing intern

公司直聘

Brisbane

匠人学院

匠人学院招聘

Intern

Junior