2 structural-engineering "https:" "https:" "https:" "https:" "https:" "https:" "Multiple" PhD research jobs at King's College London in United Kingdom

Research Assistant/Research Associate (Fixed Term)

King's College London | London, England | United Kingdom | about 23 hours ago

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

Research Assistant in Imaging of Genetic Epilepsies

King's College London | Cricket St Thomas, England | United Kingdom | about 2 months ago

expertise in AI and biomedical computing at the School of Biomedical Engineering & Imaging Sciences. The work will be done in close collaboration with a multidisciplinary team at KCL, UCL and with clinicians