工作内容

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

我要发布岗位

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

看过该职位的人还看了

大学辅导顾问/Sales

公司直聘

Brisbane

匠人学院

大学辅导Sales

Part-time

Junior

数据分析班Tutor招聘

仅限学员和tutor

Brisbane

匠人学院

数据分析班助教

Contract

Junior

微信公众号运营

公司直聘

Melbourne

匠人学院

招微信公众号写手

Part-time

Junior

Marketing intern

公司直聘

Brisbane

匠人学院

匠人学院招聘

Intern

Junior