Sort by
Refine Your Search
-
Listed
-
Category
-
Employer
- ;
- Cranfield University
- ; The University of Manchester
- ; University of Warwick
- University of Nottingham
- ; University of Leeds
- ; University of Birmingham
- ; Loughborough University
- ; University of Exeter
- ; University of Southampton
- ; University of Sussex
- University of Birmingham
- ; Cranfield University
- ; EPSRC Centre for Doctoral Training in Green Industrial Futures
- ; King's College London
- ; Swansea University
- ; University of Bristol
- ; University of Nottingham
- ; University of Oxford
- ; University of Sheffield
- University of Cambridge
- University of Newcastle
- ; Aston University
- ; Coventry University Group
- ; Edge Hill University
- ; London South Bank University
- ; Manchester Metropolitan University
- ; Newcastle University
- ; Royal Northern College of Music
- ; The University of Edinburgh
- ; University of Hertfordshire
- ; University of Liverpool
- ; University of Surrey
- AALTO UNIVERSITY
- UNIVERSITY OF EAST LONDON
- University of East London
- University of Glasgow
- University of Oxford
- University of Sheffield
- 29 more »
- « less
-
Field
-
Research theme: Formal Methods How many positions: 1 This 3.5 year PhD is funded by the Department of Computer Science at The University of Manchester. The successful candidate will receive
-
position initially and is expected to be held full time and in person. You will join the CNNP Lab, which is well supported with recent funding of over £3M. The lab is based in the School of Computing
-
Computer Science Studentship consisting of the award of fees, together with a tax-free maintenance grant of £20,780 per year for 3.5 years. Lead Supervisor’s full name & email address Dr. Ping Lu: p.lu@leeds.ac.uk
-
an increasingly complex development environment. Areas to consider that impact the modelling are: Framework Language Process How wide / how deep i.e. what do we model and why? How much provides a good answer i.e
-
the geometrical approximation error. The increased fidelity of the modelling, however, comes at the cost of increased complexity in the shape function formulation, which in turns affects the numerical evaluation
-
explore the nonlinear structural dynamics of LGSs to fully understand the complexity of their control. They will use this foundation to explore idealised and realistic control laws to virtually “stiffen
-
manipulations for complex tasks. The tasks will first be decomposed into sub-tasks and then refined through causal reasoning. VLMs will enhance perception and planning, enabling robots to interpret
-
considerably heavy in terms of computational resources and complexities. The common techniques for reducing computational resources include, for example, solving ordinary differential equations (ODEs) in
-
are complex and you will need to seek advice if you have moved to or from the UK (or Republic of Ireland) within the past 3 years or have applied for settled status under the EU Settlement Scheme.
-
Short overview of PhD opportunity The PhD studentship aims at studying and developing more comprehensive user interfaces for computer-aided decision-making processes, which can benefit from 3D/360