[pl-seminar] FW: Internships in Program Analysis @ Google

[Thomas Reps <reps@xxxxxxxxxxx>]

FYI, Venkatesh Srinivasan, one of my former Ph.D. students, now at Google, writes

 

Our team is looking for interns for 2020. Can you forward the following announcement to your students? Thanks in advance!

===========================================================================================

Internships in Program Analysis @ Google

Google has a number of internship openings in program analysis for 2020.  Possible topics include the following:

• Efficient and precise global call-graph construction
• Static race detection
• Static typestate analysis
• Synthesis of fuzzing targets [see the FSEâ19 work]
• Backward IFDS static analysis
• Massively distributed fuzzing infrastructure

Internships could start as early as Jan 2020 and as late as Sep 2020. Internships typically last 14 weeks, but extensions are possible.  Positions are available in Sunnyvale, CA and New York, NY.

Ideal candidates would have a strong research background and solid (C++) programming skills.

Please send CVs and referrals to: sat-hiring@xxxxxxxxxx