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

Shape the Future of Construction Through Software!| Hiring Fully remote in the US, Fulltime

Fieldwire is a construction field management software building world-class tech to disrupt the $10 trillion construction industry! With 2M projects worldwide, we have partnered with over 5000+ clients in 100+ countries and 14 languages. We got acquired by Hilti in November of 2021! If you are looking to disrupt and modernize an industry that has been neglected by tech for years, feel free to apply!

iOS Engineer (US - Remote) - 3+ yrs of experience, BS or MS in CS or equivalent experience. Apply here: https://grnh.se/50hoz2kg2us

Android Engineer (US - Remote) - 0.5+ yrs of experience, BS or MS inc CS or Equivalent experience. Apply here: https://grnh.se/3452vy6n2us

Check out our other roles here: https://www.fieldwire.com/jobs/

www.Fieldwire.com https://engineering.fieldwire.com/

Fusionbox | Python + TypeScript Engineers | United States| Full-time | REMOTE (Legal to work in the US) We're a software engineering consultancy that builds enterprise software the right way. We negotiate the right to open source all our client code, maintain a handful of popular libraries, and our engineers contribute to Django core. We sponsor PyCon, DjangoCon, and Django Girls because we're invested in the ecosystem we build on.

We're looking for software engineers who value software design, system architecture, and collaboration. You should be comfortable with about half of these areas and eager to learn the rest: web application security, relational database design (PostgreSQL, beyond "SELECT *..."), Django internals, React, and distributed systems. What you'll actually work on: complex state machines for financial workflows, multi-tenant architectures with row-level security, custom database functions when the ORM isn't enough, and React frontends that handle real-time data without being a mess of useEffect hooks.

We're a small team where you'll own features end-to-end (database design to React components) and have opportunities to shape technical decisions. You'll get paid to write source code with a team that practices empathy and values work-life balance. If you've ever wished your job involved more elegant state machines and fewer marketing landing pages, let's talk: info@fusionbox.com.

Oboe (https://oboe.fyi) | Mid to Senior Engineer, Full stack | HYBRID - NYC | https://jobs.ashbyhq.com/oboe/e795dbd6-6cf2-4177-a363-d298d2... | $170K–$230K + equity

Oboe's goal is simple: teach one billion people one trillion things. We'll do that by building the world's first completely generalized AI-powered learning platform. Today, so much of our focus is spent on making machines smarter. At Oboe, we believe it’s time for machines to make humans smarter.

We’re a small but mighty team made up of builders who love learning, being challenged, and changing the world. If that kind of job appeals to you, we should talk.

We’re looking for a Full-Stack Engineer to work across Oboe’s technology stack, from our backend pipelines that leverage AI to generate world-class content, all the way to the interfaces that our users use to engage with that content on the web.

We’re a team of generalists, so this job will have you learning every part of the systems and features that bring Oboe to life. This is a highly hands-on role where you’ll have tremendous impact, ship real features to real users, iterate quickly, and learn a ton.

Hybrid (3 days/week in office in NYC). Great benefits and unlimited PTO.

Apply via the link above.

Archera | Mid + Senior level Engineers (Backend) | REMOTE (US/Canada) or Hybrid (Seattle) | Full-time

Archera empowers organizations of all sizes to optimize their cloud costs through unique, short-term, insured GRI (Guaranteed Reserved Instance) and GSP (Guaranteed Savings Plan) commitments.

We’re looking for a Mid and a Senior Software Engineer to join the platform team, working on ETL pipelines, APIs, product features and more.

Stack: Python (SQLAlchemy, Flask), TypeScript (React), PostgreSQL, Snowflake, Argo Workflows, k8s, AWS/GCP/Azure

Benefits: RRSP/401k match, healthcare, stock, wework/home office expenses.

Apply: https://job-boards.greenhouse.io/archera/jobs/4788177008 and email me at simon+hn <at> archera <dot> ai. - there's only one listing at the moment, so if you're a mid-level engineer apply via the listing with a note.

pleasefix.ai | AI Engineers & Backend Engineers | Belgium, Brussels | Full-Time

pleasefix.ai builds Cursor for finance. We’re actively hiring AI Engineers (LLM agents) and Backend Engineers (Cloud, Docker/K8s, Python, Observability, CI/CD) to help us ship production-grade automation fast.

Apply → DM: www.linkedin.com/in/severine-nolf

Finch | Staff Software Engineer, Backend | HYBRID - SF or NYC | https://jobs.lever.co/finch/62ac428a-80ef-4469-9e06-0b87ed4f... | $200K+ base + equity

Finch (tryfinch.com) is building unified API infrastructure for employment systems—think Plaid, but for payroll and HR data. We connect 401k providers, insurance companies, and other fintech apps to 200+ payroll providers through a single integration. Series B backed by General Catalyst, Menlo, YC, and angels including founders from Plaid, Brex, Mercury, and Ramp.

We're looking for a Staff Backend Engineer (10+ years) to lead large cross-team initiatives, design systems for high-volume data processing across complex employment integrations, and help set architectural direction. You'll work with NodeJS, TypeScript, PostgreSQL, Redis, and AWS. We deploy daily, practice TDD, and care deeply about building reliable, scalable APIs. Strong systems design skills and comfort with ambiguity are key—you'll be defining problems as much as solving them.

Hybrid (2+ days/week in SF or NYC). Equity includes a 10-year exercise window. Full benefits, unlimited PTO with 3-week minimum.

Happy to answer questions here, or apply via the link above.

Flax Health | Salt Lake City, UT (Remote-Friendly with Annual Travel) | Full-Time | Senior/Staff Full-Stack Engineer | flax.ai

Flax Health is building the operating system for post-acute care. Our AI platform automates clinical workflows to dramatically boost efficiency and improve patient outcomes. We’re backed by top VCs (Sorenson Capital, Pear VC) and growing quickly. Looking for driven, high-agency engineers who can make an impact on our product from day 1.

We're looking for: - Proven success in the fast-paced 0 to 1 stage of young startups (founding/pre-seed experience a plus)

- 5+ years of experience building web-based products (B2B SaaS ideal), with strong full-stack skills in TypeScript, Node.js, and DB design

- Strong hands-on-keys coding chops + experience building end-to-end systems

- Bias for shipping, learning, and iterating quickly

- User focus: you care about building things that solve real problems

- Experience with healthcare data (not required but highly valued)

Comp: $120k-$200k base + equity; health insurance; 401(k); paid parental leave; learning/development budget.

Apply: https://jobs.ashbyhq.com/pear/c18b5aa6-de9e-4b1a-957d-9208be...

Electric.ai | Senior Frontend Engineer | Remote (South&Latin America) | Full-time | $60,000 - $85,000

We're a company based in the US focusing on helping small and medium businesses be on top of their IT with the help of software and automation, even if they have limited IT & security knowledge.

We're looking for a senior frontend engineer, we're react shop with a standard stack. We're a mix of US and South America based engineers on the team.

email: cmVtaS5jYXJ0b25AZWxlY3RyaWMuYWk=

Mulligan Post, Inc - On-Site near Millbrae BART/CalTrain Station in Burlingame - $60-120/hour Contract - Mechanical Design Engineer / Mechatronics / Industrial Automation.

Software hacker seeking hardware hacker to make custom robots for Magic: The Gathering automated storage and retrieval system to power an online e-commerce store (think CardKingdom competitor or eventual TCGPlayer competitor.) In terms of scale, the eventual target is >100k different _skus_, million items in inventory, tens of thousands picks per day. The industry is large; eBay bought TCGPlayer for $300M about 3 years ago.

I am looking for a mechanical/electrical/hardware generalist to complement my software expertise. Someone who knows how to integrate off the shelf parts into custom automation to solve problems. If fast iterations, direct connection with the project in use, autonomy and minimal bullshit overhead appeals to you then this could be a great fit. You are: someone who makes stuff and solves problems, is a clear communicator and fast study. You know how to challenge a requirement, source an off-the-shelf-part or design custom manufacturable part and when to do each. I don't really care where or when or what your degree is in if you have demonstrated driving things to completion and we vibe well enough.

We will use OnShape (license/seat will be provided) for collaboration and document management reasons. Much of what we need to build is integrating FUYU linear rails, Clearpath motors, pneumatics with some custom Send Cut Send / Xometry parts, 8020 frames, etc.

Pros: Small team / minimal overhead and wide scope. Clear guidance on what to build. Flexible-ish schedule (core hours 9-5 in office, flexibility for school breaks, etc.) Real problem with established market.

While I'm primarily looking for a contractor for now, I am open to the possibility of bringing the right person on full-time with equity if they are interested and invested in the space, but that is not a requirement and it probably makes sense to establish that after working together for a bit.

No recruiters or third parties, not able to sponsor at this time. Compensation dependent on experience.

Hiring process: resume/project review, vc chat < 1 hour, then paid 1-day work trial where we see if we fit.

If you're interested, send me an email - hiring@mulliganpost.com

Graphite | Mid-level & Senior Software Engineers| New York, NY in our Soho Headquarters | https://graphite.com

We’re building Graphite to help high-performing engineering teams run faster, cleaner code reviews. Our product is already used by some of the world’s best developers, and we’re just getting started! We're hiring experienced engineers across the stack, are are looking for people who:

-Care deeply about code quality, system design, and scaling software responsibly

-Have a strong product sense and enjoy collaborating closely with design & product teams

-Have experience with AI-driven workflows, prompt engineering, or interest in developer tooling is a plus

-Are product-driven and quality-obsessed; we ship thoughtfully and often

Earlier this year, we've raised a $52m Series B by Accel, A16z, & others, and have big goals this year.

The hiring process: quick intro call, 2 technical interviews, & an onsite interview, followed by offer!

We've recently tripled our headcount here in NY & do not plan on slowing down anytime soon! If you are someone who wants to work on meaningful problems, values clean code and thoughtful systems, & loves building tools for other engineers, we'd love to chat with you!

You can apply directly on our careers page(https://graphite.dev/careers#positions) or email sam@graphite.dev with the subject title: "Thank you for stacking with us) with a copy of your CV.

Recruiters: appreciate your hustle, but we’re only hiring through direct applications.

BuildBetter | Senior Engineer (Backend, Full-stack) | Full-Time | Remote (US) | 170-200k base + equity | Visa Sponsorship not provided

BuildBetter is the product operations platform for customer-led teams. We've built an AI-first product that lets our customers, like Rappi, n8n, and Posthog, automate the operations work that lets them provide their customers with world-class product experiences.

We're looking for two senior engineers to join the team; our headcount has remained small while growing revenue, and we're now bottlenecked by development speed in a way that will make you invaluable. You'll have real ownership over your code from product ideation to customer support, and we'll be making substantive product updates weekly. We're looking for team players who are as fun to work with as they are productive, and are willing to compensate these two rolls commensurately - our aim is to be in the 95th percentile of equity compensation, and we expect that in exchange we'll have value-aligned employees who will help us grow the business.

Joining us will mean solving hard problems at the frontier of AI adoption, including:

- maintaining performance at scale

- building and maintaining rich frontend user experiences that maintain the standards of usability and delight that our customers know us for.

- building agent and workflow systems that automate real work for customers

- playing around with the latest models to figure out new experiences that we can offer our customers as cutting-edge models get released monthly

- building automation that's grounded in supporting product teams rather than automating them - our bet is that this is the likelier outcome out of the current generation of AI systems

Stack: Postgres / TS (Nest + React) / Hasura / EKS / S3 / LLM APIs / Python

Benefits:

- unlimited PTO

- $100/mo education stipend

- flexible hours: we measure productivity in terms of outcomes, not time, so as long as you're able to stay aligned, productive, and in regular communication, we don't really care what hours you work

- health insurance

Please reach out to: nikhil (at) buildbetter (dot) app

Thrive Career Wellness Inc | LLMOps Engineer | Hybrid - Toronto (Canada) | $140-160k [https://thrivemycareer.com/]

We’re looking for someone who is (or can quickly become) strong in end-to-end LLMOps: building and optimizing LLM pipelines, managing inference performance, improving reliability, and supporting production AI features. You’ll work closely with our Staff Engineer and Data Engineer on a small, highly technical team.

We don’t have hard requirements around degrees or specific model frameworks - but you do need hands-on experience with LLMs, vector databases, embeddings, prompt optimization, and deploying/maintaining ML systems in production. Part of the process includes a practical take-home assignment (real-world, not leetcode), followed by technical conversations with engineering leadership.

We’re looking for someone who can think in systems, make good architectural decisions, and operate with a high level of ownership. Thrive is not a place where work is micromanaged - you’ll thrive here (pun intended) if you’re proactive, self-directed, and comfortable moving quickly without rigid structure. Happy to answer any questions here!

If you’d like to apply, please email bianca@thrivemycareer.com with your resume or apply on our company website

Konvu | https://konvu.com/ | Software Engineer | FULLTIME | ONSITE | Paris, France

At Konvu, our mission is to make security invisible. As AI transforms how code is generated, tested, and deployed, application must evolve too. Vulnerabilities should be automatically detected, prioritized, and remediated—without burdening engineers.

Behind Konvu are founders with deep roots in the security industry. As part of the founding team at Sqreen YC W18 (acquired by Datadog), we have firsthand experience in driving security solutions from concept to global impact.

We’re looking for:

* Application Security Engineer (Entry-level / Intermediate) https://jobs.ashbyhq.com/konvu/d46947df-8172-4b4d-b1d8-e3b6b...

* Software Engineer - AI Agent (Expert) https://jobs.ashbyhq.com/konvu/b40839d0-768b-4e80-a066-3d7cc...

* Software Engineer (Intermediate) https://jobs.ashbyhq.com/konvu/be7be978-08be-4672-a9e5-a559e...

* Head of AI https://jobs.ashbyhq.com/konvu/403ecd3d-7845-47d7-b24c-1fe18...

* Founding Account Executive (Enterprise) https://jobs.ashbyhq.com/konvu/dbac9d61-ab2d-4506-9315-28323...

Read more about how we're building Konvu the YC-way: https://konvu.com/blog/yc-culture

RhythmScience | https://www.rhythm360.io | Multiple Roles | REMOTE (US-Based Preferred) | Full-time

RhythmScience is a cardiac data management company turning complex healthcare data into actionable insights for providers and patients. We're a remote-first team building software that directly impacts cardiac patient care.

If you enjoy building reliable software alongside experienced and respectful colleagues, we'd love to hear from you!

Data Engineer - Build and maintain ETL pipelines, data models, and analytics infrastructure. 3+ years experience with Python, dbt, BigQuery, and orchestration tools (Airflow/Dagster).

Software Engineer - Ship features across backend and frontend, automate clinical workflows. 3+ years with Python/Django, Vue, PostgreSQL, CI/CD, and observability tools.

Senior Software Engineer - Scale K8s infrastructure, build test automation, partner directly with other technical teams. 5+ years, expert Python/Django, K8s, AWS. Healthcare/HIPAA experience preferred.

Email your resume and a few words that best describe your career trajectory hn@rhythmscienceinc.com

TryHackMe| Growth Engineer | Remote - UK/EU |https://careers.tryhackme.com/jobs/6527370-growth-engineer | €60-100k

TryHackMe is the fastest-growing online cyber security training platform. Our mission is to make learning and teaching cyber security easier by providing gamified security exercises and challenges. Having only been around for handful of years, we've grown to more than 6 million community members and our growth isn't slowing down! We’re looking for a Growth Software Engineer to join our cross-functional Growth teams. You’ll blend full-stack engineering with experimentation - shipping code that directly moves acquisition, activation, and retention metrics.

Our interview process is 3 rounds -and very fast. Please apply or email me for more details neha.pandit@tryhackme.com

Remake.ai | Founding Software Engr (or Cofounder) | Full-time | Remote (worldwide)

Apps for robots - home vacuums, quadrupeds, drones, humanoids, etc. Think Apple remaking ordinary phones into smartphones with apps & app store - only for robots.

Status: $1M pre-seed, prototype MVP works, pre-traction, ~16K ARR, manufacturing partnership(s) forming, headcount 2 full-time + 3 part-time

Founding Software Engineer (or Cofounder) - full stack, ML, embedded

Email iliao at remake dot ai

Column (https://column.com/) | San Francisco, CA (ONSITE) | Full Time | Software Eng (Infrastructure), Software Eng (Backend), Software Eng (Product)

Column is building the infrastructure that powers the US dollar globally. We're a software first company, but also own a nationally chartered bank that we've built from the ground up. We're currently processing trillions of dollars annually (yes, that's with a T), supporting some of the largest and most sophisticated companies out there like Wise, Bilt, Brex, Ramp, Mercury and dozens of others.

Started by the founder of Plaid (plaid.com), Column is focused on keeping an extremely lean and experienced team: currently 10 engineers that all report to the CEO. We are looking for an ambitious infrastructure, product, and backend engineer (one of each) that want to build incredible software from first principles.

Profitable and 100% owned by employees and founders.

Apply here: https://column.com/careers

Feel free to email me with any questions: praful@

Arcol | Senior Software Engineer | NYC, SF, or Remote (US/Canada) | Full-time

Arcol (arcol.io) is a small, high talent density team building the future of building design - a future that's collaborative, fast, and intuitive. We're a web-native, fully collaborative 3d design tool modernizing the experience of architectural design for teams of all sizes.

We're looking for senior engineers with experience in modern web technologies - some of our key technical building blocks are Typescript, Rust, wasm, WebGL - and a strong ownership mindset. Experience with computational geometry, computer graphics, or similar a strong plus. This role sits at the intersection of solving deep technical foundational challenges with shipping a product that solves real problems for real people.

Reach out to me directly at thomas@arcol.io or peruse our careers page (https://www.arcol.io/careers) - we'd love to hear from you!

Greptile | Software Engineer (junior, senior, staff)| San Francisco ONSITE | https://greptile.com

Greptile is building AI agents that catch bugs in pull requests. Over 2,000 teams including Brex, Whoop, and Substack use Greptile to review nearly 1B lines of code every month.

We're a team of ~20 in San Francisco, working on things like better agent evals and sandbox execution environments.

We've raised $30M to date, including our recent Series A led by Benchmark.

Stack: Typescript

Open roles: greptile.com/careers

Salary ranges: $140k-270k base (depending on seniority) + $40-100k/yr equity