[Agda] Fwd: [FP] FW: Google Internships in Programming Languages, Compilers, and Software Engineering (2018)

[Andreas Abel]

PL internships to be aware of. “Most positions are for summer, and begin
to fill in December”.

*From:*Tipp Moseley [mailto:***@google.com]
*Sent:* den 18 oktober 2017 16:23
*Subject:* Google Internships in Programming Languages, Compilers, and
Software Engineering (2018)

Hello, again :)  We at Google are looking for interns (as well as new
graduates looking for full-time positions), and we know you have a great
supply.  My apologies if you've received similar mail from us already;
please let me know if you would like to not receive future emails from us.

Could you please forward the following to the relevant people/lists for
your department?

We are recruiting top undergraduate, Masters, and PhD students.
 (Computer Science, Computer Engineering, or Applied Mathematics only,
please.)

Thanks!

Tipp

-------------------------------------------------------------------------

Google is looking for great interns and full-time engineers with
backgrounds in programming languages, compilers, optimization, and
software engineering!

We are leading many active development projects relating to hardware
performance/acceleration, Android, ChromeOS, GCC, LLVM, JavaScript, Go,
Dart, Java, and Python, and we have some great projects in mind. 
Interns will be exposed to Google's extensive internal developer tools
and massive computing infrastructure.  Some projects will have a strong
emphasis on research and publication, with recent interns submitting to
conferences including ASPLOS, CGO, HiPEAC, HPCA, ISCA, MICRO, PLDI,
ICSE, and Supercomputing.

Areas of interest include:

- Performance analysis of large datacenter applications

- Improving performance for x86, ARM (aarch32 and aarch64), GPUs, and POWER

- Improving security via code sandboxing

- Compiling for GPUs and hardware accelerators for Machine Learning and
image processing (e.g. TPU)

- Software correctness and race detection

- Static/dynamic program analyses

- Machine learning

- Autotuning and staged compilation

- Large-scale, automated refactoring

- Application co-location performance studies

- Hardware performance monitoring

- Feedback-directed optimization

- Profiling tools, perf_events, Linux perf tool

- Low-overhead instrumentation

- Type inference, type checking, gradual typing

- Garbage collection and automatic memory management

- Managed runtime optimization

- Power and energy optimizations for the datacenter

If you are interested, please submit your resume to us[1].  Please be
sure to be descriptive in open-ended questions about skills and
preferences; e.g., "Compilers and Performance" (or something specific to
your area).  We accept applications and host interns year around, but
most positions are for summer and begin to fill in December.

Thanks!  We look forward to hearing from you.

[1] https://www.google.com/about/careers/students/

PS: We are looking for full-time hires too!