zlacker

[parent] [thread] 1 comments
1. Planti+(OP)[view] [source] 2022-08-01 18:14:54
PlantingSpace | REMOTE (Europe time) | Full-time | https://planting.space

We are an early-stage research and development startup, with an ambitious goal to build a system capable of understanding knowledge, to answer questions and get things done.

Our work leverages cutting-edge domains such as Probabilistic Programming and Applied Category Theory. Initially we’re focussed on building a system that can receive queries in natural or domain specific language, provide good answers and an insight into its reasoning.

Skill areas we’re looking for:

- Software engineering (Julia): to build our core system

- Research across areas: to develop our theoretical framework

Useful experience: algorithms, Bayesian statistics, symbolic computing, optimization, category theory, information theory.

If you want to learn more about our company, get some insights into what it’s like to work in our team and participate in our retreats, check our out Join Us page: https://planting.space/joinus

To see a full list of openings, and to apply, follow this link: https://jobs.lever.co/planting.space

replies(1): >>nonsap+R6
2. nonsap+R6[view] [source] 2022-08-01 18:47:48
>>Planti+(OP)
"Extract a data-flow representation from a program based on its (unstructured) control-flow graph optionally using the data-centric RVSDG intermediate representation. The program can be assumed to have no side effects (purity), such that it only contributes to the production of final values. This work will however be used for further introspection of programs, and not for executing optimizing compiler passes"
[go to top]