As an AI software engineer, you will move beyond simple LLM wrappers to build agents that interact with structured, deterministic systems, producing reliable and actionable results. The core challenge involves enabling autonomous systems to call the right tools in the correct order, translate between natural language and formal representations, and identify errors. This role is crucial for a platform where AI agents bridge human intent and formal computational systems. You will own the AI agent layer, designing agents that interpret loosely specified requests, discover computational assets, translate requirements into structured inputs for formal systems, and explain results to users. When systems reject inputs or return counterexamples, your agents will localize errors, suggest corrections, and facilitate quick iteration. You will utilize LLMs, tool-use frameworks, and retrieval systems, ensuring all final answers are formally grounded, not probabilistically generated. Joining a small, elite team, you will operate at the technical frontier, making the system accessible by designing agents that allow operators to interact with formal reasoning and computational modeling through natural language. You will build in a rapid development environment with AI-native tooling, with success measured by operator trust and confidence in your agents.
Stand Out From the Crowd
Upload your resume and get instant feedback on how well it matches this job.
Job Type
Full-time
Career Level
Senior
Number of Employees
5,001-10,000 employees