Build What
Cannot 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.
Full-Time Roles
Electrical Engineer
On-site / Hybrid
Design and implement analog and digital circuits for sensor systems, signal processing pipelines, and embedded control architectures. Experience with PCB design, power electronics, and EMC compliance required.
- -MS/PhD in Electrical Engineering or related field
- -5+ years experience in mixed-signal circuit design
- -Proficiency with simulation tools (SPICE, MATLAB/Simulink)
- -Experience with real-time embedded systems
Formal Verification Engineer
Remote / On-site
Develop and apply formal methods to certify correctness of critical systems. Build proof-carrying code infrastructure, design verification workflows, and extend our mathematical certification engine.
- -MS/PhD in Computer Science, Mathematics, or related field
- -Strong background in formal methods (model checking, theorem proving, SAT/SMT)
- -Experience with proof assistants (Coq, Lean, Isabelle) preferred
- -Publications in verification, program analysis, or related areas
Talent Acquisition Lead
Remote
Build the team that builds the future. Source and recruit exceptional technical talent across engineering, research, and operations. Develop recruiting pipelines for specialized roles in formal methods, robotics, and applied mathematics.
- -5+ years technical recruiting experience
- -Track record hiring for deep-tech or research-oriented companies
- -Strong network in academic and defense/aerospace communities
- -Understanding of security clearance processes a plus
Internships & Research
Internship Program
Research & Engineering
Work alongside our research team on active projects in geometric optimization, formal verification, or infrastructure security. Interns contribute to real deliverables and may co-author publications.
- -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 for certain projects
Research Engagements
External Collaboration
We partner with academic researchers, national labs, and independent scholars on problems at the frontier of formal verification and geometric computation. Engagements range from short consulting arrangements to extended visiting positions.
- -Faculty, postdocs, or senior researchers at accredited institutions
- -Active research program in relevant areas
- -Ability to work on potentially export-controlled material
- -Interest in transitioning theoretical results to deployed systems
For general inquiries about careers at BlueChips, contact careers@bluechips.com