31 formal-verification-computer-science Postdoctoral positions at University of Cambridge
Sort by
Refine Your Search
-
at the Yusuf Hamied Department of Chemistry, University of Cambridge to work on the BBSRC grant "A Platform for Identifying GlycoRNA and Identifying Biases in RNA Pulldown". The role is to develop methods
-
at the Department of Chemistry at the University of Cambridge (https://www.ch.cam.ac.uk/group/michaelides ). The projects will involve the development and application of approaches for treating complex intermolecular
-
-generation AI hardware (ASIC) accelerators. The UK's Advanced Research Invention Agency (ARIA) is supporting an ambitious programme of work that aims to reduce the the cost of AI by more than 1000x: https
-
. The successful applicant will be supported in their career development with a range of formal courses and on-the-job training. This role exists as a result of a Wellcome Trust Career Development Award grant made
-
networks. This position is part of a UK-Canada Quantum for Science collaborative project "Quantum network applications in theory and practice" funded by STFC/EPSRC (UK) and NSERC (Canada), led by Professor
-
cloning, synthetic biology, systems biology, computational modelling, and image analysis would also be valuable to the role. The successful applicant will be an excellent team player, highly solution
-
Sciences (HSPS) and also has a vibrant MPhil and PhD programme. There are currently about 80 students working on PhDs on a diverse range of topics in sociology. Further information about research interests
-
P. Grey in the Yusuf Hamied Department of Chemistry, working on a project focused on understanding solid-state ion dynamics and phase transformations in lithium- and sodium-ion battery electrode
-
bioinformatics/computer science will be essential. Prior experience with connectomics data is highly desirable. Our group has developed an international reputation in this area and our tools have now been used in
-
Fixed-term: The funds for this post are available for 12 months. Applications are invited for a Research Assistant (RA) to join the Prorok Lab in the Department of Computer Science and Technology