74 software-formal-method-phd PhD positions at University of Birmingham in United Kingdom
Sort by
Refine Your Search
-
Are you passionate about the reduction of aircraft noise? Do you want to contribute to cutting-edge research that will lead to silent airfoil design? Applications are invited for a 3.5-year UK PhD
-
k Si3N4 and then the additive manufacturing of the components with the aim of achieving complex geometries with the enhanced ceramic. Funding notes: This PhD programme will be hosted in the School
-
for the circular economy in manufacturing. The PhD Project The UK is heavily reliant on critical materials imported from overseas, this means it is susceptible to global supply issues and price volatility. There is
-
. Yet, many stellar and planetary parameters remain systematically uncertain due to limitations in stellar modelling and data interpretation. This PhD project will develop Bayesian Hierarchical Models
-
system an opportunistically attack human cells. In this respect mobile DNA elements (particularly transposons) appear key. We have developed a new genomic method to track genome rearrangements that occur
-
interface. This PhD project aims to develop a flexible electrochemical sensing interface capable of capturing local physicochemical changes in real time. The work will explore biocompatible, deformable
-
Experimental low-temperature physics involving nanofabrication, high pressure measurements, extreme magnetic field and milliKelvin temperatures to tune exotic low dimensional materials. Hands-on experiments & development and opportunities for travel to international facilities. This project is...
-
unsuitable, while the utility and performance of others remains an open question. The aim of the PhD is to derive synchronisation techniques suitable for deployment into a maritime radar sensor network
-
processing techniques that take full advantage of these capabilities, in order to translate them into optimal radar performance. The purpose of the PhD is to lay down theoretical and practical foundations
-
and imperfections, making them both conceptually deep and technologically promising. This theoretical PhD project will investigate how topology and quantum geometry emerge and intertwine such as