Join.us

Build WhatCannot Fail

We are assembling a team of mathematicians, engineers, and operators to solve problems where correctness is non-negotiable. If you want to work on systems that matter, we want to hear from you.

Open.positions

Full-Time Roles

01Full-TimeHardware Systems

Electrical Engineer

Design and implement analog and digital circuits for sensor systems, signal processing pipelines, and embedded control architectures.

Apply

MS/PhD in Electrical Engineering or related field
5+ years experience in mixed-signal circuit design
Proficiency with simulation tools
Experience with real-time embedded systems

02Full-TimeCore Engine

Formal Verification Engineer

Develop and apply formal methods to certify correctness of critical systems. Build proof-carrying code infrastructure and verification workflows.

Apply

MS/PhD in Computer Science, Mathematics, or related field
Strong background in formal methods
Experience with proof assistants preferred
Publications in verification or program analysis

03Full-TimeOperations

Talent Acquisition Lead

Build the team that builds the future. Source exceptional technical talent across engineering, research, and operations.

Apply

5+ years technical recruiting experience
Track record hiring for deep-tech companies
Strong academic and aerospace communities network
Understanding of security clearance processes a plus

Programs

Internships & Research

04Internship12-16 weeks

Internship Program

Work alongside our research team on active projects in geometric optimization, formal verification, or infrastructure security.

Inquire

Currently enrolled in MS/PhD program
Strong mathematical foundations
Interest in formal methods, control theory, or applied geometry
US citizenship or permanent residency may be required

05Contract / VisitingFlexible

Research Engagements

We partner with academic researchers, national labs, and independent scholars on formal verification and geometric computation.

Inquire

Faculty, postdocs, or senior researchers
Active research program in relevant areas
Ability to work on potentially export-controlled material
Interest in transitioning theory to deployed systems

For general inquiries about careers at BlueChips, contact careers@bluechips.com.