Tech Job Alerts Logo
Jobs Companies Technologies Job titles
Blog
Log in →
Tech Job Alerts Tech Job Alerts Logo
Jobs Companies Technologies Titles
Log in

Create Custom Alert

Please login to create custom alerts.

Location
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

Showing page 1 of 1

© 2025 LVTD, LLC. All rights reserved.

Sitemap | Status | Privacy Policy | Terms of Service <- Google made me add those for the Social Login.