Hi everyone,
Prof. John Regehr and I (School of Computing, University of Utah) are looking to hire a postdoc to join our new NSF-funded project involving compilers, formal methods, and programming languages. More specifically, in the next several years we will be looking into formalizing the foundation of MLIR and building related tools based on that (interpreters, optimizers, translation validators).
Given the current situation, we are open to remote work.
Please contact me for more details or if you have any questions.
Best,
– Zvonimir