Tips on how to manage your PhD stipend FIND OUT MORE
University of Hong Kong Featured PhD Programmes
University of Sussex Featured PhD Programmes
University for the Creative Arts Featured PhD Programmes

Scaling superoptimisation for enterprise applications


Cardiff School of Management

This project is no longer listed on FindAPhD.com and may not be available.

Click here to search FindAPhD.com for PhD studentship opportunities
Dr T Crick , Dr G Oatley No more applications being accepted Funded PhD Project (European/UK Students Only)

About the Project

The Department of Computing & Information Systems is pleased to offer this PhD Studentship in Provably Optimal Code Generation.

THis research project is part of an on-going strategic collaboration between Cardiff Metropolitan University and Hewlett-Packard in Bristol; HP is a leading technology company that operates in more than 170 countries around the world, providing infrastructure and business offerings that span from handheld devices to some of the world's most powerful supercomputers.

Our world is increasingly dependent on the effectiveness and performance of software. Tools and methodologies for creating useful software artefacts have been around for many years, but the scalability of these systems for solving challenging real world problems are, in many important cases, poor. While there are numerous socio-technical issues associated with developing large software systems, there is a significant opportunity to address the optimisation of software in a strategic, adaptable and platform-independent way.

Superoptimisation is an approach to optimising code by aiming for optimality from the outset, rather than as the aggregation of heuristics that are neither intended nor guaranteed to give provable optimality. Building on previous work by Crick et al., this research project will further develop the theoretical foundations of sueroptimisation, as well as developing a scalable toolchain for superoptimising enterprise-level industrial software applications. This research project is a collaboration between Cardiff Metropolitan University and Hewlett-Packard (HP) in Bristol. HP is a leading technology company that operates in more than 170 countries around the world, providing infrastructure and business offerings that span from handheld devices to some of the world's most powerful supercomputers.

Please contact Dr Tom Crick in the first instance for more information regarding this PhD studentship.

Funding Notes

Applicants must have an excellent first degree in Computer Science, Computer Engineering, Electronics or a related discipline, with interest/experience in compilers, optimisation, logic programming, satisfiability modulo theories and mathematical foundations.

This three year PhD will commence in January 2015. The PhD bursary consists of the standard tuition fee for a Home/EU student (to be £3,760 in 2014/15) and a stipend linked to the minimum amount set annually by Research Councils UK (currently £13,863 pa).
Search Suggestions

Search Suggestions

Based on your current searches we recommend the following search filters.



FindAPhD. Copyright 2005-2021
All rights reserved.