Browse tech roles

Basic role filtering by workplace, salary floor, and post age. For full AI matching and advanced filtering upload your resume using AI Match.

Active Keyword: HEOR Remove filter Clear all

4 of up to 20 (filtered)

Research Intern, Algorithms Group: Theory

Microsoft

Redmond, WA 4 days ago
Actively hiring Confirmed live yesterday Posted this week High trust
Algorithms Approximate Nearest Neighbor Search Erasure Coding Distributed Storage Large Language Models Theoretical Computer Science Machine Learning STOC FOCS SODA NeurIPS ICML ICLR
Save

Quantum Error Correction Theory Intern

IBM

53 days ago
Actively hiring Confirmed live today Trusted
Quantum Computing Python Qiskit NumPy SciPy Matplotlib Git GitHub AI High-Performance Computing Hybrid Cloud Information Theory Quantum Error Correction Decoding Theory fault tolerant algorithms Compilation
Save

Quantum Algorithms Theory Intern

IBM

54 days ago
Actively hiring Confirmed live yesterday Low trust
Quantum Computing Quantum Algorithms Python Qiskit NumPy SciPy Matplotlib Git GitHub Computational Complexity Theory Quantum Information Theory Linear Algebra Quantum Error Correction Quantum Compilation AI High-Performance Computing Hybrid Cloud
Save

Theorem Proving Engineer

Arm Holdings

Austin, TX 110 days ago $198,100–$268,000
Actively hiring Confirmed live yesterday High trust Above market
ACL2 SLEC C Verilog RTL Theorem Proving GPU Microarchitecture Floating-point Arithmetic
Hybrid
Save