PostDoc at Cambridge

Stream: job postings

[Tobias Grosser]

Interested in state-of-the compiler design and formal methods and cannot choose which one you enjoy most? Join us for a PostDoc around LLVM/MLIR & Lean. Details at: https://www.cam.ac.uk/jobs/research-assistantresearch-associate-fixed-term-nr48331

In case of questions, ping me on zulip.

Cambridge_-_Kings_College_vue_des_backs.jpg