JB
Joachim Breitner
Principal Research Software Engineer at Lean Fro
View Joachim's Contact Info for Free. Sign Up and Get 50 Free Contacts Per Month.Get Started for Free
Work Experience
Principal Research Software Engineer
Nov 2023 - Present · 1 years and 1 months
Senior Language Programmer
Apr 2022 - Sep 2022 · 5 months
Staff Researcher & Engineer
Aug 2018 - Jun 2021 · 2 years and 10 months
Company Details
11-50 Employees
Lean FRO is a nonprofit dedicated to advancing the Formal Mathematics revolution. The FRO’s purpose is to tackle the challenges of scalability, usability, and proof automation in the Lean proof assistant. Our 5-year mission is to empower Lean towards self-sustainability.
Website
Year Founded
2023
Social Media
Linkedin
Industry
Software Development
HQ Location
Redmond, WA 98052, US
Keywords
--
Contact Details
- Email AddressJ**@lean-fro.orgReveal Email
- Phone Number(xxx)xxx-xxxxReveal Phone
Find verified contacts of Joachim Breitner in seconds from 700M people profiles. Start now!
Continue with GoogleNo Credit Card Needed. By signing up, you understand and agree to Futern's Terms and Policy.