I am looking for a postdoctoral fellow interested in the intersection of programming languages and artificial intelligence, in particular verification and large language models. Our main goal is to create a PL+AI system that is the best at verified …

Layer Health, founded in 2023 by machine learning researchers from MIT and Harvard Medical School, is building an AI layer to synthesize information from medical records to accelerate clinical registry abstraction and improve patient care. Headcount…

Currently the Head of Data Engineering, Data Science, AI & Big Data Analytics at a Series A start-up. I have over 16 years of hands-on experience in the field and have been responsible for building a data platform and all data products from scratch.…