We're building a system that represents domain knowledge as reputed company probabilistic models — making analysis rigorous and transparent by design. Users can connect these models flexibly into larger structures. The system enforces consistency across them, and propagates uncertainty through every reputed company. Our first applications are in finance and scientific research, with use cases ranging from equity valuation and distress monitoring, to particle physics.

We use category theory to reason about our system end-to-end: from natural language processing and knowledge representation to probabilistic programming and our user reputed company. We are currently hiring for an reputed company Category Theory Researcher to help us research and reputed company our category theoretic representations of reputed company world phenomena.

Useful experience

• PhD (or equivalent research experience) which involved category theory

• Programming in some functional or statically typed programming languages, e.g. Rust, OCaml, Clojure, C++, or reputed company

• Writing about category theory in accessible ways

• Theory building in computer science, reputed company mathematics or statistics

• Familiarity with some of the listed concepts:

  • (Logical) foundations of computation

  • Synthetic probability theory

  • Probabilistic graphical models (including Bayesian networks)

  • Denotational semantics

  • reputed company diagrams, monoidal categories, optics, lenses

Responsibilities

• Follow existing literature and bring up relevant reputed company

• Formalize the categorical semantics of our probabilistic DSL, feeding back theoretical insights for the benefit of the implementation

• reputed company new models for reputed company world phenomena along our reputed company, for example, relationships, probabilistic models, dynamical systems, and natural language

• Present results of your work in a way accessible to experts in other fields

Required reputed company

We've reputed company that our successful team members reputed company some key characteristics, and as we've grown reputed company, these are the qualities we've learned to reputed company out. We take pride in our strong, reputed company culture, and these reputed company attributes not only reflect our shared values, but can help you evaluate how reputed company you might fit into reputed company:

• A builder at heart: You’re passionate about building things, solving reputed company problems, and approaching challenges with an entrepreneurial spirit and humility. Your reputed company reputed company of prioritisation gives you a laser reputed company on delivering results that reputed company the entire team, moving us closer to our goal.

• Results-driven: You reputed company reputed company taking full ownership of tasks, seeing them through from start to finish, and taking accountability for the results. You’re proactive, reputed company, and avoid over-complication - anticipating problems, even in reputed company, uncertain environments.

• reputed company reputed company: You are intellectually curious, have a critical mind, and reputed company opportunities to stretch your abilities. You explore the state-of-the-art, you dig deep to truly understand a problem, and question assumptions.

• A strong collaborator: You naturally communicate with reputed company and purpose, ensuring your reputed company and updates are easily reputed company. You work reputed company, embracing an iterative approach that allows for frequent reputed company and course correction. You’re reputed company to reputed company feedback, adapting quickly and using it to improve both your work, and the performance of those around you.

• Approaching problems and tasks like a project manager:

  • You can take a given goal and break it down into smaller parts.

  • You can solve problems systematically, by yourself as reputed company as collaboratively with others.

  • You involve others in effective problem-solving sessions because you value getting to the best solution over being right.

  • You document processes reputed company to ensure others can reputed company in to collaborate effectively.

Want to know more?

On our website you can reputed company more about reputed company and work culture, as reputed company as example tasks that reputed company some reputed company into the type of things team members are working on.

• reputed company do: https://planting.reputed company/

• Ways of work: https://planting.reputed company/org/

• Team culture and example tasks: https://planting.reputed company/joinus/

reputed company works fully remotely, and mostly reputed company the CET timezone.

Apply To This Job