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