BedRock Systems
Jasper H. is a Senior Formal Methods Engineer at Skylabs AI since August 2024, previously serving as a Formal Methods Engineer at BlueRock.io from June 2020 to August 2024. Earlier experience includes a Software Engineering Internship at Celect, Inc. in May 2019 and a Student Technical Support Representative role at MIT Information Systems & Technology from September 2016 to April 2019, providing technical assistance and training to new hires. Jasper also interned as a Software Engineer at Akamai Technologies in the summer of 2018 and conducted research as an Undergraduate Researcher at MIT CSAIL from January to September 2017, focusing on Multi-Language Program Transformations. Additional internship experience includes software development at Vista Higher Learning in 2016. Jasper holds a degree from the Massachusetts Institute of Technology, attended from 2016 to 2020, and graduated from Malden High School in 2016.
This person is not in any offices