Harmonic
Unclaimed
This company page hasn't been claimed yet. Information shown is sourced from public job postings.
Learn moreOpen Positions (7)
Formal Verification Engineer
Harmonic馃嚭馃嚫 Palo Alto, CA +1On-site 路 Full-timeLean 4 路 Coq 路 Isabelle
Software Engineer, Product
Harmonic$175,000 - $300,000馃嚭馃嚫 Palo Alto, CAOn-site 路 Full-timeTypeScript 路 React 路 Python
Software Engineer, ML Systems
Harmonic馃嚭馃嚫 Palo Alto, CAOn-site 路 Full-timePython 路 Kubernetes 路 Docker
Research Engineer, Training & Inference
Harmonic$200,000 - $450,000馃嚭馃嚫 Palo Alto, CAOn-site 路 Full-timePython 路 C++ 路 PyTorch
Research Engineer, Formal Methods
Harmonic馃嚭馃嚫 Palo Alto, CA +1On-site 路 Full-timePython 路 Lean 4 路 Coq
Software Engineer
Harmonic$190,000 - $350,000馃嚭馃嚫 Palo Alto, CAOn-site 路 Full-timePython 路 C++ 路 Kubernetes
Research Engineer
Harmonic$200,000 - $450,000馃嚭馃嚫 Palo Alto, CAOn-site 路 Full-timePython 路 PyTorch