5 proof-checking-postdoc-computerscience Fellowship positions at University of Nottingham
-
proof assistants. The current project aims to make progress in the field of dependent type theory and, in particular, in homotopy type theory, by exploring which statements can be expressed in which
-
. Please include a CV and cover letter in your application detailing your fit to the criteria in the role profile. All applications must be submitted on-line through: http://jobs.nottingham.ac.uk/SCI194725
-
nodes during breast cancer surgery. The instrument will allow surgeons to check the sentinel lymph nodes during the first surgery, while the patient is still in the operating room, and if needed, remove
-
to discuss flexible working arrangements with you. If it sounds like you would be a good fit, we look forward to hearing from you. Interviews will take place in May/June 2025. Our university is a
-
that prior agreement has been sought from both your current line manager and the manager of your substantive post, if you are already undertaking a secondment role. If it sounds like you would be a good fit