16 proof-checking-postdoc-computer-science-logic Postdoctoral positions at King's College London in Postdoctoral
-
About us The researcher will join the Human-Centred Computing (HCC) group at King’s at the Department of Informatics, which provides a supportive and collaborative environment and an exciting mix
-
About us The Randall Centre for Cell & Molecular Biophysics is situated within the School of Basic & Biomedical Sciences (BMBS) and is part of the Faculty of Life Sciences & Medicine . It is
-
About us The Department of Informatics is looking to recruit a Postdoctoral Research Associate to work on data mining, in the context of a project funded by Leverhulme Trust, in the Department
-
mathematics, electrical/electronic engineering, or a closely related discipline. 2. A strong research track record in theoretical or computational wave physics, electromagnetism, optics/photonics
-
, computational physics, quantum information, quantum computing, applied mathematics, computer science or a closely related discipline. Candidates who have submitted their thesis and are awaiting award may be
-
Job id: 159605. Salary: £45,031 per annum inclusive of London Weighting Allowance. Posted: 25 September 2026. Closing date: 04 October 2026. Business unit: Faculty of Life Sciences & Medicine
-
About us: The Faculty: The Faculty of Natural, Mathematical & Engineering Sciences (NMES) comprises Chemistry, Engineering, Informatics, Mathematics, and Physics – all departments highly rated in
-
About us The Translational AI Research (TAIR) Lab develops trustworthy AI and carries it into real-world use. We are based in the Centre for Oral, Clinical & Translational Sciences in the Faculty
-
department in its field, running a globally competitive programme of research and teaching. The Kennedy Institute is a biomedical research centre uniquely bringing together discovery science and early-stage
-
, quantum computing, applied mathematics, computer science or a closely related discipline. Candidates who have submitted their thesis and are awaiting award may be considered under the standard King’s Grade