2 structural-engineering "https:" "https:" "https:" "https:" positions at University of East Anglia in United Kingdom
-
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
-
on achieving food security against the background of a changing climate and the need to reduce reliance on fossil fuels. Understanding how the plant immune system works, and how it could be engineered
Enter an email to receive alerts for structural-engineering "https:" "https:" "https:" "https:" positions