probabilistic programming Jobs

PlantingSpace

Posted 1 week, 3 days ago

PlantingSpace is building an AI system for analysts and scientists using symbolic composition of algorithms and probabilistic computations for verifiable reasoning and uncertainty assessment. Applications target domains such as Finance, Strategy Con…

Roles

Bayesian Software Engineer Program Synthesis Engineer Senior Product Manager

Tech Stack

probabilistic computing knowledge representation Bayesian methods AI probabilistic programming program synthesis symbolic algorithms statistical modeling

Locations

Remote (EU time zone), Quarterly meet-ups

PlantingSpace

Posted 1 month, 1 week ago

PlantingSpace is building an AI system for analysts and scientists using symbolic composition of algorithms and probabilistic computations (an alternative to LLM-only approaches) to provide verifiable reasoning and uncertainty estimates. They develo…

Roles

Bayesian Software Engineer Program Synthesis Engineer Senior Product Manager

Tech Stack

machine learning knowledge representation Bayesian methods AI probabilistic programming product management research program synthesis algorithms statistical modeling

Locations

Remote (EU time zone), Quarterly meet-ups

Unnamed AI research lab

Posted 1 year, 2 months ago

I am starting a research lab funded by a hedge fund that I created 5 years ago. The hedge is doing well, and applies ML to quant finance. The research and trading activities should reinforce each other over time: the research publishes research and …

Roles

ML research engineer

Tech Stack

reasoning transformer models world models probabilistic programming bayesian methods mechinterp learning-to-learn Deep learning

Locations

Zurich, Switzerland

Unnamed AI research lab

Posted 1 year, 2 months ago

I am starting a research lab funded by a hedge fund that I created 5 years ago. The hedge is doing well, and applies ML to quant finance. The research and trading activities should reinforce each other over time: the research publishes research and …

Roles

ML research engineer

Tech Stack

reasoning transformer models world models probabilistic programming bayesian methods mechinterp learning-to-learn Deep learning

Locations

Zurich, Switzerland

Neurosym labs

Posted 1 year, 6 months ago

I am considering starting an AI/ML research company in the field of neurosymbolic programming (which sits at the intersection of deep learning, program synthesis and probabilistic programming). The goal is to be 100% focused on producing research th…

Tech Stack

ML self-play common sense reasoning world models causality deep learning AI bayesian inference probabilistic programming program synthesis program induction

Locations

Zurich, NY, Boston, SF, Bay area

Research & prop trading firm

Posted 3 years, 4 months ago

We apply ML to algotrading. We plan to use the proceeds to fund a fundamental AI research lab. Our primary goal is making progress toward AGI. Over the last two years, we turned 5 digits into 9 digits, trading a volume of around 1-4B per day. We ope…

Roles

Data Engineer Engineer

Tech Stack

machine learning market microstructure data augmentation ftx ssh high frequency trading market making arbitrage Postgres self-play liquidity pool okex prop trading GANs funding arbitrage causality deep learning Python generative models ethereum automated market maker uniswap-v3 cryptocurrency transformers probabilistic programming Typescript bitcoin liquidity provision inference modelling hedge fund binance numpy pytorch learning-to-learn algotrading numba limit orderbook yield farming bayesian-inference backtest pandas AWS simulation parquet Rust pycharms

Locations

Switzerland, EU