-
Notifications
You must be signed in to change notification settings - Fork 9
/
Copy pathcollaboration-b.html
124 lines (105 loc) · 6.59 KB
/
collaboration-b.html
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
<!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.01//EN">
<title>Collaboration</title>
<style type="text/css">
</style>
<body>
<h1>Collaboration</h1>
<div style="width:75%">
<p>There are several ways to work with OCaml Labs, ranging from <a href="#visit">internships</a>
and short visits, to embarking on a <a href="#phd">PhD degree</a>, to
<a href="#postdoc">post-doctoral</a> work (both research and engineering-oriented).</p>
<p>A core principle of the OCaml Labs is that all of the work done here will be
released to the public and made <a href="https://github.com/ocamllabs">available</a> under
open-source licenses. To this end, all members of the Labs retain their own
copyright, with the requirement that all OCaml-related activites be released
under a free software license (preferably BSD/ISC or LGPLv2).</p>
<h3>Applying for a PhD</h3>
<a name="phd"></a>
<p>We're always looking out for bright people to become PhD students. Of course,
entry is very competitive, but every year quite a few people do win!
A PhD degree in the Computer Lab typically takes 3-4 years, and requires application
well in advance. You should read up on the
<a href="http://www.cl.cam.ac.uk/admissions/phd/">official process</a>,
and also <a class="icon-email" href="contact.html">contact us</a>
to discuss research proposals before you submit them.</p>
<p>You will need to do some research on what sort of funding model you
want (self-funding, or an EU grant, or a <a href="http://www.gatescambridge.org">Gates Scholarship</a>, or
College funding). Some of them, like the Gates funds, are very
competitive and so you will want to get your application in early.
Also make sure you have the minimum qualifications (a Masters-level
degree helps, as does experience in industry). We can also fund
exceptional candidates directly, so do not despair if you cannot find
external funding and always ask us!</p>
<h3>Full-time positions</h3>
<a name="postdoc"></a>
<p>We are hiring for full-time post-doctoral and engineering positions
for the <a href="tasks/">projects</a> we work on.
These include:
<ul>
<li><b>Compiler engineers</b>: the OCaml compiler is a very finely
maintained tool, and we wish to help INRIA to maintain and develop it.
The <a href="tasks/">projects</a> page lists some of the tasks,
including a developing multicore-capable GC (without sacrificing
sequential performance), improving cross-module inlining and general
optimisation, adding an efficient LLVM backend (with hooks for precise
GC), and experimenting with more radical techniques such as
whole-program optimisation. If you are excited by the thought of such
projects, enjoy open-source coding and interaction, and want to work
in a vibrant and slightly crazy research group, then you want to apply!</li>
<li><b>Post-doctoral systems research</b>: we use OCaml heavily in a
variety of <a href="tasks/">systems projects</a>, ranging from the
<a href="http://www.openmirage.org">Mirage</a> exokernel, the
<a href="http://signpost.io">Signpost</a> DNSSEC routing engine,
the <a href="http://github.com/xen-org/xen-api">Xen Cloud Platform</a>
and <a href="http://perscon.net">privacy-aware personal data</a>
management. This is a good opportunity for a freshly graduated
PhD student who wants to spend a few years building complex networked
systems and publishing (both papers and code).</li>
</ul>
<!-- <p><b>To apply for a full-time position, please see these open postings: -->
<!--<a href="http://www.jobs.cam.ac.uk/job/-21662/">RA1</a>, <a href="http://www.jobs.cam.ac.uk/job/-21662/">RA2</a>, <a href="http://www.jobs.cam.ac.uk/job/-21942/">Senior RA</a> -->
<!-- <br /><a href="http://www.jobs.cam.ac.uk/job/-23152/">Research Associate in OCaml Language and Compiler Development</a>.
</b></p> -->
<h3>Visitors and Internships</h3>
<a name="visit"></a>
<p>If you are working on a project relevant to the OCaml ecosystem, and
would like to spend some time working directly with OCaml Labs staff and
students, then get in touch! We can arrange (paid) internships for
graduate students, and office space for visitors. A typical visit lasts
from a few days to three months. A graduate student should think about
a project for the internship that could lead to a good conference
publication, and we are happy to discuss projects. It should ideally
be related to your main PhD topic to get the most benefit out of it.</p>
<p>If you visit in the summer, then it should be possible to arrange
for accommodation in one of Cambridge's beautiful Colleges. Availability
is very variable, and depends on whether you need single or multiple
rooms.</p>
<p><b>For current students in Cambridge</b>, several of our industrial
partners offer paid internship programs over the summer, where you go
work on real problems. Check out the <a class="icon-community" href="http://www.janestreet.com/workplace/internships.php">Jane Street</a>
program, and <a class="icon-email" href="contact.html">contact</a> us if interested in a Citrix internship locally in Cambridge.</p>
<p><b>For external undergraduates</b> looking for a placement (e.g. from an
<a href="http://www.ens.fr/?lang=en">ENS</a> in France), this can also be
arranged for a usual period between 4-6 months. Please <a class="icon-email" href="contact.html">contact</a>
us with at least two months before the desired starting period.</p>
<h3>Industrial Partnerships</h3>
<p>If you are an industrial user of OCaml, then you are very welcome
to visit and discuss collaboration opportunities. Although the Lab
itself does not undertake commercial work, we are eager to learn about
your needs. We help organise ACM/SIGPLAN conferences (such as
<a href="http://cufp.org">CUFP</a> and <a href="http://oud.ocaml.org">OUD</a>)
where you can get more publicity, and we plan to host smaller workshops
and hackathons in different regions. Members of the Lab may
consult on a private basis, but larger opportunties should be directed
to dedicated commercial companies such as <a href="http://ocamlpro.com">OCamlPro</a>.</p>
<p>If you wish to contribute funding towards the goals of the Labs, then
please get in touch with <a href="http://anil.recoil.org">Anil Madhavapeddy</a>.
This can often be a tax-efficient and effective way to help expand your
use of functional programming and ensure the long-term future of OCaml.</p>
<p>We also regularly participate in industry/academic collaborative
projects, particularly via the <a href="http://www.epsrc.ac.uk">EPSRC</a> and
the <a href="http://cordis.europa.eu/fp7/home_en.html">EU FP7</a> programme.
Note that we do <i>not</i> act as coordinators or management bases for EU
projects, and only as research participants.</p>
</div>
</body>