MANCHESTER 1824	School of Computer Science
Weekly Newsletter	9 August 2010
Contents News from HoS This Week School Events External Events Funding Opps Prize & Award Opps Research Awards Staff News Vacancies Links 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 SysMO-DB2 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