17 proof-checking-postdoc-computer-science-logic Postdoctoral positions at University of Glasgow
Sort by
Refine Your Search
-
Listed
-
Category
-
Field
-
SingularityNET and Actyx AG. The aim of the project is to develop, and mechanise via a proof assistant like Agda, a unified formal model (Uni-pi) based on the pi-calculus and session/linear types
-
in the KDES (Knowledge and Data Engineering Systems) Research Group, School of Computing Science. ELLIE involves examining the impact of emerging technologies on creative processes, particularly in
-
Group, School of Computing Science. COIN-3D is a Horizon Europe Twinning Bottom Up action. The project aims to establish strong collaborations with top European research institutions and creates
-
Job Purpose We are seeking to recruit a motivated and creative Research Assistant/Associate (postdoctoral researcher) to work within an MRC-funded research programme (https://gtr.ukri.org/projects
-
histology, single-cell RNA sequencing and spatial omics data to predict prostate cancer metastasis. The post holder will be jointly pointed by the School of Cancer Sciences, working with Dr Ke Yuan and
-
Research Assistant / Research Associate COLLEGE OF MEDICAL VETERINARY & LIFE SCIENCES School of Infection and Immunity Research and Teaching GRADE 6/7 Job Purpose We have an exciting opportunity
-
or computational kit, or in setting up theoretical models or analysis strategies. 3. Document research output including analysis and interpretation of all data, maintaining records and databases, drafting technical
-
manage and direct this complex and challenging project as opportunities allow. This post will be supported by a Centre for Frontiers in Nuclear Science grant and therefore frequent travel to Stony Brook
-
of myotonic dystrophy type 1 and related disorders. 2. Perform laboratory experiments using appropriate molecular biology and genetic methodologies and interpret the results. 3. Perform statistical analysis
-
and project/group/School/College research strategy. 2. Contribute to the acquisition, set up, maintenance and integration of experimental apparatus or computational kit, or in setting up theoretical