7 software-formal-method-phd Postdoctoral research jobs 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
-
-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
-
, 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