1 formal-semantics PhD positions in United Kingdom

Sort by

listed

Refine Your Search

Sort by: relevance | listed |

Enter an email to receive alerts for formal-semantics positions

Research Assistant/Research Associate (Fixed Term)

King's College London | London, England | United Kingdom | 1 day ago

of formally verified compiler infrastructure at the intersection of MLIR and Lean4. We aim to bring formally verified compilation into the day-to-day use of the LLVM/MLIR compiler ecosystem. In this context, we

Searches related to formal semantics

Enter an email to receive alerts for formal-semantics positions