Kamis, 14 Februari 2008

[beasiswa] [INFO] Microsoft Research PhD Scholarship-Oxford

Date: Thu, 14 Feb 2008 19:43:32 +0700
From: "Ari Krisna Mawira Tarigan" <a.k.m.tarigan@gmail.com>
Subject: Fwd: [Research-Network] Microsoft Research PhD Scholarship
(Oxford University)


---------- Forwarded message ----------
From: Umer Rashid
Date: Feb 14, 2008 5:23 PM
Subject: [Research-Network] Microsoft Research PhD Scholarship (Oxford
University)


Microsoft Research PhD Scholarship
Oxford University Computing Laboratory

A Microsoft Research PhD Scholarship
( http://research.microsoft.com/ero/icd/phd/ ) is available to work on
the project Verifying Properties of the ML Family of Programming
Languages in the group led by Professor Luke Ong -

http://users.comlab.ox.ac.uk/luke.ong/

The scholar will work on the veri&#64257;cation of functional programs such
as Ocaml, F# and Haskell, using ideas and techniques from both
semantics and veriï¬ cation. The student will be trained to carry out
research in the theory and practice of software veri&#64257;cation,
construct software tools, perform industrial case studies and
experiments where appropriate, and write and present research papers.

Each Microsoft scholar will be awarded a generous bursary of up to
33,000 euros per year, up to a maximum of three years. This amount is
the maximum Microsoft Research will pay the University of Oxford - the
actual amount payable to the scholar is yet to be determined; see the
terms and conditions:
http://research.microsoft.com/ero/phd/PhDScholarshipAgreement2008.pdf

Every scholar will receive a laptop from Microsoft Research with a
selection of software applications. During the course of their
doctorate, scholars will be invited to Microsoft Research Cambridge
for a summer school, which will give the scholars an opportunity to
present their work to Microsoft researchers and a number of Cambridge
academics. Some of the scholars may also be offered, in Microsoft
Research's sole discretion, an internship in one of the Microsoft
Research laboratories. Scholars will be paid during their internship
on top of their scholarship bursary. The scholar is expected to start
in October 2008.

Candidates must have (or expect to have) an outstanding computer
science degree or a degree in a closely related subject such as
mathematics that has a signiï¬ cant component of computer science, and
must satisfy the Admissions Criteria for Studying for a Doctorate at
Oxford: see

http://www.comlab.ox.ac.uk/oucl/prospective/dphil/dphil-criteria.pdf

The scholarship requires previous knowledge of at least one of the
following: functional programming, semantics (especially game
semantics) of programming languages, logic and discrete mathematics
related to computer science, lambda calculus and types, computer-aided
veri&#64257;cation, compilers, and program analysis. Strong programming
skills are essential.

How to apply
The deadline for receipt of applications is 14 March 2008. You can
either apply online or download the University's application form from:

http://www.admin.ox.ac.uk/postgraduate/apply/forms/

You will need to submit references, a transcript and a statement of
research interests (in the textbox "research proposal"). All
applications are subject to a £25 fee. After submitting your
application, please email a copy of your application to Julie Sheppard
julie@comlab.ox.ac.uk Questions about the applications procedure
should also be directed to her. In addition you are requested to email
your CV to Luke.Ong@comlab.ox.ac.uk

For further information see:

http://users.comlab.ox.ac.uk/luke.ong/OngMSRFurInfo.html

INFO, TIPS BEASISWA, FAQ - ADS
Hanya ada di http://www.milisbeasiswa.com/

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

CARI KERJA?
Gabung dengan milis vacancy. Kirim email kosong ke vacancy-subscribe@yahoogroups.com.
http://www.groups.yahoo.com/group/vacancy

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

INGIN KELUAR DARI MILIS BEASISWA?
Kirim email kosong ke beasiswa-unsubscribe@yahoogroups.com
Yahoo! Groups Links

<*> To visit your group on the web, go to:

http://groups.yahoo.com/group/beasiswa/

<*> Your email settings:
Individual Email | Traditional

<*> To change settings online go to:

http://groups.yahoo.com/group/beasiswa/join

(Yahoo! ID required)

<*> To change settings via email:
mailto:beasiswa-digest@yahoogroups.com
mailto:beasiswa-fullfeatured@yahoogroups.com

<*> To unsubscribe from this group, send an email to:
beasiswa-unsubscribe@yahoogroups.com

<*> Your use of Yahoo! Groups is subject to:

http://docs.yahoo.com/info/terms/

Tidak ada komentar:

Posting Komentar