FundamentSoftware
/ FUNDAMENT / CAREERS

Who We Are

Fundament Software is an early-stage startup on a mission to harness the untapped potential of mathematically sound metaprogramming for cleaner, more powerful, and easier to use tools to build the software of the future. We are just beginning the first steps of our journey, starting with the old adage “Be the change you wish to see in the world”.

The future we want is diverse and dedicated to empowering members of the LGBTQ2SA+ spectrum, the autistic spectrum, those with ADHD, furries, and nerds of all passions. We will find unity not through conformity, but through respect for each other. We will come together in our shared goal of building a better future for all of us, where we can make our dreams a reality.

We are currently building Feather, a meta-library for unifying 2D, 3D, and AR/VR user interfaces into a single type-safe visualizer for all platforms. Our modular approach allows building adaptable UIs with multi-device support that work intuitively on every platform.

We are also prototyping Alicorn, a multi-paradigm general-purpose programming language which expands on the capabilities of Rust and Idris by incorporating recent mathematical results in algebraic subtyping, GADTs and symmetric interaction combinators. While some of these have been tested in experimental research languages, they have not been integrated into a production language capable of utilizing their full potential... until now.

While our hiring ability is limited by our available funds, we are always excited to meet anyone who shares our passion of building better software for the future. If we are unable to hire you immediately, many of our projects are open-source. Consider making a pull request on GitHub - if we like your work, we'll let you know if we have a position you might be interested in!

Infrastructure Lead

Remote · Full-time

We are seeking a motivated, self-directed infrastructure lead who can be decisive when making technical decisions. You will be building our long-term infrastructure, so you will need to either troubleshoot what isn’t working or build what we don’t have. Many of the tools we need don’t exist, and that will be your job. Our work is asynchronous, with only ad-hoc meetings and a single daily check-in.

  • You will troubleshoot, fix, and extend emacs language support for Terra and our prototype Alicorn language, especially when using doom emacs.
  • You will build and maintain an automated backup solution using Nix
  • You will maintain our nix-based company infrastructure servers and make decisions about what cloud providers or hardware we use.
  • Using Nix Flakes, you will build a secure, portable, embeddable nix work profile that is compatible with hardware security keys on any nix machine.
  • You must be capable of self-directed work with minimal supervision - you’ll have to break down your project assignment into steps yourself.
Click for Details

Software Engineer

Remote · Full-time or Part-time

We are seeking a self-directed software engineer to help build the future of user interfaces, and to develop tooling around them. Our work is asynchronous, with only ad-hoc meetings and a single daily check-in. We are still building our long-term infrastructure, so you will need to either troubleshoot what isn’t working or build what we don’t have.

  • You will be one of the primary developers for feather’s core library and language specific glue code.
  • You will build out the standard control library and shape the core template API
  • You will help develop the built-in feather debugger and associated tooling.
  • You will help build the feather layout editor and bootstrap its ability to edit it’s own layout.
  • You must be capable of self-directed work with minimal supervision - you’ll have to break down your project assignment into steps yourself.
  • You must demonstrate proactive communication skills, so everyone can be on the same page.
  • You must be capable of self-directed learning, as we work with cutting-edge technologies with limited documentation that are sometimes unstable.
Click for Details

Compiler Engineer

Remote · Full-time or Part-time

We are seeking a motivated, team-oriented compiler engineer with a strong mathematical background. You will help build the theoretical foundation for our initial Alicorn prototype, and help design subsequent self-hosting stages of the compiler chain. Our toolchain will be limited until you help expand it. Our work is asynchronous, with only ad-hoc meetings and a single daily check-in.

  • You will implement advanced type inference algorithms in a prototype Alicorn compiler.
  • You will help build the lexer, AST, and hook up code generation to Terra (or directly to LLVM).
  • You will contribute to the core library type definitions and the standard library utility functions.
  • You will help design the build system and compiler toolchain that supports the language.
  • You must be capable of self-directed work with minimal supervision - you’ll have to break down your project assignment into steps yourself.
Click for Details