School of Computer Science

Weekly Newsletter

9 August 2010


News from HoS

This Week

School Events

External Events

Funding Opps

Prize & Award Opps

Research Awards

Staff News




News Submissions

Newsletter Archive

School Strategy

School Intranet

School Seminars

ESNW Seminars

NaCTeM Seminars


News from Head of School

Vampire wins yet again

The theorem proving community must be getting fed up with Andrei Voronkov, as Vampire wins in the CASC competition for automated theorem provers yet again (first place in one or more categories for twelve consecutive years). Perhaps they should just abandon the competition and give Andrei the prize in perpetuity. Congratulations also to Konstantin Korovin, whose iProver won the section for 'effectively propositional representation' for the third year running.

IET seeking accreditors

The IET is keen to recruit new Accreditors and is seeking our help to do so by asking us to nominate people. The Accreditation activity cannot be undertaken without the support of Universities especially those that make staff available to act as Accreditors. They are seeking academics and industrialists (perhaps from our Industrial Advisory Boards or similar). More information can be found here.


Research Awards


Funder: BBSRC
PI: Carole Goble
Award Amount: 1187839


Funding Opportunities

University Research Fellowships 15 Sept 10

The University Research Fellowships scheme aims to provide outstanding scientists, who should have the potential to become leaders in their chosen field, with the opportunity to build an independent research career. Those appointed are expected to be strong candidates for permanent posts in universities at the end of their fellowships. This scheme is very competitive with an average success rate of 6%.
Subjects covered: All areas of the life and physical sciences, including engineering, but excluding clinical medicine.

Eligibility:  Applicants must have a PhD or equivalent research experience by the time they apply, we will not accept applicants who have just submitted their PhD. Applicants are expected to be at an early to mid-stage of their career. As an example, you could have had between one and three post doc positions.
At the time of application, applicants must either:
    be a citizen of the European Economic Area (EEA), i.e. European Union, Iceland, Norway or Liechtenstein; or a Swiss citizen
    or have a relevant connection to the EEA or Switzerland (a relevant connection can be established if an individual has a PhD from a university in the EEA or Switzerland, or has worked as a research scientist in a university or research institute in the EEA or Switzerland for at least the past two years, or has done so before taking up an appointment outside the EEA or Switzerland).
Persons holding a permanent post in an EEA or Swiss university will not be considered (includes UK).

Length of tenure:  Initially funding is provided for five years followed by an extension of three years. In exceptional circumstances the Society can consider a further extension taking the fellowship to a maximum of 10 years. Available from 1 October 2011.

Place of tenure:  Fellowships must be held in a UK university or not-for-profit research organisation (except for Research Council Institutes).

Value:  Provides funding to cover the research fellow's salary costs, estates costs and indirect costs. Under the full economic costing model, 80 per cent of these costs will be met by the Royal Society. Research expenses (up to 13,000 for the first year and up to 11,000 annually thereafter) will also be provided. The Research Fellowship provides researchers with maximum flexibility and can be held part-time, and allows sabbaticals, secondments or international experience.

Web link 
Opening date: 19 July 2010
Closing date: 15 September 2010