{"id":2468260,"url":"https://alion.io/job/pramaana-labs-software-engineer-product","title":"Software Engineer, Product","company":{"id":3789407,"name":"Pramaana Labs","domain":"pramaanalabs.ai","url":"https://alion.io/company/pramaanalabs","size_band":null,"is_staffing_agency":false,"employer_type":"direct","is_intermediary":false,"listed_via":null,"ats_vendor":"Ashby","truth_index":null},"role":"Backend","role_family":"Backend","seniority":"junior","employment_type":"full_time","work_mode":"on_site","remote_scope":null,"remote_scope_basis":null,"remote_working_hours":null,"hiring_geo_confidence":"structured","locations":["Palo Alto, United States","Bengaluru, India"],"countries":["US","IN"],"hiring_countries":[],"hiring_countries_total":0,"salary":null,"salary_estimate":{"min_usd":110000,"max_usd":224000,"period":"year","method":"role_seniority_country_remote_cell","sample_n":1037},"experience_years_min":2,"visa_sponsorship":false,"relocation_package":false,"has_equity":false,"technologies":[{"name":"LLM","optional":false},{"name":"Node JS","optional":false},{"name":"Python","optional":false},{"name":"React.js","optional":false},{"name":"TypeScript","optional":false},{"name":"World Models","optional":false},{"name":"JavaScript","optional":true}],"status":"live","first_seen_at":"2026-10-13T17:48:17Z","employer_posted_date":"2026-10-13","last_verified_at":"2026-10-23T23:17:03Z","board_verified":true,"closed_at":null,"days_open":10,"trust":{"level":"ok","repost_count":null,"flags":[],"days_open":10},"description":"Company\nPramaana Labs is a frontier AI lab building the verification layer for AI. Founded in 2025 and headquartered in Palo Alto, we turn complex human knowledge, including tax codes, legal rules, clinical guidelines and security protocols, into a formal representation, so every AI answer can be traced, challenged, and proved. Pramaana's architecture pairs foundation models trained to formalize and reason with a symbolic world model encoded in Lean 4. Pramaana was founded by a team out of Google, DeepMind, and Glean, combining frontier AI researchers and formal methods experts.\nThe Role\nWe’re looking for a full-stack Product Engineer to turn Pramaana’s research into products that customers and developers can use and trust. You’ll make complex reasoning accessible through intuitive interfaces and thoughtful developer experiences, helping users understand, inspect, and verify AI outputs.\nThis is a hands-on, early-stage role spanning customer-facing applications, developer APIs, and new product experiments. You won’t be confined to one feature or product. You’ll help discover what users need, build the experience across the stack, and improve it through real-world use.\nYou’ll work closely with product, design, engineering, and research, taking ownership of projects from the MVP through production. We’re looking for someone who cares about both how AI works and how people experience it - and who enjoys making complex technology feel straightforward.\nWhat You'll Do\nBuild complete product experiences. Take problems from initial exploration to working software, owning the frontend, backend, data models, integrations, and testing needed to deliver a useful result.\n\nCreate thoughtful, responsive interfaces. Build workflows that help users bring in knowledge, review rules, ask questions, and inspect results and supporting evidence. Pay attention to interaction details, accessibility, loading states, and errors.\n\nDevelop reliable APIs and services. Build the systems behind document processing, asynchronous jobs, verification workflows, and customer integrations. Make progress, failures, and recovery understandable to users.\n\nTurn research capabilities into usable products. Partner with researchers to integrate models, agents, and verification services. Help bridge the gap between a promising technical demonstration and an experience customers can depend on.\n\nLearn directly from users. Work with customers and internal stakeholders to understand their workflows, test assumptions, and identify useful improvements. Instrument features and use feedback and usage data to guide iteration.\n\nOwn quality beyond launch. Write tests, review code, monitor the features you ship, and investigate production issues. Improve performance, security, and reliability as usage grows.\n\nBuild foundations that support multiple products. Create reusable components, services, and integration patterns. Make practical decisions about what to share, what to keep simple, and when a prototype needs a more durable implementation.\n\nYou Will Thrive in This Role If You Have\nMinimum 2-3 years of software engineering experience, with examples of products or features you’ve shipped and improved. We value meaningful hands-on ownership more than a particular title or background.\n\nStrong full-stack fundamentals. You’re comfortable building interfaces with TypeScript and React, backend services with Python or Node.js, and working with APIs and relational databases. You may be stronger on one side of the stack, but you’re willing to work across both.\n\nProduct judgment and attention to detail. You think about the user’s goal, question unnecessary complexity, and care whether the final experience is understandable-not just technically functional.\n\nPractical experience delivering production software. You’re familiar with testing, version control, code review, deployment, and debugging. You understand the basics of authentication, authorization, and handling user data responsibly.\n\nComfort working through ambiguity. You can break a loosely defined problem into manageable steps, test an approach, and adjust as you learn.\n\nOwnership, curiosity, and clear communication. You follow through on what you build, surface problems early, and work well with people across engineering, design, product, and research.\n\nEspecially Strong Candidates May Also Have\nExperience building applications with LLM APIs, retrieval, agent workflows, or evaluation systems.\n\nExperience with enterprise software, developer tools, or workflows involving complex documents, structured knowledge, or auditable decisions.\n\nStrong frontend craft, including experience building editors, data visualizations, or other information-rich interfaces.\n\nExperience taking a startup product, substantial side project, or open-source tool from an idea to active users.\n\nPrior experience in formal verification is not required. We’re looking for strong builders who are curious about the technology and motivated to make it useful.","description_format":"text","description_chars":5009,"description_truncated":false,"requirements":{"experience_years_min":2,"management_years_min":null,"team_size_min":null,"manages_managers":false,"education":null,"security_clearance":false,"languages":[]},"benefits":[],"hiring_locations":[],"hiring_excludes":[],"relocation_offered":false,"industries":["Machine Learning","AI Research Labs"],"lifecycle":[{"event":"open","at":"2026-10-13T19:12:14Z"}],"visa":[{"country":"US","licensed_sponsor":true,"evidence":"H-1B filings in 12 months: 2","filings_12m":2,"filings_prev_12m":0,"green_card_filings_12m":0,"median_offered_wage_usd":182500,"route":null,"cap_exempt":false,"checked_at":"2026-10-15T11:24:14+00:00","sources":["US Department of Labor: LCA disclosure data (H-1B, H-1B1, E-3)"],"filings_for_role_12m":0}],"liveness":{"score":76,"band":"hot","label":"Hiring now","p_open":1,"p_active":0.839,"p_room":0.9,"age_days":9,"expected_fill_days":20,"reasons":["conf:1","velocity","win:mid","comp:junior"],"computed_at":"2026-10-23T05:54:15Z"},"pay":null,"html_url":"https://alion.io/job/pramaana-labs-software-engineer-product","json_url":"https://alion.io/job/pramaana-labs-software-engineer-product.json","meta":{"generated_at":"2026-10-23T23:51:13Z","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":7526,"day_limit":null,"remaining_today":null,"minute_limit":300,"resets_at":"2026-10-24T00:00:00Z"}},"offers":[{"id":"company.slices","title":"One company in depth, by slice","status":"live","price":{"credits":0.02,"usd":0.002,"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":3789407},"rest":"https://alion.io/mcp/rest/get_company?id=3789407"},"human":"https://alion.io/catalog?offer=company.slices&for=job%2Fpramaana-labs-software-engineer-product"},{"id":"market.stats","title":"A market slice: pay, demand and time to fill","status":"live","price":{"credits":1,"usd":0.1},"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%2Fpramaana-labs-software-engineer-product"},{"id":"job.search","title":"Open jobs by role, technology, place, pay and visa","status":"live","price":{"credits":0.02,"usd":0.002},"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%2Fpramaana-labs-software-engineer-product"},{"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/pramaana-labs-software-engineer-product\", \"note\": \"what you need it for\"}"},"human":"https://alion.io/catalog?offer=company.verify&for=job%2Fpramaana-labs-software-engineer-product"}]}