
  Location: United States (Mobile)
  Remote: Sure.
  Willing to relocate: Within United States
  Technologies: Python, Z3, Haskell, C, Go, Spark, SQL, Category Theory, Parallel Systems, History
  Résumé/CV: https://docs.google.com/document/d/1JQjMQPzHWCePph3rysTn0kMeZYoQpCQPvSWBDQ0GRY0/edit?usp=sharing
  Email: REDACTED_EMAIL

Recently graduated computer science major and math major with experience in formal methods research (including paper submission) and experience in an industrial research lab. Also have industrial experience in hardware (sensors for combusting hay bales), (lightweight) full stack (displaying data from live sensors on bridge), and data analysis using Spark on a large manufacturing companies metadata.