Sort by
Refine Your Search
-
Listed
-
Employer
- Medical Research Council
- ;
- KINGS COLLEGE LONDON
- University of Glasgow
- Durham University
- University of Sheffield
- King's College London
- Nottingham Trent University
- UNIVERSITY OF VIENNA
- University of Newcastle
- Cardiff University
- Heriot Watt University
- University of Birmingham
- University of Cambridge
- University of Leicester
- University of Oxford
- University of York;
- 7 more »
- « less
-
Field
-
formal reasoning mechanisms by combining AI with symbolic methods. Formulating new AI problems related to applications of proof assistants to mathematics and creating new benchmarks for them. Those AI
-
to start later for excellent candidates. The closing date is the 30th September 2027 Research topics include: Designing next-generation formal reasoning mechanisms by combining AI with symbolic methods
-
: Expertise in and knowledge of satellite Earth Observation data sources and image processing methods, which could include as applied to optical, thermal or radar data. Demonstrable experience developing
-
methods, software engineering, and artificial intelligence whilst within the role. Skills, Experience & Qualification needed (these can be taken from the person specification) You will have a PhD in formal
-
support technical operations in the wider academic group (ISL/HADES). Provide formal supervision to PhD and FYP (BSc/BEng/Meng/MSc) students, permitting the development of an academic track record
-
methods such as light-sheet microscopy. With these tools, we can not only visualize mouse development live, but are able to perturb and manipulate the embryo in real-time, and quantitatively measure
-
that perpetuate racial discrimination and harassment within care systems. About the role We are seeking an enthusiastic Qualitative Research Associate to join CARE-HSC, specifically working on ‘Workstream 1: Formal
-
care systems. About the role We are seeking an enthusiastic Qualitative Research Associate to join CARE-HSC, specifically working on ‘Workstream 1: Formal (Workforce) Carers’ co-led by Professor Stephani
-
collaborators in the University of Lincoln. Main duties and responsibilities Use ML/AI techniques and nonlinear system identification approaches (especially NARMAX method)to build transparent, interpretable
-
care systems. About the role We are seeking an enthusiastic Qualitative Research Associate to join CARE-HSC, specifically working on ‘Workstream 1: Formal (Workforce) Carers’ co-led by Professor Stephani