1 structural-engineering "https:" "https:" "https:" "https:" PhD positions at King's College London in United Kingdom

Research Assistant/Research Associate (Fixed Term)

King's College London | London, England | United Kingdom | 1 day 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