<div dir="ltr"><u>Research Internships in Program Analysis @ Google</u><br><br>Google has a number of research internship openings in program analysis for 2017.  Possible topics include the following:<br><br><ul><li>Identification of vulnerabilities in Android apps through static analysis</li><li>Distributed static analysis of large applications</li><li>Dynamic symbolic execution</li><li>Automated test case generation and fuzzing<br></li><li>Automatic stub synthesis and generation<br></li></ul><br>Internships could start as early as Jan 2017 and as late as Sep 2017, and typically last 14 weeks, but extensions are possible.  Positions are available in Mountain View, CA.<br><br>Ideal candidates would have strong research background and solid (C++) programming skills. <br><br>Please send CVs and referrals to: dbabic [** at **] <a href="http://google.com">google.com</a><br><br>Thank you,<br clear="all"><br>-- <br><div class="gmail_signature">        Domagoj Babic<br>        <a href="http://www.domagoj.info/" target="_blank">http://www.domagoj.info/</a><br>        <a href="http://www.linkedin.com/in/domagojbabic" target="_blank">http://www.linkedin.com/in/domagojbabic</a></div>
</div>