Hi all,
The Max Planck Institutes for Informatics (Saarbruecken), Software
Systems (Saarbruecken and Kaiserslautern), and Security and Privacy
(Bochum) offer research internships in all areas of Computer Science. An
internship at a Max Planck Institute is a way to pursue world-class
research in computer science! Our internships are also an excellent way
to explore research or new research areas for the first time.
Internships are open to exceptional Bachelor, Master, and Doctoral
students worldwide, as well as exceptional individuals from industry
interested in gaining academic research experience in computer science.
Intern positions are limited and admissions are very competitive.
Max Planck Institutes offer an internationally renowned research
community, with world-class faculty across the full spectrum of Computer
Science. A larger description of the program can be found at the end of
the mail, and on the official website
https://www.cis.mpg.de/internships/#csresearchareas
If you are especially interested in theorem proving in HOL4 or the
CakeML compiler, please consider applying for an internship with Eva
Darulova.
More information on our website at
https://www.cis.mpg.de/internships/#csresearchareas
Regards,
Heiko
--------------------------------------------------------------------
Computer Science Internships at Several Max Planck Institutes
Several Max Planck Institutes in Germany invite applications for
research internships in Computer Science from exceptional university
students at all levels (Bachelors, Masters and PhD). Interns tackle
new and challenging research problems in close collaboration with
faculty and graduate students at the institute. Successful
internships often result in coauthored publications at top academic
conferences.
A Max Planck CS internship is an excellent way for Bachelor's and
Master's students to start or extend their research experience and
embark on a research career! Students looking for Bachelor's or
Master's thesis projects may also apply. We particularly welcome
applications from women and individuals belonging to groups that are
underrepresented in science and technology.
Eligibility
-----------
The eligibility criteria for an internship are an exceptional academic
record and knowledge of Computer Science equivalent to the first three
years of a standard university Bachelor's (undergraduate) program in
CS. Internship projects are individually customized to suit the
existing knowledge and experience of every intern. Intern positions
are limited and admissions are very competitive.
Period and Duration of Internships
----------------------------------
Internships are typically 12-14 weeks long and held during the summer
months (May-August), but internships at other times or those of longer
duration are possible.
Funding
-------
All interns receive a monthly stipend, free (shared) housing, and
travel to and from the institute hosting the internship.
Application Deadlines for 2021
------------------------------
- Early Deadline: 31 December, 2020 (for internships starting in May or
June 2021)
- Late Deadline: 31 January, 2021 (for internships starting in July or
August 2021)
For an internship starting at any other time of the year, apply at
least 4 months before your intended started date.
How to Apply
------------
Internship applications must be submitted online at
https://cis.mpg.de/internships
To apply, you will need to provide your CV, transcripts, contact
information for at least one reference, and an optional motivation
letter. You can also optionally indicate faculty members at the
participating institutes (see below) with whom you would like to work
and the period during which you would like to intern.
Which MPIs participate? Where will the internships be?
------------------------------------------------------
The internship is held at one of the participating institutes. The
participating institutes are:
- Max Planck Institute for Informatics (Saabruecken)
- Max Planck Institute for Software Systems (Kaiserslautern and
Saarbruecken)
- Max Planck Institute for Security & Privacy (Bochum)
We understand that travel restrictions due to the ongoing COVID-19
pandemic may prevent interns from traveling to Germany right now. In
such a case, after an intern is selected, the intern and the mentor
may agree mutually to complete the internship remotely. The intern
will still be paid the monthly stipend.
Further Details? Questions?
---------------------------
Further details of the internship program, including answers to
frequently asked questions (FAQs), can be found at
https://cis.mpg.de/internships.
_______________________________________________
hol-info mailing list
hol-info@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/hol-info
