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
BedRock Systems
BedRock Systems is on a mission to deliver a trusted computing base from edge to cloud, where safety and security isn’t just a perception, it’s a formally proven reality.