Senior Software Engineer
Nectry is building the governance layer for AI-generated code in regulated enterprises. Our core technology, NectryCore, is a purpose-built DSL and compiler that makes formal verification and policy enforcement structurally guaranteed, not bolted on. We're a small, ambitious team, and we're looking for an engineer who loves type systems, takes ownership, and wants to use AI tools to build things that actually have to be correct.
The role.
You'll work across our stack on language design, tooling, and product engineering. Most of our application code is written in Ur/Web, a statically-typed functional language for web programming. We don't expect you to know Ur/Web on day one, but we expect you to be the kind of engineer who picks up an unfamiliar functional language quickly.
This is a senior, high-autonomy role: you'll scope your own work, own systems end-to-end, and shape technical direction alongside our co-founders, including our Chief Scientist Adam Chlipala (MIT professor, creator of Fiat Cryptography and Ur/Web).
What you'll do
- Build product features and infrastructure, primarily in Ur/Web, with excursions into other languages as needed.
- Contribute to the design and implementation of NectryCore — our DSL, compiler, and verification tooling.
- Use AI coding tools heavily, and help us figure out how senior engineers should work with them on code that has to be correct.
- Work directly with customers, including federal and regulated-industry users, to turn real requirements into well-typed software.
- Make decisions. Push back. Improve how we build.
Why Nectry.
We believe the world deserves better code than it's getting. AI is generating more software than ever, and most of it is mediocre at best — shipped fast, reasoned about loosely, and quietly carrying risk into systems that can't afford it. At Nectry, correctness isn't a cost center or something you bolt on with tests and review. It's the whole point. The compiler isn't a hurdle; it's the product.
We care about the code we put into the world: not just that it ships, but that it's well-structured, well-typed, and worth reading. You'd work alongside people who've built compilers, proved cryptographic protocols correct, and care deeply about the craft.
Who we're looking for.
Required
- 5+ years of relevant software engineering experience.
- Genuine enthusiasm for functional programming, ideally with production or substantial project experience in Haskell, OCaml, or a similar typed FP language.
- Strong fundamentals in type systems, program semantics, and writing code that's easy to reason about.
- Eagerness to work with AI coding tools as a serious part of your daily workflow.
- Self-motivated and comfortable operating with minimal supervision in a small, distributed team.
- Excellent written communication — we're remote and async-friendly.
Nice to have
- Experience with Ur/Web, Rocq, Lean, Agda, Idris, or other dependently-typed systems.
- Compiler, PL, or formal-methods background.
- Experience shipping software in regulated environments (FedRAMP, IL4/IL5, HIPAA, SOC 2, etc.).
- Experience building developer tools, DSLs, or platforms.
- Background in security, identity, or authorization systems.
- Web design and frontend experience — an eye for clean UI and comfort building polished, usable interfaces.
Benefits.
- Fully remote international team, focused on North American time zones
- Quarterly team offsites for work, planning, and fun
- Flexible hours — the co-founders are committed to a healthy, balanced life
- Unlimited vacation (with a minimum vacation requirement 🙂)
- Medical, dental, and vision for employees, with family coverage
- Competitive salary and equity
- 401(k)
- No NFTs. No crypto.
How to apply.
Send a short note to hiring@nectry.com about what you've been working on, why functional programming matters to you, and anything you're proud of: code, papers, projects, weird side experiments. A traditional résumé is welcome but not required.
We value curiosity, creativity, and diverse perspectives, and we strongly encourage candidates from under-represented or non-traditional backgrounds to apply.
We read every application and aim to respond within two weeks.