.png?1785784832)
- Bengaluru, Karnataka, India
- Senior
Design GPU algorithms that search, evaluate, and check large computational problems in massive parallel, and connect those results to formal proof.
Responsibilities
- Design and implement high-performance GPU algorithms for search, optimization, and large-scale checking of compute graphs, from algorithm design to kernel tuning and multi-GPU scaling.
- Map irregular workloads such as tree and graph search, case splitting, branch-and-bound, and constraint checking onto massively parallel hardware with strong load balancing, memory locality, and throughput.
- Build GPU solvers for ordinary and partial differential equations and other numerical methods, with rigorous control of floating-point error through techniques such as interval or validated arithmetic.
- Develop certificate-producing pipelines in which untrusted GPU computation emits compact, checkable evidence (witnesses, bounds, case coverage) that a Lean proof verifies on the CPU, keeping the trusted checking step small and tractable.
- Apply these methods to semiconductor use cases, including analog trimming and calibration, yield and excursion analysis, and verification across massive test and process datasets.
Requirements
- PhD in Computer Science, Applied Mathematics, Electrical Engineering, or a related field
- Master’s with equivalent experience in Computer Science, Applied Mathematics, Electrical Engineering, or a related field