Research Intern Software Synthesis

Job Description:We are seeking a Research Intern Software Synthesis for a very important client.Responsibilities: Support PARC researchers in:-Locating and isolating software features in binary applications.- Automating the generation of test suites in grey-box settings.- Designing search-based techniques for software synthesis.- Designing methods for evaluating the equivalency of two software applications.