Studentship

PhD Studentship: Reasoning about Racy Programs under Relaxed Consistency

A PhD studentship on “Reasoning about Racy Programs under Relaxed Consistency” is available in the School of Computer Science at the University of St Andrews, funded by Microsoft Research and EPSRC.

The project will involve developing reasoning principles and tools for relaxed memory consistency settings. This is a key problem in shared-memory concurrency at the low-level, whether in C or C++, or even higher-level languages such as Java.

The project will be supervised by Dr Susmit Sarkar at the University of St Andrews. Dr Jade Alglave of Microsoft Research Cambridge will be the Microsoft supervisor. During the course of their PhD, Scholars are invited to Microsoft Research in Cambridge for an annual Summer School, and there is also a possibility of paid internships during studies. The studentship is fully funded to pay fees and stipend for students with a relevant connection to the UK.

Applicants are expected to have or expect to obtain a UK first-class Honours or Masters degree (or its equivalent from non-UK institutions) in Computer Science, but the minimum standard we require is an upper second-class Honours degree or equivalent. Some experience in concurrent and/or functional programming and an aptitude for mathematical subjects are required. Knowledge and experience of one or more of formal verification, mechanised proofs, and programming languages is highly desirable.

For further information on how to apply, see our postgraduate web pages. Ideally the student will start in October 2015, or as soon as possible thereafter. Further details on the project and suggested reading is available from Dr Susmit Sarkar.

A PhD studentship, in collaboration with MSR (Cambridge)

Reasoning about Racy Programs under Relaxed Consistency

A PhD studentship, in collaboration with MSR (Cambridge)

http://research.microsoft.com/en-us/collaboration/global/apply-europe.aspx>

Each Microsoft scholarship consists of an annual bursary up to a maximum of three years. The amount varies in different countries and may depend on specific arrangement with public research funding agencies. The bursary continues automatically the following years, provided the Scholar meets the requirements of the institution.

Payment is made to the institution. The amount of the scholarship is the maximum amount Microsoft Research pays to the institution. In addition, every Scholar receives a laptop allowance.

During the course of their PhD, Scholars are invited to Microsoft Research in Cambridge for a PhD Summer School that includes a series of talks of academic interest and posters sessions, which provides the Scholars the opportunity to present their work to Microsoft researchers and a number of Cambridge academics.

Some of the Scholars may also be offered—at the sole discretion of Microsoft Research—an internship in one of the Microsoft Research laboratories. Internships involve working on a project alongside and as part of a team of Microsoft researchers. Scholars are paid during their internship—in addition to their scholarship bursary. Interested Scholars can apply through the Microsoft Research internship website.

 

Funded PhD Research Studentships

The School of Computer Science at the University of St Andrews has funding for students to undertake PhD research in any of the general research areas in the school:

http://www.cs.st-andrews.ac.uk/research

We are looking for highly motivated research students with an interest in these exciting research areas Our only requirements are that the proposed research would be good, we have staff to supervise it, and that you would be good at doing it. 

We have up to 6 funded studentships, including industrial sponsored studentships, available for students interested in working towards a PhD. The studentships offer costs of fees and an annual tax-free maintenance stipend of about £13,863 per year for 3.5 years. Exceptionally well qualified and able students may be awarded an enhanced stipend of an additional £2,000 per year. Students should normally have or expect at least an upper-2nd class Honours degree or Masters degree in Computer Science or a related discipline.

For further information on how to apply, see our postgraduate web pages (http://www.cs.st-andrews.ac.uk/prospective-pg). The closing date for applications is December 15th 2014 and we will make decisions on studentship allocation by February 27th 2015. Informal enquiries can be directed to pg-admin-cs@st-andrews.ac.uk or to potential supervisors.

Funded PhD Research Studentship in Constraint Programming

Dr Chris Jefferson at the School of Computer Science is offering funding for a student to undertake PhD research in Constraint Programming.

He is looking for a highly motivated research student with an interest in Artificial Intelligence and Algorithms. The studentship offers costs of fees for UK or EU students and an annual tax-free maintenance stipend of about £13,726 per year for 3.5 years. It might also be possible to fund non-EU students on an equivalent basis, so students of any nationality are encouraged to apply. Students should normally have or expect at least an upper-2nd class Honours degree or Masters degree in Computer Science or a related discipline.

Research topics of interest to Dr Jefferson include the automatic generation of propagation algorithms (http://caj.host.cs.st-andrews.ac.uk/pubs/statelessprop.pdf), the automated creation of combinatorial puzzles (http://caj.host.cs.st-andrews.ac.uk/pubs/combination.pdf), or advances in Computational Group Theory. Dr Jefferson is also interested in any student suggested projects in the area of Constraint Programming.

For further information on how to apply, see our postgraduate web pages (http://www.cs.st-andrews.ac.uk/prospective-pg).

Candidates should address general queries to pg-admin-cs@st-andrews.ac.uk, or specific queries on the research topics to caj21@st-andrews.ac.uk. The application process will require an interview (by phone or voice-conference if appropriate).

The closing date for applications is June 5th 2014 and we aim to make decisions on studentship allocation by June 20th 2014.

Funded PhD Research Studentships

The School of Computer Science  has funding for students to undertake PhD research in any of the general research areas in the school:

http://www.cs.st-andrews.ac.uk/research

We are looking for highly motivated research students with an interest in these exciting research areas. Our only requirements are that the proposed research would be good, we have staff to supervise it, and that you would be good at doing it. 

We have up to 8 funded studentships, including industrial sponsored studentships, available for students interested in working towards a PhD. The studentships offers costs of fees and an annual tax-free maintenance stipend of about £13,726 per year for 3.5 years. Exceptionally well qualified and able students may be awarded an enhanced stipend of an additional £2,000 per year. Students should normally have or expect at least an upper-2nd class Honours degree or Masters degree in Computer Science or a related discipline.

For further information on how to apply, see our postgraduate web pages (http://www.cs.st-andrews.ac.uk/prospective-pg). The closing date for applications is April 30th 2014 and we will make decisions on studentship allocation by May 31st 2014. (Applicants who apply by March 31st 2014 may be given priority for funded places.) Informal enquiries can be directed to pg-admin-cs@st-andrews.ac.uk or to potential supervisors.

Funded PhD Research Studentships

The School of Computer Science  has funding for students to undertake PhD research in any of the general research areas in the school:

http://www.cs.st-andrews.ac.uk/research

We are looking for highly motivated research students with an interest in these exciting research areas Our only requirements are that the proposed research would be good, we have staff to supervise it, and that you would be good at doing it. 

We have up to 8 funded studentships, including industrial sponsored studentships, available for students interested in working towards a PhD. The studentships offers costs of fees and an annual tax-free maintenance stipend of about £13,726 per year for 3.5 years. Exceptionally well qualified and able students may be awarded an enhanced stipend of an additional £2,000 per year. Students should normally have or expect at least an upper-2nd class Honours degree or Masters degree in Computer Science or a related discipline.

For further information on how to apply, see our postgraduate web pages (http://www.cs.st-andrews.ac.uk/prospective-pg). The closing date for applications is March 31st 2014 and we will make decisions on studentship allocation by May 31st 2014. (Applications after March 31st may be considered, at our discretion.) Informal enquiries can be directed to pg-admin-cs@st-andrews.ac.uk or to potential supervisors.

PhD Studentships – Sponsored by Time Warner Cable and Adobe

The School of Computer Science has secured support from two major companies, Time Warner Cable and Adobe, and is able to offer two fully funded PhD studentships in exciting areas of research with important applications. Both studentships are fully funded for EU applicants (covering fees, and a stipend of at least £13.5K p/a) for up to 42 months, the expected duration of the PhD. Non EU applicants may apply but may be liable for an additional approximately £11K p/a in fees.

Applicants should normally have (or expect to obtain this academic year) a 2:1 or (preferably) first class Honours Bachelors degree or equivalent in Computer Science, Computer Engineering, Software Engineering, Electrical Engineering, or a closely related topic, or a MSc (distinction preferred) in one of these subjects.

The two research topics available are:

Continue reading

PhD Interviews at St Andrews in CS

We have had an outstanding pool of applicants for our 600th Anniversary Scholarships to do a PhD in Computer Science.  This means that in the coming weeks we will be conducting many interviews with potential PhD students.  If you are one of those, or if you are just interested in what our interviews are like, I thought it would be a good idea to tell you what our PhD interviews are like.   I’m going to assume that “you” is somebody being interviewed for a PhD place, just to make writing the rest of this post easier.

What Our PhD Intervews Are

I’ve been doing the job of academic responsible for PhD admissions for about 3 years, and in that time I think we’ve admitted one student without an interview. Continue reading

University of St Andrews 600th Anniversary PhD Scholarships in Computer Science

As part of the University of St Andrews 600th Anniversary celebrations, we are able to offer six PhD Scholarships in Computer Science for 2013, including fees and a stipend.

Human version of the St Andrews University crest, organised in part by Yi Yu, one of our PhD students

This celebrates a great moment in the life of the University, and the Scholarships may be held in any research area of the School. Our only requirements are that the proposed research would be good, we have staff to supervise it, and that you would be good at doing it.

You can see our
advert at jobs.ac.uk
and also our local page with further information on postgraduate study in Computer Science.
Informal enquiries can be directed to pg-admin-cs@st-andrews.ac.uk or to potential supervisors.
Formal application is through our normal applications process, mentioning that you wish to be considered for the 600th Anniversary Scholarships.
The closing date for applications is February 4th, 2013.

Brazilian “Science without Borders” studentships

The Brazilian Government has decided to support a programme of scholarships to promote the consolidation and expansion of science, technology and innovation in Brazil through ‘Science without Borders’. Science and technology scholarships will be made available to support tuition fees, travel and living costs.

Background information and programme details can be located at Brazil Science Without Borders and includes a list of project areas relating to Computer Science.