9 software-formal-method-phd Postdoctoral positions at Heriot Watt University in United Kingdom
-
tools are need during the development of new imaging and sensing systems. With the rapid deployment of data-driven methods, repliable uncertainty quantification remains a big challenge that requires
-
quantum field theories, and the application of Hamiltonian methods to gauge theories, though you will also be encouraged to develop and pursue your own research directions. Applicants should have a PhD in
-
on the training strategies. In this project, we will investigate Bayesian methods to train deterministic SNNs (with deterministic activation functions) or probabilistic SNNs. Bayesian deep learning methods have
-
papers; presentation of research at conferences. Assist the development of student research skills, and be expected to contribute to the assessment of student knowledge (particularly PhD students) in
-
to collaborators as well as broader audiences through e.g. conference presentations. Candidates must hold a PhD degree in supramolecular chemistry, and will have experience in the synthesis, modification, analysis
-
-supervise a PhD student. A secondary affiliation to EPFL or UoE may be offered to candidates with the appropriate profile. Appointment is initially for 1 year, and renewable for up to 3 years, depending
-
-leading research. Education, Qualifications and Experience Essential A PhD in physics or engineering with a specialisation in ultrafast nonlinear optics and/or ultrafast spectroscopy, or extensive
-
with PhD students and the other PDRAs of the Prosperity Partnership. The PDRA will report on project progress and outcomes to the Prosperity Partnership Management Group, as well as participating in
-
, the Leonardo engineers involved in the project, and Dr Sam Tammas-Williams and Prof Jonathan Corney from University of Edinburgh. They will also work with PhD students and the other PDRAs of the Prosperity