VMware Research Group
We bring development to the VeRGe of research, and research to the VeRGe of production.
A cloud scale consistency platform
We seek researchers working in machine learning, systems, and related areas, but we'll also consider strong candidates in all areas.
“Linear Types for Large-Scale Systems Verification" received an ACM SIGPLAN Distinguished Paper Award.
...for his dissertation "Verifying a concurrent, crash-safe file system with sequential reasoning."