OObsidian Systems is hiringRust Software Engineer
About Obsidian Systems
Obsidian Systems builds unusually high‑quality software by combining the best ideas from industry and academia. Since 2014, we’ve worked at the frontier of functional programming, distributed systems, cryptography, and AI—choosing rigorous tools and methods to solve genuinely hard problems.
We are a low‑ego, high‑standards team that values clarity, correctness, and continuous learning.
The Role
We’re hiring a Rust Software Engineer to work on an ARIA‑funded project focused on Safeguarded AI. This role sits at the intersection of mathematics, software engineering, and AI safety, translating theoretical ideas into robust, production‑quality systems. You’ll collaborate with researchers and engineers to design and build high‑assurance software where correctness and safety truly matter.
The project we’re initially hiring for will be implementing the frontend of a database system and query language based on geometric logic and dependent type theory. There will be an initial prototype written in Haskell, and once we have some confidence in the design, a high-performance implementation in Rust, integrating with an existing Rust distributed database backend.
What You’ll Do
- Design and build reliable systems in Rust, Haskell, and other functional languages
- Implement mathematically grounded or research‑driven ideas as real software
- Contribute to system architecture, APIs, and core abstractions
- Write clear, well‑tested, and well‑documented code
- Participate in thoughtful code reviews and technical discussions
- Work with a team of talented functional language software engineers, technical architect, and project management
What We’re Looking For
- Experience writing and optimizing Rust code
- Strong background in mathematics (especially categorical logic), computer science, or a related field
- Professional software engineering experience (typically 3+ years)
- Confidence at least reading Haskell code, even better if you can also write it
- A solid grasp of system design and architecture principles
- Experience collaborating on distributed, fully remote teams
- Strong written and verbal communication skills across time zones
- Comfort working with abstractions, types, and complex problem domains
- Ability to communicate clearly in a remote, distributed team
Nice to have:
- Knowledge pertaining to implementing databases (query analysis and optimization)
- Exposure to formal methods, verification, or static analysis
- Comfort working with Nix
- Experience working close to research or implementing theoretical work
- Open‑source contributions
Why Obsidian
- Work on meaningful, high‑impact AI safety research
- Deep technical challenges with real intellectual substance
- Strong learning culture and support for skill development
- Remote‑first, flexible work environment
- Competitive compensation based on experience and location
If you enjoy rigorous engineering, mathematical thinking, and turning complex ideas into dependable systems, we’d love to hear from you.
Apply for this job
Please let Obsidian Systems know you discovered this position on TRYremote so we can keep providing you with quality remote tech jobs.