Internship - Active Program Synthesis for Security
Job Description
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).
Job Requirement
- 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