Sort by
Refine Your Search
-
Listed
-
Employer
- ;
- KINGS COLLEGE LONDON
- University of Oxford
- UNIVERSITY OF VIENNA
- Durham University
- University of London
- AALTO UNIVERSITY
- King's College London
- University of Cambridge
- Manchester Metropolitan University
- University of Liverpool
- ; Technical University of Denmark
- Cardiff University
- City University London
- DURHAM UNIVERSITY
- 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
-
Aalto University is looking for an Postdoctoral Researcher in Artificial Intelligence / Machine Learning Engineering [Academic Research Software Engineer] to a postdoctoral-level position. The
-
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
-
. 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
-
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
-
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
-
position verification, entanglement on quantum networks and network capacity and noise mitigation. Duties include developing and conducting individual and collaborative research objectives, proposals and sub