Senior Math, Data Science & ML Ops Engineer

Jeff is an experienced professional with a strong background in mathematics, antenna design, formal verification (Lean, Isabelle), and algorithms and data consulting. He has been working in these fields since his teens. He is proficient in a wide range of technologies including Python, PyTorch, TensorFlow, R, SQL, Docker, and Git. He is currently seeking remote opportunities in math research, data science, or ML ops. He is willing to relocate after a year.