formal methods Jobs - March 2020

Sort by

Search

Location

Has Compensation Summary

Has Contact Info

Remote

Onsite

Tech Stack

Title

Reset

Basis

Posted 5 years, 3 months ago

This is a project on commercializing an MIT research project, synthesizing probabilistic programming, databases, and spreadsheets.

Roles
Research Engineer

Tech Stack
machine learning elm MCMC Stan statistics compilers variational inference HMC deep learning formal methods probabilistic programming causal inference numerical simulation React Julia Bayesian deep learning databases C++

Locations

Remote
Synthetic Minds

Posted 5 years, 8 months ago

Synthetic Minds builds program synthesizers, i.e., automation that can write code. There is two decades of research that forms the backbone of this tech. The founder has a PhD in the domain, and the CTO is an ACM Fellow with 20+ years of work in Pro…

Roles
Engineer

Tech Stack
compilers SMT solving (Z3) formal methods programming languages

Locations

SF, Seattle