6 computer-programmer-"Foundation-for-Science-and-Technology" PhD positions at King's College London
Sort by
Refine Your Search
-
Category
-
Field
-
Stage Researcher (R1) Country United Kingdom Application Deadline 17 Jan 2026 - 00:00 (UTC) Type of Contract Other Job Status Full-time Is the job funded through the EU Research Framework Programme? Not
-
use and contribute to the Lean4 proof assistant, where we build foundational technology such as a powerful BitVector library, coinductive proofs, an embedding of MLIR's SSA data structures into Lean
-
an online admissions application, via the admissions portal by midnight (23:59 GMT), 10th November 2025. On the ‘Choosing a programme’ page, please select Wolfson SPaRC Research MPhil/PhD (Full-time). More
-
place on our PhD programme please see the apply button above. Funding Notes Studentships cover tuition fees for three years, the pending submission status fee and a stipend of approximately £22k/annum
-
PhD programme please see the apply button above. Funding Notes Studentships cover tuition fees for three years, the pending submission status fee and a stipend of approximately £22k/annum (2025-26 rate
-
& Medicine. Department: Res Dept of Biomedical Computing. Contact details:Dr Konrad Wagstyl. konrad.wagstyl@kcl.ac.uk Location: St Thomas Hospital. Category: Research. About Us The applicant will join the