Burnin, located in Greater London, is seeking a researcher to lead the research agenda in AI coding models. The role involves designing type systems, fine-tuning models, and publishing in top venues.
The ideal candidate should have a PhD or equivalent experience and a background in machine learning and programming languages. Proficiency in Rust and Python is required. Join a small team with significant industry experience and the opportunity to shape foundational work in verified computing.
#J-18808-Ljbffr…
