The Division of Theory and Foundations (aka FoCS: Foundations of Computer Science Research Group) is one of the divisions in the Department of Computer Science at the University of Warwick, one of the leading Computer Science departments in the United Kingdom.
Research in FoCS is concerned with various topics of Theoretical Computer Science such as Design and Analysis of Algorithms, Complexity Theory, Logic, Automata and Formal Verification. Our research aims at providing understanding of fundamental problems arising in Computer Science and to design mathematical tools and better algorithms to solve these problems. Our key research areas include:
- algorithmic aspects of game theory and economics,
- approximation algorithms,
- automata and formal languages,
- computational complexity,
- cryptography and quantum computing,
- discrete mathematics, combinatorics, and their applications,
- graph and network algorithms,
- logic and games,
- online and dynamic algorithms,
- parallel and distributed algorithms,
- parameterized complexity and structural graph theory,
- random structures and randomized algorithms,
- sublinear and streaming algorithms,
- string algorithms.
We are the core group affiliated with the Centre for Discrete Mathematics and its Applications (DIMAP) at the University of Warwick.
We meet regularly at DIMAP seminars.
More information about our research activities and achievements can be found here.
Information about our teaching activities is available here.
- Full Professor post in the areas of Algorithms and Complexity, Theoretical Computer Science, and Discrete Mathematics (closing date: September 1, 2019).
The Department of Computer Science and the Warwick Mathematics Institute invite applications for a Professor post in the FoCS and DIMAP areas, in the area of Discrete Mathematics, in Algorithms and Complexity, in Theoretical Computer Science, or in relevant areas on the interface of Computer Science and Mathematics.
Candidates should have an internationally leading research profile and be able to provide academic leadership.
Informal enquires can be addressed to Professor Ranko Lazic (R dot S dot Lazic at warwick dot ac dot uk, Head of Computer Science), Professor John Greenlees (John dot Greenlees at warwick dot ac dot uk, Head of Mathematics), or Professor Artur Czumaj (A dot Czumaj at warwick dot ac dot uk, Head of DIMAP).
- If you would like to apply for a research fellowship to be held in our group, please contact us in plenty of time about the application. There are several (very) competitive Fellowship schemes to support talented researchers (some restricted to people who do not currently have a permanent UK position) for periods of 1 - 5 years. These are offered for example by the EPSRC, the Royal Society and by the EU/ERC. All typically provide a full salary plus support for travel, computing, etc; some, as described below, offer funding for a research team. The person who wishes to hold the Fellowship applies via a nominated host institution (which need not be their current home institution, and some schemes actively encourage or even demand mobility). We welcome enquiries from anyone considering applying for such Fellowships nominating the Department of Computer Science and the University of Warwick as the host institution. Please either contact a relevant member of the academic staff, or email the Head of the Department of Computer Science giving brief details of the planned application. We need to know well in advance for administrative reasons, but we can also offer help in deciding which scheme is right for you and navigating through the financial and eligibility regulations etc.
- Royal Society URFs (University Research Fellowships) (5 years funding) for researchers at the early / mid-stage career (3-8 years post-doc experience) who do not hold a permanent post or an early career fellowship in a university or a non-profit organisation. Holders of postdoctoral fellowships, such as Marie Skłodowska-Curie Fellows, are eligible, as are Royal Society Dorothy Hodgkin Fellows, who meet the other eligibility criteria. Mobility is encouraged, but not compulsory. The Scheme is open to applicants of all nationalities and has an annual submission deadline in early September.
- Marie Skłodowska-Curie Fellowships (2 years funding) No limit on post doc experience but mobility in terms of crossing a national boundary is essential: Researchers must not have resided or carried out their main activity (work, studies, etc.) in the country of their host organisation for more than 12 months in the three years immediately before the call deadline. Contact a member of staff to sponsor and work with you on your application. The annual submission deadline is early September.
- ERC Grants: EU European Research Council (ERC). Up to 5 years of funding for excellent researchers at various career stages. The schemes are open to researchers of any nationalities.
- ERC Starting Grants: 2-7 years experience after PhD. Funding to establish your own research group, including PhD students and postdocs. Minimum time commitment: 50% of your working time. Annual deadlines in October.
- ERC Consolidator Grants: 7-12 years experience after PhD. Funding a major programme of research to consolidate your independence. Minimum time commitment: 50% of your working time. Annual deadlines in February.
- ERC Advanced Grants: Funding for leading researchers with a track record of major research achievements in the last 10 years to pursue ground-breaking, high-risk/high-reward projects. Minimum time commitment: 30% of your working time. Annual deadlines in August.
- UKRI Future Leaders Fellowships: A new joint scheme by the new umbrella organisation of all UK Research Councils, providing long-term funding for exceptional early career researchers who wish to join the department from academia or industry. Please be aware that there is an internal sifting process involved, thus if you consider this option, it is vital that you contact DIMAP/the department at the earliest opportunity. For details and the next deadline please check the website.
- Leverhulme Early Career Fellowships: 3 years funding for those with a UK degree (PhD at least submitted, but not more than 4 years postdoctoral experience), and/or a temporary academic position in the UK, and no permanent post. Annual deadline in March.
- Newton International Fellowships: (2 years funding plus follow-up money for 10 years) for junior researchers (PhD or 1-2 postdoc positions). Only for people who are not UK citizens and who are not working in the UK already. Early contact between applicants and Warwick before application is essential. Check the Royal Society link for applicantions in particular areas from particular countries. Annual deadline in March.
- Royal Society for the Exhibition of 1851, Research Fellowships (for 3 years). Must be within 3 years of completing a PhD. Annual deadline in Februrary.
The research group has funding available to support PhD studentships. Funding covers both academic fees and subsistence. We're interested in new, highly motivated PhD students, who can apply for funding via Warwick Computer Science Doctoral Training Centre. Deadline for the applications is March 31, 2019; the fellowships are competitive.
Prospective PhD students or other people with a research-related interest: Please feel free to browse our web pages and contact any member of our group for more information.
Information about applying to the university is here.