2 structural-engineering "https:" "https:" "https:" "https:" "https:" "https:" "Multiple" "https:" PhD research jobs at University of Cambridge in United Kingdom

Research Assistant/Research Associate (Fixed Term)

University of Cambridge | Cambridge, England | United Kingdom | about 6 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

4-year PhD position in visual cognitive computational neuroscience at the University of Cambridge (Kamila Maria Jozwik)

University of Cambridge | United Kingdom | 27 days ago

language models, and Large Language Models. Please find prior work here: (Google Scholar: https://scholar.google.com/citations?hl=en&user=oEifmSgAAAAJ&view_op=list_works&sortby=pubdate).  We also