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: [email protected]
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.
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.