Sort by
Refine Your Search
-
Listed
-
Employer
- ;
- University of Oxford
- KINGS COLLEGE LONDON
- UNIVERSITY OF VIENNA
- University of London
- Durham University
- Manchester Metropolitan University
- University of Cambridge
- AALTO UNIVERSITY
- DURHAM UNIVERSITY
- King's College London
- University of Liverpool
- ; Technical University of Denmark
- Cardiff University
- City University London
- Harper Adams University
- Heriot Watt University
- Imperial College London
- Plymouth University
- Royal College of Art
- University of Birmingham
- University of Bristol
- University of Glasgow
- University of Newcastle
- 14 more »
- « less
-
Field
-
We are seeking to recruit a motivated postdoctoral researcher in Verification and Game Theory. You will enjoy developing algorithms, lower bounds, and possibly proof-of-concept implementations
-
. Familiarity with standard design verification (DV) procedures and continuous integration (CI) setups would be beneficial. Knowledge of machine learning workloads and the design of machine-learning accelerators
-
neurogenetics of Drosophila. This requires expertise in setting up and analysing behavioural tests, using appropriate analytical methods and software and skills in coding in e.g. R, MatLab, R, Python, as required
-
of novel software tools and pipelines for new and cutting-edge analysis. There is scope to design new laboratory experiments and commission high-throughput data generation, so although primarily
-
of comparative genomics and molecular evolution analyses to identify these targets. The project will make use of software developed in the Kelly group as well as other widely used software for biological sequence
-
cancer in Barrett’s esophagus. Experience in analysing large datasets in R is essential but will also involve the use image analysis software such as Qpath. About You We seek an ambitious and self
-
field. You love working on hard problems that live at the boundary of theoretical method and computational software development. You enjoy working in a team where you contribute your expertise and skill
-
encouraged to adopt a creative approach to problem-solving, exploring various deep learning techniques. Verification of these models and algorithms will be conducted using benchmark datasets and real-world
-
founding a clinical feasibility study at the Royal London Hospital. Background The post holder should hold relevant PhD in Signal Processing, Software Engineering, Electronics Engineering, Biomedical
-
cancer in Barrett’s esophagus. Experience in analysing large datasets in R is essential but will also involve the use image analysis software such as Qpath. About You We seek an ambitious and self