Lantern | https://withlantern.com | Software Engineers (Python, Full-Stack) | Full time in New York, NY (ONSITE)

Lantern is building AI-powered revenue intelligence—think autonomous agents that turn cold outreach into warm conversations. Our platform automatically detects buying signals across your tech stack [1], prioritizes opportunities, and helps B2B sales teams focus on deals that actually close. We're an agentic-first startup building with Python, BAML, FastAPI, Next.js, and React, backed by a modern data stack (Postgres, ElasticSearch, ClickHouse, DuckDB). We deploy on Kubernetes/AWS and use Temporal.io for workflow orchestration. We're hiring software engineers who want to work on cutting-edge AI and agentic systems. You'll translate complex customer needs into scalable architecture, optimize AI model efficiency through prompt engineering, and ship features that directly impact how revenue teams operate. We value ownership, bold ideas, and people who want to push boundaries.

This role is based in our Manhattan office (4 days/week in-person). We offer full health and dental coverage. Apply here: https://forms.gle/kEi5MDDiaJKdyN3fA I'm Maksym. If you're excited about agentic AI and reshaping B2B sales, shoot me a note at maksym (at) withlantern.com.

ParadeDB | https://paradedb.com | SF Onsite + Remote | Full-Time | Rust Database Engineers

ParadeDB is an alternative to Elasticsearch built on Postgres. We're building a Postgres extension in Rust that offers a new index type optimized for full-text search and aggregate/analytics workloads. We solve three problems with Elasticsearch today:

- Lack of read-after-writes guarantees

- Lack of JOINs

- Infrastructure complexity & cost due to syncing Postgres and Elastic.

We're open-source, and our repository is available at https://github.com/paradedb/paradedb. We're a Series A team of 8 distributed across the US and Canada. Most folks on our team have 10+ years of experience in database internals at companies like Twitter, MongoDB, Oracle, Instacart, etc.

You can find our roles and the profiles of our team members here: https://paradedb.notion.site

If you know Rust and/or have experience working on DB internals and want to work on cool systems problems, shoot us a note. We hire with conviction, have lots of room to grow, and exciting technical problems to solve. My email is phil@paradedb.com.

Formal | Multiple Positions | REMOTE | Full-Time | $100k - $250k + Equity

We’re [0] rethinking serverless from scratch, building a new computing stack for instant, globally available, truly elastic, soundly isolated execution. We leverage formal methods and languages to build OS interfaces with low overhead, formally verified isolation without containers or VMs. Our immediate goal is a new programming language to replace eBPF and build the world's first serverless networking infrastructure.

We are a 5-person, VC-funded team with PhDs from Stanford, UW, OSU, and Brown, advised by professors from MIT and UWaterloo. We are currently hiring for the following four positions:

- [1] Staff Software Engineer: Compilers, Programming Languages, and Verification ($175k - $250k + ≥ 0.4%)

- [2] Formal Verification Engineer: Formal Methods and Programming Languages ($120k - $200k + ≥ 0.2%)

- [3] Software Engineer: Compilers and Programming Languages ($100k - $175k + ≥ 0.1%)

- [4] Formal Methods PhD Intern: Formal Methods and Programming Languages ($10k / month)

Please see [5] for general information. Apply via our job board [6].

[0]: https://formalstack.com [1]: https://formalstack.com/jobs/12-2025/staff-software-engineer... [2]: https://formalstack.com/jobs/12-2025/formal-verification-eng... [3]: https://formalstack.com/jobs/12-2025/software-engineer-v.pdf [4]: https://formalstack.com/jobs/12-2025/formal-methods-phd-inte... [5]: https://formalstack.com/jobs/info.pdf [6]: https://jobs.gem.com/formal