11 software-verification Postdoctoral positions at University of Oxford in United Kingdom
-
Stack Software Developer. The group aims to identify, understand, and develop therapies for rare genetic disorders. The group is primarily computational but partners with multiple international labs
-
and solving problems under uncertainty, from either an AI, robotics, or verification perspective, and an ability to manage own academic research and associated activities. Informal enquiries may be
-
an interdisciplinary team. Experience in software development and application to automated instruments or robotics would be advantageous. Informal enquiries may be addressed to Harrison Steel (email: harrison.steel
-
, libraries, and platforms is essential for this role, along with a strong interest in interdisciplinary research in the biological and medical sciences. Experience of applying software engineering best
-
role which has the potential to contribute to the development of open source software. Vibrational modes in solids (phonons) affect fundamental physical properties such as the conduction of heat and
-
, power, lifetime, cost, etc) of the electrode and the battery. The open source software PyBaMM, along with the optimisation suite PyBOP, have been developed as part of the companion Faraday Multiscale
-
for learning preferences from data) and have proven experience with relevant software engineering projects. Informal enquiries may be addressed to either Steve Roberts (sjrob@robots.ox.ac.uk) or Mike Osborne
-
experience, you will be able to demonstrate specialist knowledge in qualitative research methods, preferably including either Template or Framework analysis as well as experience of using software to manage
-
for coordinating grid-edge flexibility, and contribute to the development of a software platform for algorithm design, training and benchmarking. You should possess the following skills and experience
-
method development, cleanroom device fabrication, cryogenic system operation, and microwave control electronics and software. The post-holder will also have the opportunity to teach. The post-holder will