The future of software is verified

“Solving formal math is a highly interdisciplinary goal, and it’s given me the chance to work with world-expert mathematicians, AI researchers, programming language designers, and software engineers. Nowhere else I’ve worked comes close to the level of intellectual diversity and curiosity at Harmonic.”

“There are no problems I’d rather be working on than those we are working on at Harmonic, and no people I’d rather be working on them with.”

“Aristotle is a ridiculously cool thing to be working on. Plus there’s a culture of rooting for each other which I think brings out the best in people.”

“It’s hard to imagine the future of software engineering without something like Aristotle. Bringing that vision to life alongside brilliant, driven, and genuinely fun engineers and researchers is an incredible opportunity!”