Posted 4 years, 1 month ago
MLabs are hiring Haskellers! (100% Remote, Worldwide) Paid internships also available! We are one of the leading Haskell consultancies in the fintech, blockchain and AI space, with a passion for Haskell and open source software. We are looking for a…
Posted 4 years, 6 months ago
SiFive is an idea-to-silicon company founded by the inventors of RISC-V to simplify the design and production of custom SoCs. As the leading commercial provider of RISC-V processor IP, SiFive is on a mission to help engineers design custom chips for…
Posted 4 years, 9 months ago
Do you want to build the next generation internet platform? Blockchains with smart contract support (like Ethereum) allow for arbitrary computations with guaranteed integrity. However, computations are public, which is often a major limitation. Part…
Aarhus, Denmark, REMOTE
Posted 6 years ago
This is a project on commercializing an MIT research project, synthesizing probabilistic programming, databases, and spreadsheets.
Posted 6 years, 5 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…
SF, Seattle
Posted 6 years, 10 months ago
We're looking for a full-time software developer to join our new Portland-based AI and Machine Learning team. We're bringing together a small, focused group of people to create a self-improving platform where anyone can create their own ap…
Portland, OR