FlowCV Logo
Ari ZernerSoftware Engineer
Skills
Clojure

Ring, Malli

Python
Haskell
Java
OCaml
Javascript

Node.js

SQL
Git
DevOps

AWS, Docker, Kubernetes, Kafka

Bash
Test-driven development

Property-based testing

Computer science theory

Computability, complexity, Hoare logic, type theory

Parsing

Generators, combinators

Formal verification

Coq

Languages
English
Spanish (Latin America)
Profile

"I worked as a tech lead with Ari on my team. He considers the problem he's solving as a whole when coming up with solutions, asking good questions. He doesn't have an ego; he's willing to talk through the tradeoffs of different ideas to settle on one, even if it isn't always what he proposed. Ari is pragmatic about his contributions, balancing maintainability with delivering value to the business. In addition, Ari is passionate about his craft; he cares deeply about learning and improving. Finally, Ari's a nice guy, and I greatly enjoyed working with him!" –Christopher O'Donnell, tech lead at OneStudyTeam

Professional Experience
Sabbatical
2023
  • Personal coding projects, world travel, Spanish lessons, cooking
  • OneStudyTeam, Software Engineer
    October 2021 – December 2022
  • Developed REST APIs and SSO authentication in a mature Clojure codebase with Ring
  • Collaborated to design and implement an event framework foundational to a company-wide transition from monolithic to microservice architecture, built with Kafka and Malli
  • Conexus, Software Engineer
    August 2019 – September 2021
  • Led a two-person team to translate code from OCaml to Java
  • Maintained and extended a Java codebase
  • Enhanced parsing and validation features of a SQL checker
  • Charles River Development, Software Engineering Intern
    May 2018 – August 2018
  • Developed a parser for technical documents
  • Delivered an educational presentation on Clojure
  • M.Gemi, Software Engineering Intern
    June 2017 – December 2017
  • Backend server development
  • Key skills: microservices, test automation, Node.js, Mocha/Chai
  • M.Gemi, Software Engineering Intern
    June 2016 – August 2016
    Convergence, Software Engineering Intern
    June 2015 – August 2015
  • Automated a manual data aggregation task, increasing efficiency by over 900%
  • Trained two temp workers to handle automation-resistant cases
  • Convergence, Software Engineering Intern
    June 2014 – August 2014
    Education
    M.S. Computer Science, Rochester Institute of Technology
    January 2019 – May 2019
    B.S. Computer Science, B.S. Economics, Rochester Institute of Technology
    August 2015 – May 2019