1 structural-engineering "https:" "https:" PhD research jobs at King's College London

Research Assistant/Research Associate (Fixed Term)

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