Postdoctoral position in theoretical computer science on classical and quantum complexity; topics include quantum and sublinear algorithms, interactive proofs, PCPs, zero-knowledge proofs, with harmonic analysis and additive combinatorics. 2-year term; 2.5% salary supplement; apply online.