--------------------------------------------------------------------------------
Research Internship Positions
in Program Analysis @ Google
We have a number of researchÂinternshipÂopenings
in 2015.ÂÂInternshipsÂcould
start as early as Jan and as late as Sep 2015, and
typically last 14 weeks, but extensions are a
possibility.
The possible topics include:
- Dynamic symbolic
execution
- Refinement-based alias
analysis
- Distributed static
analysis of large applications
- Identification of
vulnerabilities in Java through static analysis
- Concurrent data-flow
analysis
- Refining flow-insensitive
analyses
Ideal candidates would have strong research
background and solid (C++) programming skills.
Please send CVs and referrals to:
bgogul@xxxxxxxxxx
-----------------------------------------------------------------------------------
![[Computer Systems Lab]](http://www.cs.wisc.edu/pics/csl_logo.gif){kind=logo}