{"id":4159797,"url":"https://alion.io/job/emergence-senior-researcher-gpu-algorithms-india","title":"Senior Researcher, GPU Algorithms, India","company":{"id":23917,"name":"Emergence","domain":"emergence.ai","url":"https://alion.io/company/emergence","size_band":"51-200","is_staffing_agency":false,"employer_type":"direct","is_intermediary":false,"listed_via":null,"ats_vendor":"Greenhouse","truth_index":null},"role":"AI/ML","role_family":"AI/ML","seniority":"senior","employment_type":null,"work_mode":"on_site","remote_scope":null,"remote_scope_basis":null,"remote_working_hours":null,"hiring_geo_confidence":"explicit","locations":["Bengaluru, India"],"countries":["IN"],"hiring_countries":[],"hiring_countries_total":0,"salary":null,"salary_estimate":null,"experience_years_min":null,"visa_sponsorship":false,"relocation_package":false,"has_equity":false,"technologies":[{"name":"AI Agents","optional":false},{"name":"C++","optional":false},{"name":"CUDA","optional":false},{"name":"JAX","optional":false},{"name":"Python","optional":false},{"name":"Triton","optional":false},{"name":"XLA","optional":false}],"status":"live","first_seen_at":"2026-11-12T07:42:30Z","employer_posted_date":"2026-11-12","last_verified_at":"2026-11-12T12:01:04Z","board_verified":true,"closed_at":null,"days_open":0,"trust":{"level":"ok","repost_count":null,"flags":[],"days_open":0},"description":"About Emergence\nEmergence AI is a frontier agentic AI lab advancing safe, autonomous AI through its pioneering neuroformal architecture. We are building the next generation of enterprise AI: systems capable of understanding complex knowledge, reasoning across information, executing multi-step workflows, and taking action with the verifiability and reliability required for mission-critical environments.\nOur Enterprise Agent Platform provides the foundation for building, deploying, and operating AI systems in production - from data connectivity and knowledge management to workflow orchestration, observability, evaluation, and governance. We partner with organizations in semiconductor manufacturing, life sciences, and other data-intensive industries to solve complex challenges that require trusted AI systems capable of operating in real-world environments.\nOur team brings experience from leading AI research labs and technology companies, including IBM Research, The Allen Institute for AI, Amazon, and Broadcom. With headquarters in New York and offices across California, Spain, and India, we bring together diverse expertise and perspectives to tackle some of the most challenging problems in enterprise AI.\nTHE ROLE \nWe are looking for a senior researcher to design GPU algorithms that search, evaluate, and check large computational problems in massive parallel, and to connect those results to formal proof. The GPU does the heavy lifting, exploring state spaces, solving differential equations, and evaluating compute graphs across millions of cases, while producing compact certificates that a proof assistant such as Lean checks on the CPU to deliver a final, machine-verified guarantee. \nApplications include GPU-accelerated search, numerical simulation, analog trimming, and semiconductor data analysis, but the core skills are general: making massively parallel computation fast, and its results trustworthy. \n\nWHAT YOU WILL DO \nDesign 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. \nMap 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. \nBuild 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. \nDevelop 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. \nApply these methods to semiconductor use cases, including analog trimming and calibration, yield and excursion analysis, and verification across massive test and process datasets. \nSet technical direction, mentor researchers and engineers, and contribute to publications, patents, and open-source work. \nWHAT YOU BRING \nA PhD, or a Master’s with equivalent experience, in Computer Science, Applied Mathematics, Electrical Engineering, or a related field, with several years of research or industry experience in high-performance computing. \nDeep expertise in GPU programming (CUDA, or equivalents such as Triton, HIP, or JAX/XLA) and parallel algorithm design, including memory hierarchies, warp-level primitives, and performance profiling. \nStrong grounding in numerical methods, including differential equation solvers and floating-point error analysis, and experience with large-scale search, optimization, or constraint solving on parallel hardware. \nWorking knowledge of formal methods and proof assistants, ideally Lean 4, or a demonstrated ability to pick them up quickly. \nStrong software engineering skills in C++ and Python, with a track record of shipping fast, well-tested systems. \nNICE TO HAVE \nExperience with certified or validated computation (proof certificates, interval arithmetic, SAT/SMT proof logging), computer-assisted proofs, GPU-accelerated SAT/SMT solving or model checking, EDA tools, analog and mixed-signal design, or semiconductor test and manufacturing data. \n\nEmergence AI is an equal opportunity employer committed to building an inclusive workplace where people with diverse backgrounds, experiences, and perspectives can do their best work. We believe building trustworthy AI requires diverse ways of thinking, and we're committed to creating an environment where everyone can thrive.\nIf you're excited about this opportunity but don't meet every qualification, we encourage you to apply. We value curiosity, ownership, and the ability to learn just as much as matching every item on a job description.","description_format":"text","description_chars":4826,"description_truncated":false,"requirements":{"experience_years_min":null,"management_years_min":null,"team_size_min":null,"manages_managers":false,"education":{"level":"master","optional":false},"security_clearance":false,"languages":[]},"benefits":[],"hiring_locations":[{"name":"India","iso":"IN","kind":"country"}],"hiring_excludes":[],"relocation_offered":false,"industries":["AI Agents","AI Development Tools"],"lifecycle":[{"event":"open","at":"2026-11-12T12:01:04Z"}],"visa":[],"liveness":{"score":86,"band":"hot","label":"Hiring now","p_open":1,"p_active":0.86,"p_room":1,"age_days":0,"expected_fill_days":5,"reasons":["conf:2","win:early"],"computed_at":"2026-11-12T14:14:47Z"},"pay":null,"html_url":"https://alion.io/job/emergence-senior-researcher-gpu-algorithms-india","json_url":"https://alion.io/job/emergence-senior-researcher-gpu-algorithms-india.json","meta":{"generated_at":"2026-11-12T14:14:47Z","cache_seconds":300,"methodology":"https://alion.io/methodology","terms":"https://alion.io/terms","contact":"https://alion.io/contact","api":"https://alion.io/developers","about":"Alion is a live layer of people, companies and AI agents: who they are, whether they are real and active right now, what they do and how to work with them, readable by people and by agents and paid per call.","catalog":"https://alion.io/catalog.json","usage":{"tier":"crawler_verified","counted_by":"address","units_charged":1,"used_today":29656,"day_limit":null,"remaining_today":null,"minute_limit":300,"resets_at":"2026-11-13T00:00:00Z"}},"offers":[{"id":"company.slices","title":"One company in depth, by slice","status":"live","price":{"credits":0.1,"usd":0.01,"plus_per_slice":{"credits":0.05,"usd":0.005}},"unit":"per company, plus each slice with data","note":"the employer in depth","call":{"mcp_tool":"get_company","arguments":{"id":23917},"rest":"https://alion.io/mcp/rest/get_company?id=23917"},"human":"https://alion.io/catalog?offer=company.slices&for=job%2Femergence-senior-researcher-gpu-algorithms-india"},{"id":"market.stats","title":"A market slice: pay, demand and time to fill","status":"live","price":{"credits":2,"usd":0.2},"unit":"per slice","note":"pay, demand and time to fill for this role and place","call":{"mcp_tool":"market_stats"},"human":"https://alion.io/catalog?offer=market.stats&for=job%2Femergence-senior-researcher-gpu-algorithms-india"},{"id":"job.search","title":"Open jobs by role, technology, place, pay and visa","status":"live","price":{"credits":0.1,"usd":0.01},"unit":"per posting in a list","note":"similar open postings","call":{"mcp_tool":"search_jobs"},"human":"https://alion.io/catalog?offer=job.search&for=job%2Femergence-senior-researcher-gpu-algorithms-india"},{"id":"company.verify","title":"Is this company real and active right now","status":"pilot","price":null,"unit":"per company","request":{"url":"https://alion.io/catalog/request","method":"POST","body":"{\"offer\": \"company.verify\", \"for\": \"job/emergence-senior-researcher-gpu-algorithms-india\", \"note\": \"what you need it for\"}"},"human":"https://alion.io/catalog?offer=company.verify&for=job%2Femergence-senior-researcher-gpu-algorithms-india"}],"agent":{"mcp":"https://alion.io/mcp/jobs","mcp_open":"https://alion.io/mcp/open","next":[{"tool":"get_job","arguments":{"id":4159797}},{"tool":"search_jobs","arguments":{"company":"emergence.ai","detail":"compact"}},{"tool":"match_people","arguments":{"job_id":4159797},"note":"people open to offers who fit this vacancy"}],"note":"The same data through MCP tools: https://alion.io/mcp/open needs no sign-in (compact searches, postings, people); https://alion.io/mcp with an Alion account has everything. Docs: https://alion.io/developers"}}