Find a job 
Featured Companies 
Featured Universities 
For Companies At a Glance
- Tasks: Lead groundbreaking research in AI code generation and design innovative type systems.
- Company: Dynamic startup with a focus on trust in AI, backed by top-tier investors.
- Benefits: Equity options, flexible work environment, and the chance to shape the future of computing.
- Other info: Embrace early-stage challenges and define your own research roadmap.
- Why this job: Join a small team and make a significant impact in high-stakes AI applications.
- Qualifications: PhD or equivalent experience in machine learning or programming languages; coding skills in Rust and Python.
The predicted salary is between 80000 - 100000 £ per year.
London or New York, partially on-site.
AI will write most of the world's code. The interesting bottleneck is no longer whether a model can produce code; it is whether anyone should trust it. We are building the trust stack for AI code generation, targeted at high-stakes computing where wrong numbers cost real money.
A statically typed language designed for coding models. A compiler whose guarantees double as audit-grade trust infrastructure. A coding model fine-tuned on the language, with the compiler emitting the continuous fitness signal that becomes its training reward. Language and model are co-designed.
We are a small team out of PyTorch, FAIR, NYU, & KCL, with strong institutional VC support from our pre-seed and active investor interest heading into seed.
What you will do:
- Own the research agenda across the language and the model.
- Design type systems and compiler analyses that yield useful fitness gradients.
- Fine-tune coding models on a language with no pretraining footprint, including the supervised and reinforcement stages that build competence from zero.
- Publish in PL and ML venues.
- Choose the next experiments.
- Help shape what verified computing looks like in the wild.
Who you are:
- You publish at top venues in some combination of machine learning, programming languages, or formal methods. People who cross between them are who we want most.
- PhD preferred, equivalent output equally fine.
- You can talk fluently about both training dynamics and type systems. You do not need expertise in both, but you need real curiosity about whichever one you arrive without.
- You write production code. Our stack is Rust and Python.
- You are comfortable with early-stage ambiguity. The team is small. You will define your own roadmap and defend it with evidence.
Why join us?
You work directly with founders who have built infrastructure used across the industry. The research is well-scoped, the commercial wedge is real, and the equity reflects how early it is.
Founding Researcher in City of London employer: Burnin
Contact Detail:
Burnin Recruiting Team
StudySmarter Expert Advice 🤫
We think this is how you could land Founding Researcher in City of London
✨Tip Number 1
Network like a pro! Reach out to folks in the AI and programming languages space, especially those connected to our team. Attend meetups or conferences where you can chat with potential colleagues and show off your passion for the field.
✨Tip Number 2
Show us your skills! If you’ve got a project or research that aligns with our mission, don’t hesitate to share it. A GitHub repo or a blog post can really make you stand out and demonstrate your expertise in machine learning or programming languages.
✨Tip Number 3
Prepare for the interview by diving deep into our tech stack. Brush up on Rust and Python, and be ready to discuss how you’d tackle type systems and compiler analyses. We love candidates who can think critically about the challenges we face!
✨Tip Number 4
Apply through our website! It’s the best way to ensure your application gets seen by the right people. Plus, it shows you’re genuinely interested in joining our team and contributing to building trust in AI code generation.
We think you need these skills to ace Founding Researcher in City of London
Some tips for your application 🫡
Show Your Passion: When writing your application, let your enthusiasm for AI and coding shine through. We want to see that you’re genuinely excited about the research agenda and how it can shape the future of verified computing.
Tailor Your Experience: Make sure to highlight your relevant experience in machine learning, programming languages, or formal methods. We’re looking for those who can bridge these areas, so don’t be shy about showcasing your unique skills!
Be Clear and Concise: Keep your application straightforward and to the point. We appreciate clarity, so avoid jargon unless it’s necessary. Remember, we want to understand your ideas and experiences without wading through fluff.
Apply Through Our Website: Don’t forget to submit your application through our website! It’s the best way for us to keep track of your application and ensure it gets the attention it deserves. We can’t wait to hear from you!
How to prepare for a job interview at Burnin
✨Know Your Research
Dive deep into the latest trends in machine learning and programming languages. Be prepared to discuss your previous research and how it aligns with the company's goals. Show them you’re not just a candidate, but a thought leader in the field.
✨Demonstrate Your Coding Skills
Since the role involves writing production code in Rust and Python, brush up on your coding skills. Be ready to showcase your past projects or even solve coding challenges during the interview. This is your chance to prove you can walk the talk!
✨Embrace Ambiguity
This position requires comfort with early-stage ambiguity. Prepare examples from your past where you thrived in uncertain situations. Highlight your ability to define your own roadmap and make evidence-based decisions.
✨Engage with Curiosity
Whether you're more versed in training dynamics or type systems, show genuine curiosity about the other area. Ask insightful questions that demonstrate your eagerness to learn and contribute to the team’s success.