Ask HN: Who is hiring? (June 2025)

Cocotec | Multiple Positions | Hybrid (Guildford/London, UK or Eindhoven NL) | Full-time | https://cocotec.io

We're a small high-tech spinout of the University of Oxford. We build a tool called Popili that helps developers build event-driven systems by using formal verification to automatically find bugs. To do this we have developed our own programming language called Coco that makes formal verification accessible to non-specialist users. Many of our customers build complex physical machines that are controlled by software where the main controller is written in Coco, our programming language.

We're looking for:

- Junior and Senior C++ Developers to join our engineering team.

- A Customer Success Engineer to help onboard users; this would be an exciting role for someone who enjoys technical teaching.

We're looking for people who have experience in ANY of the following:

- Programming languages

- Formal verification, in particular model checking

- Fuzz testing

- Virtualisation software

- Asynchronous state-based event-driven software

We are a low-meeting, high-tech, engineering-focused company where we prioritise building high-quality software. We primarily use C++ and Bazel but also write some systems in Rust.

If you're interested, see https://cocotec.io/careers or email recruitment [at] cocotec.io

Turnstile (https://www.tryturnstile.com) | REMOTE (US/Canada) | Engineering | $185k-205k salary + equity

---

We're a small (24-person) team of repeat founders and seasoned operators building a revenue management platform that takes the hassle out of quote-to-cash, no matter how companies price. This is a tight-knit and senior crew — most of us have 10-25 years' experience, much of it together.

The last company we started, Second Measure (YC S15), scaled to 70+ people and tens of millions in revenue, and was ultimately acquired by Bloomberg in a landmark deal.

We're looking for extraordinary builders to play a foundational role in a company designed for scale:

  - Solutions Engineer (Sr to Staff)

We're well-funded by top investors (led by First Round Capital), fully distributed, and known for building intentional, inclusive culture - we've been recognized as one of Built In's Best Places to Work for 3 years running. We offer competitive global rates (SF salary + equity), equal pay by level, and comprehensive, family-friendly benefits.

I'm Mike, one of the founders— if interested, apply here (https://tryturnstile.com/about?scrollTo=jobs) and mention this post.

Triply | Software Engineer (TypeScript) | Full-time | Onsite (hybrid) | Amsterdam, Netherlands (EU) | 45K - 65K EUR

Triply provides software and services for linked data production systems, enabling companies from all over the world to integrate their data into standards-compliant knowledge graphs so that they can harness the full potential of their data. Our TriplyDB software is used by organizations of any size, from startup to 10K+ employees.

We’re looking for a Software Engineer with strong TypeScript development skills to help evolve and maintain the API and data integration layer of our platform. You’ll work on backend features that are central to the platform’s architecture, such as role-based access control (RBAC), data transformation pipelines and data querying. Your focus will be on delivering robust, secure, and standards-compliant APIs, improving query performance, and implementing domain-specific features in the area of linked data and semantic technologies.

Visa sponsorship is possible, but only for exceptional candidates.

For more information, please see the profile here: https://docs.google.com/document/d/e/2PACX-1vTV0PoZ5UQXPAAra....

If you're interested, send an email to careers@triply.cc, addressed to Ivan. I check them personally.

Another argentinian here, nice username! :P

7 days a week ? lmao.