Hi all, hope you’re doing well!
I’m hiring a visiting research programmer to build machine learning tools for Coq. This position will mostly be focused on building a usable tool that people can interact with—so some Coq plugin development, some interface design, and some interfacing with machine learning models and frameworks. But the programmer will also be involved in multiple aspects of a cross-institutional research project (Illinois, UMass Amherst) and will have a lot of freedom to explore.
This job is best for someone who is in industry and looking to apply for PhD programs, but needs more research experience and a letter of recommendation to strengthen their application. Check out the official posting here.