Mathlib Initiative | DevOps Engineer | Fully-remote | Full-time
The Mathlib Initiative is a new programme of Renaissance Philanthropy. We exist to support Lean's open-source library of formal mathematics known as Mathlib https://leanprover-community.github.io/
Please apply directly at: https://www.renaissancephilanthropy.org/careers/devops-engin...
Category Labs | https://www.category.xyz/ | Remote and NYC | Full Time | $200K USD+
Category Labs (formerly known as Monad Labs) is a team of systems engineers and researchers on a mission to design and build at the frontier of decentralized technology. We strive to design and build step-function improvements over existing blockchain solutions. After recently raising $225M in series A funding, led by Paradigm, we are growing our team.
Senior SWE (Rust, C/C++): https://jobs.ashbyhq.com/category-labs/45f674b2-d904-482e-a5...
Smart Contract Engineer (Solidity): https://jobs.ashbyhq.com/category-labs/776ce314-aa12-471b-92...
Senior Researcher, Systems: https://jobs.ashbyhq.com/category-labs/015934c5-66e5-4042-94...
Sourcegraph | San Francisco | Full-Time | SWE, Design Engineer, Forward Deployed Eng, Head of Design, Solutions Eng (all roles code) | https://sourcegraph.com
Sourcegraph is hiring SWEs and FDEs for Amp (https://ampcode.com), the most effective multi-model AI coding agent. We're a team that ships and we build Amp in a crazy way (see https://ampcode.com/how-we-build). Backed by Sequoia, a16z, Craft Ventures, and Redpoint.
We’re hiring people who are doing impressive things with coding agents. If that's you, show us something you've built or published!
Lara Health | https://lara.health | Several roles | USA | REMOTE | Full-time
Lara Health is on a mission to transform how healthcare is delivered for chronic care management. We enhance patient care, improve operational efficiency, and create new, diverse revenue streams for healthcare organizations.
- Senior Back-end Engineer
- Senior Front-end Engineer
We are looking for self-starters with a growth mindset, with strong accountability, and ready to take ownership. You’ll have the opportunity to work across the stack, solve complex problems, and contribute to mission-critical applications. Email: stars [at] lara.health
ChainSecurity | Blockchain Security Engineer | Full-time | INTERNS , HYBRID/REMOTE, Zurich, Switzerland | VISA possible | https://chainsecurity.com/
ChainSecurity is a young and innovative cybersecurity company that operates in the blockchain and cryptocurrency space. Our mission is to make the blockchain space secure and trustworthy for people, companies, and governments alike. We are proud of our security experts from the renowned universities ETH Zurich, EPFL Lausanne and others. We are trusted by 100+ blockchain companies and established corporations with security audits and services. We have secured complex systems for top blockchain clients, such as decentralized finance (DeFi) projects, and multinational organizations, such as banks and industrial consortia.
A ChainSecurity Auditor will review the most complex blockchain projects to find vulnerabilities which no-one else can. By using state of the art tools, expert knowledge and a deep understanding of the fundamentals, we secure projects handling billions, often forming the foundation in the new paradigm of an open financial system.
Your Responsibilities:
* Work directly with the developers of the most successful teams in the blockchain industry to audit their code and secure their products
* Contribute to our security tools and create new ones in collaboration with our internal research team
* Conduct security research and publish your findings
Requirements:
* Strong background in software engineering, focused on security relevant areas and most importantly being able to reason about complex code
* Experience with penetration testing, vulnerability scanning, threat modeling or similar is a plus
* Good knowledge of cryptography
* Proficiency with Linux and Git
* Good written communication skills
* Fluent in OOP programming language
Bonus Points:
* Formal Verification, White Box, Vulnerability Scanning
* Solid Blockchain Knowledge
* Consensus Algorithms
Join us here: https://www.chainsecurity.com/jobs/blockchain-security-engin...
Questions about the role? Contact: jobs@chainsecurity.com
Cambridge Terahertz | https://thzcorp.com | ONSITE Santa Clara, CA | Full-time
Cambridge Terahertz is a rapidly-growing startup with the mission of detecting weapons and saving lives by bringing airport-level security to the masses. Our full-custom silicon enables orders-of-magnitude improvements in THz phased array radar imaging, unlocking new use cases in 3d-imaging. We are one of the only companies in the world to commercialize THz technology. We've raised series A-level funding, numerous gov't contracts and are adding to our world-class team in Santa Clara with various roles across hardware and software. We are in-person first and provide generous equity and benefits. Open roles:
Principal EE Lead: https://jobs.gusto.com/postings/cambridge-terahertz-principa...
Principal Radar Imaging Engineer: https://jobs.gusto.com/postings/cambridge-terahertz-principa...
Odevo | https://odevo.com | DevEx Engineer | Stockholm, Sweden | Full-time
Odevo is a PE-backed PropTech company with 2.2 million properties under management across Europe/US. We are growing fast and recently started a DevEx function, and I need some extra help there :)
SewerAI | https://www.sewerai.com/ | Staff Full-Stack Engineer | SF Bay Area Hybrid | Full-Time
About us: SewerAI is an AI-powered platform modernizing how cities and engineering firms inspect and manage sewer infrastructure. Using computer vision and geospatial analysis, we’re cutting costs, improving safety, and transforming how critical infrastructure is maintained.
Role: You’ll own features end-to-end: from AI-driven video analysis and mapping dashboards to scalable APIs and polished React frontends. Engineers on our team ship impactful projects like automated defect detection, real-time geospatial dashboards, and large-scale data pipelines.
Our Stack: React + TypeScript, Fastify, PostgreSQL/PostGIS, Prisma, Temporal.io, AWS, Docker, CI/CD.
What you bring: 5+ years full-stack experience with TypeScript, React, Node.js, and PostgreSQL. Bonus for geospatial, computer vision, or AWS.
Why SewerAI: High-impact work improving infrastructure communities rely on. Series B. Hybrid SF Bay Area (2 days/week). $180K–$230K + equity, full benefits, unlimited PTO.
Interested? Apply directly at: https://ats.rippling.com/sewerai-careers/jobs/be01efaa-2168-...
ARound (web-based augmented reality for sports) https://aroundar.com - a Stagwell company - https://www.stagwellglobal.com | Backend Engineer | Remote (Based in UTC -8/-7/-6/-5/-4 timezones only) | 20-40 hours a week TBD | Contract or contract-to-hire
Backend development in support of web-based augmented reality experiences and games for mobile devices. API integration and development. Management of cloud infrastructure and services.
Key technologies are Node.js, Rust, PostgreSQL, Digital Ocean. Experience with video streaming (RTMP, WebRTC). Some degree of familiarity with TypeScript, Vue.js, and Babylon.js is desirable.
Strong interest in sports is ideal (although fandom is optional).
I’m the hiring manager, no intermediaries. I’m not interested in hearing from outsourcing agencies or recruiters. Candidates only, please. Thank you. : )
raven@aroundar.com
LiveKit | Remote | Livekit.io | VoiceAI | webRTC | Real-time communications
LiveKit is defining a new paradigm for now applications are built by providing the framework and network infrastructure for voice, video, and physical AI.
Hiring: >Software Engineer, Agents Hosting [All Levels: Senior, Staff]: https://jobs.ashbyhq.com/livekit/f152aa9f-981c-4661-99d3-683... >> Software Engineer, Gateway [All Levels: Senior, Staff]: https://jobs.ashbyhq.com/livekit/494d4741-18ac-4fda-89e0-b07... >>> Staff Developer Advocate: https://jobs.ashbyhq.com/livekit/030026fa-0f4c-4eb9-9dfa-c1a... >> Sales-Engineer (Pre-sales): https://jobs.ashbyhq.com/livekit/264ceda2-1de1-4ea2-912a-a4d...
What we are looking for: Builders!!!! >Passion for building something truly impactful >>Remote company, first principles, global presence!
Rocket Alumni Solutions | https://rocketalumnisolutions.com | Technical Product Manager | REMOTE (Crossover with EST timezone) | Full-time | $140k - $180k USD.
Rocket Alumni Solutions builds interactive recognition displays for schools, universities, and organizations. In 2025, we’ll surpass 1,400 touchscreen installations — profitable and scaling rapidly.
To apply: https://forms.gle/P32LiYfNLva8TsYt7
Job description: https://www.rocketalumnisolutions.com/hiring/technical-produ... (Do not apply via the link on the job post, please use the link provided above—this will ensure you're in the HackerNews candidate pool)
TestBox | https://www.testbox.com/career | Multiple Roles | ONSITE San Francisco, CA | Full-time
TestBox is a fast-growing startup on a mission to fundamentally transform how software is bought and sold. We're building the next-generation infrastructure for software transactions, creating seamless experiences from initial interest to successful onboarding. We are backed by world-class investors and are looking for foundational team members to build greenfield systems and make a massive impact from day one.
I'm hiring manager for several key roles, onsite in San Francisco:
Senior Backend Engineer | $180k + Equity & Benefits | https://testbox.breezy.hr/p/cd4259566a98
Senior Full-Stack Engineer (Frontend Focus) | $180k + Equity & Benefits | https://testbox.breezy.hr/p/df48b9667887
Senior Software Engineer, Applied AI | $180k + Equity & Benefits | https://testbox.breezy.hr/p/14fdbd0b561d
Staff Technical Program Manager | $180k + Bonus, Equity, & Benefits | https://testbox.breezy.hr/p/c822a14a4103
Senior Product Designer | $160k + Equity & Benefits | https://testbox.breezy.hr/p/9bca001ba1d6
You can view all open positions and apply through our careers page: https://www.testbox.com/career
Seeq | https://seeq.com | Staff Software Engineer (Full stack) | REMOTE (Some crossover w/ PST required) | Full-time | $140k - $180k + equity. Salary range for US-based; local adjustments for other countries. Seeq creates cutting-edge data analytics software for industrial process data, serving sectors like pharmaceuticals, energy, and manufacturing. Our core product is a robust calculation engine capable of executing advanced math and machine learning algorithms on streaming time-series data. By leveraging generative AI, we enhance usability and accelerate outcomes for our users.
We've built up a great remote culture (e.g. annual meetups, a remote office app we created to collaborate) and a dev team that enjoys tackling hard problems that make a difference for our customers (dev blog for more: https://geeq.seeq.com/).
Staff Frontend/Full stack Engineer (React, Typescript, Kotlin): https://apply.workable.com/seeq/j/D08DA1A63C/
We’re a fast-moving team of aviators, engineers, and operators on a mission to transform aviation with an AI platform that makes flying safer, more efficient, and more capable. Backed by top investors and having already secured a dozen Department of Defense contracts and worked with three major airlines, we’re flying through barriers and working on a mission that matters.
At Beacon AI, there are no silos or layers of overhead. Small, focused teams own what they build, ship fast, and learn even faster. Every line of code, data pipeline, or system we design pushes the boundaries of how humans and AI work together in the cockpit and beyond. If you thrive at the intersection of hard-tech ambition and mission urgency, you’ll build faster here than anywhere else.
Open Roles:
++ Backend Software Engineers - Multiple Seniority Levels
++ Cloud Infrastructure Software Engineers - Multiple Seniority Levels
++ Cloud IoT Software Engineers - Multiple Seniority Levels
++ Backend & Cloud Infra Technical Lead Manager
Apply at https://beaconai.co/careers and mention HN. Let’s build the future of flight, together!
PredictDAO | Full-stack engineer | Remote (Western Hemisphere) / NYC | Full-time | $200k - $300k
PredictDAO is a blockchain-based nonprofit global health organization building prediction markets for real-world public goods in the healthcare sector. The intended users for our tools include foundations, aid agencies, and high-net worth individuals.
We are pre-launch, with two full-time employees at the moment, and interested in finding another engineer who is excited about our mission of saving and improving lives by filling some of the funding gaps caused by recent budget cuts to USAID.
Email jobs -at- predictdao (.) com and please include "HN" in the subject line.
Imbue | https://imbue.com | Data Engineers | Full-time | San Francisco, CA (ONSITE)
Imbue is building a coding agent environment (https://imbue.com/product/sculptor/) that imbues engineering wisdom into LLM workflows—so anyone has the power to create software they can trust.
We aim to rekindle the dream of personal computing and make software creation accessible to all, so every person can have the power to shape their computational future.
For more example projects and benefits, see the full job description: https://imbue.com/careers
Please apply through the website above. All submissions are reviewed by a real person!
Equity Trust | Lead ML Engineer | Cleveland, OH or REMOTE | Full-time | 150 - 180k
Equity Trust is a custodian of self-directed IRAs that gives clients the tools to manage their own retirement accounts, and to invest in a range of traditional and alternative assets. We have been helping clients steer their own retirement accounts for over 50 years, and now have over 400,000 accounts, and over $65 billion in assets, under custody. We have offices in Ohio, Florida, Texas, and South Dakota if in-person work is your jam, but fully support remote work as well.
The role: We're looking to add a founding ML engineer to build out our data science practice (and ideally hire and lead a data science team). You would be our first ML hire and working alongside our data engineering and product teams to identify, scope, POC, and productionize relevant analytic use cases to help drive new and improved product offerings, and to elevate our client experience. Our data eng stack is mostly Python + AWS, and you will have the resources and support to develop an ML stack alongside that. Generally, if you like working with data, tackling open-ended problems, and (optionally, but always nice) building cool products to help folks take a more active role in their investments --- you'll probably have a good time here!
You can apply directly here: https://www.paycomonline.net/v4/ats/web.php/jobs/ViewJobDeta...
If you'd like to learn more, drop me a line at c.wetherill [at] trustetc.com
NOTE: Although the role is remote, we are only set up to hire out of certain states (generally the midwest, central, and southern US). Feel free to email me before applying and I can confirm if we're able to hire out of a specific state
Beautiful.ai | Full-Time | Remote in US & CAN | SaaS B2B Presentation Software | Series B | 16M Funding | AI Industry
1. Head of Enterprise Revenue & Go-To-Market | 225k - 250k Base Salary + Equity | https://job-boards.greenhouse.io/beautifulai/jobs/4622705007
2. Performance Marketing Manager, Paid Search | 115k - 130k Base Salary + Equity | https://job-boards.greenhouse.io/beautifulai/jobs/4823739007
3. Senior Platform Engineer | 160k - 200k Base salary + Equity | https://job-boards.greenhouse.io/beautifulai/jobs/4802989007
4. Senior QA Engineer | 100k - 130k Base Salary + Equity | https://job-boards.greenhouse.io/beautifulai/jobs/4803551007
5. Senior Software Engineer | 160k - 200k Base Salary + Equity | https://job-boards.greenhouse.io/beautifulai/jobs/4802854007
6. Software Engineer | 120k - 160k Base Salary + Equity | https://job-boards.greenhouse.io/beautifulai/jobs/4802768007
7. Staff Platform Engineer | 200k - 250k Base Salary + Equity | https://job-boards.greenhouse.io/beautifulai/jobs/4803038007
8. Staff Software Engineer | 200k - 250k Base Salary + Equity | https://job-boards.greenhouse.io/beautifulai/jobs/4802916007
Hardfin | Full-stack engineer | Denver metro, CO or Bay area, CA (REMOTE or ONSITE) | CA/CO ONLY | Full-time | 150k-180k salary
Hardfin is a B2B software platform for equipment manufacturers that enables them to track their assets and manage projects for their hardware. We are looking to add another fullstack engineer that can wear a bit of a product hat and is comfortable with "figuring it out" as they build.
Short and transparent hiring process, 30 min intro call, 30 min tech screen, 30 min vision/product call, 2hr technical test, 45 min culture fit call, offer. No panels, no leet code questions.
Requirements: 5+ YoE, 3+ Go, 1+ Typescript, 6+ months of working with AI assisted IDE/tooling.
See the full job rec/apply at https://wellfound.com/l/2Bs5iM
You can reach me directly at bweisbart -at- hardfin (.) com, please include "HN" in the email subject so I can prioritize a response to you.
VitVio | Senior Full-Stack Engineer (Elixir, NixOS, React) | Remote (EU Timezones) | Full-Time | vitvio.com
We're building AI-powered systems to make hospital operating rooms safer and more efficient. We're looking for a seasoned engineer who values clean code, robust architecture, and a collaborative culture. You'll join a small, strong team and will have a massive impact on a product used in high-stakes clinical environments. We are looking for engineers with strong fundamentals, and who knows how to work efficiently in a team through code reviews and version control.
Tech: Elixir (Phoenix), NixOS, React, TypeScript, C++, Postgres, GraphQL, Google Cloud Provider.
We're looking for deep experience in at least Elixir or NixOS.
Apply and see more details here: https://jobs.ashbyhq.com/vitvio/5d9782f2-3834-429b-be99-dfbc...
We review applicants on a weekly basis.