49 proof-checking-postdoc-computer-science-logic PhD positions at University of Birmingham
Sort by
Refine Your Search
-
. Natural Hazards and Earth System Sciences, 22(9), pp.3083-3104.
-
studentship as part of the appointment. This post forms part of an international multi-site programme with the title: Sociology of Authoritarian Law: Insights from Central Asia (SOCIAL), which is based
-
There is widespread concern about the negative impacts of plastic and other anthropogenic solid waste (hereafter referred to as ‘plastics’) on global biodiversity (Law, 2017; Lau et al., 2020). Such materials are extremely slow to break down, which has resulted in discarded micro- and...
-
Lakes are dynamic methane sources where both benthic and pelagic processes shape net emissions. Sediments are the dominant methane producers, but growing evidence shows that phytoplankton can generate methane under oxic conditions, particularly under phosphorus limitation via phosphonate...
-
Intermittent streams (c. 50% of world rivers) and headwaters (c. 90% of rivers) are key riverine systems for hydrology, ecology and water quality, which are poorly monitored and lack data (Dugdale et al. 2022; Mainstone et al. 2018; Datry et al. 2016). Streams are often flagged...
-
studentship as part of the appointment. This post forms part of an international multi-site programme with the title: Sociology of Authoritarian Law: Insights from Central Asia (SOCIAL), which is based
-
of Birmingham. Funding Information Please note this project is open to UK applicants only. Candidates must have at least a 2(1) in an Engineering or Scientific discipline or a 2(2) plus MSc or equivalent
-
When light illuminates nano-sized metallic structures, the free electrons in the metal collectively oscillate, creating `plasmons'. By specifically designing the geometry and arrangement of the nano-metallic structures, one can direct and concentrate light at small enough volumes, to create...
-
When light illuminates nano-sized metallic structures, the free electrons in the metal collectively oscillate, creating `plasmons'. By specifically designing the geometry and arrangement of the nano-metallic structures, one can direct and concentrate light at small enough volumes, to create...