Internship - Active Program Synthesis for Security

工作内推

截止日期2021-03-03

Brisbane

1年以内经验

本科以上

Full-time
Intern
Visa: No Limit
Anonymous User

full time from June 2021 to May 2022

https://cutt.ly/fkibb48

工作内容

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

订阅匠人

youtubefacebookweibomeetup
Phone icon

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

我要发布岗位
X