Math Research & Data Science Engineer

Jeff has designed antennas, worked with formal verification tools (Lean, Isabelle), and consulted as an algorithms and data consulting engineer (for antenna verification) since his teens. He is passionate about mathematics, as indicated by his friends' complaints about him starting conversations with 'let ε > 0'. Jeff is currently seeking remote math research, data science or ML ops opportunities.