{"id":744597,"url":"https://alion.io/job/logicalintelligence-ai-engineer-in-synthetic-data","title":"AI Engineer in Synthetic Data","company":{"id":680507,"name":"Logical Intelligence","domain":"logicalintelligence.com","url":"https://alion.io/company/logicalintelligence","size_band":null,"is_staffing_agency":false,"employer_type":"direct","is_intermediary":false,"listed_via":null,"ats_vendor":"Greenhouse","truth_index":{"grade":"B","score":75,"open_postings":3,"ghost_share":0,"stale_share":1,"repost_share":0,"time_to_fill_p50_days":null,"computed_at":"2026-10-07T05:47:15Z"}},"role":"AI/ML","role_family":"AI/ML","seniority":"middle","employment_type":null,"work_mode":"on_site","remote_scope":null,"remote_scope_basis":null,"remote_working_hours":null,"hiring_geo_confidence":"structured","locations":["San Francisco, United States"],"countries":["US"],"hiring_countries":[],"hiring_countries_total":0,"salary":null,"salary_estimate":{"min_usd":149000,"max_usd":295000,"period":"year","method":"role_seniority_country_remote_cell","sample_n":383},"experience_years_min":3,"visa_sponsorship":false,"relocation_package":false,"has_equity":false,"technologies":[{"name":"AWS","optional":false},{"name":"Azure","optional":false},{"name":"C++","optional":false},{"name":"Data Augmentation","optional":false},{"name":"GCP","optional":false},{"name":"JAX","optional":false},{"name":"Kubernetes","optional":false},{"name":"Machine Learning","optional":false},{"name":"Python","optional":false},{"name":"PyTorch","optional":false},{"name":"PyTorch C++","optional":false},{"name":"Synthetic Data","optional":false},{"name":"TensorFlow","optional":false},{"name":"TensorFlow C++","optional":false},{"name":"Go","optional":true},{"name":"Rust","optional":true},{"name":"Smart Contracts","optional":true}],"status":"live","first_seen_at":"2026-02-05T07:02:44Z","employer_posted_date":"2026-08-15","last_verified_at":"2026-10-08T00:21:13Z","board_verified":true,"closed_at":null,"days_open":244,"trust":{"level":"stale","repost_count":0,"flags":["stale"],"days_open":243},"description":"Who we are\nAt Logical Intelligence, we're revolutionizing software development with AI-powered formal verification. We've developed groundbreaking agents that provide mathematical guarantees of code correctness, ensuring that software behaves exactly as intended while proactively identifying bugs and security vulnerabilities. Our novel foundation model enables scalable, precise reasoning for formally verifiable code across Rust, Golang, and smart contract VMs. We’ve won a well-known formal verification benchmark called PutnamBench, which consists of 672 hard math problems from the William Lowell Putnam Exam, the oldest collegiate mathematics competition in North America. Backed by a world-class team - including ICPC champions, a Fields Medalist and an ACM Turing Award winner - we're building the future where all code is provably correct.\nAbout the role\nJoin our team as an AI Engineer and help us push the boundaries of what's possible in logical reasoning! We’re looking for a motivated individual to design and refine the data and ML pipelines for scaled distributed training and validation of ML models. You'll work closely with a talented team of AI experts, EBM specialists, formal verification engineers, and software developers to create groundbreaking solutions.\nWhat you'll do\nResearch new reasoning algorithms and models\nDevelop model benchmarking processes and tools\nBuild effective and efficient ML data pipelines\nAdjust frameworks and interfaces to accelerate machine learning development\nDevelop the infrastructure for data augmentation pipelines and synthetic data generation\nCollaborate with other teams to understand their pain points and priorities to define milestones of the corresponding roadmaps\nDerive practical solutions and integrate them with the results of other teams to provide the best overall resolution\nQualifications\nYou have an M.Sc. focusing on one or more of the following areas: Computer Science, Artificial Intelligence, Mathematics, or a closely related field\n3+ years of production experience in ML Infra, DataOps, distributed training\nExpertise in programming languages and tools critical for high-performance computing in Python/C++ and machine learning including Deep Learning frameworks like PyTorch /TensorFlow/JAX\nAbility to understand deep learning algorithms, e.g. in natural language processing, reasoning\nFamiliarity with Azure/AWS/GCP cloud products for MLOps and DataOps pipelines \nProficiency with Kubernetes clusters and distributed compute assets\nStrong communication and teamwork skills\nReadiness to explore and promote cutting edge technologies in ML Infrastructure domain and beyond\nBonus Points\nDemonstrated publications in any of the major conferences \nMulti-node and multi-GPU training\nMathematical Reasoning - discrete math and logic\nFormal Verification - lean\nlogicalintelligence.com","description_format":"text","description_chars":2858,"description_truncated":false,"requirements":{"experience_years_min":3,"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":["Artificial Intelligence","Code Intelligence","Industrial AI"],"lifecycle":[{"event":"open","at":"2026-09-11T13:44:30Z"}],"visa":[],"liveness":{"score":4,"band":"cold","label":"Long shot","p_open":1,"p_active":0.154,"p_room":0.28,"age_days":243,"expected_fill_days":18,"reasons":["conf:0","win:tail","crowd:"],"computed_at":"2026-10-07T05:47:15Z"},"pay":null,"html_url":"https://alion.io/job/logicalintelligence-ai-engineer-in-synthetic-data","json_url":"https://alion.io/job/logicalintelligence-ai-engineer-in-synthetic-data.json","meta":{"generated_at":"2026-10-08T01:19:53Z","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","counted_by":"address","units_charged":1,"used_today":2399,"day_limit":5000,"remaining_today":2601,"minute_limit":60,"resets_at":"2026-10-09T00: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":680507},"rest":"https://alion.io/mcp/rest/get_company?id=680507"},"human":"https://alion.io/catalog?offer=company.slices&for=job%2Flogicalintelligence-ai-engineer-in-synthetic-data"},{"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%2Flogicalintelligence-ai-engineer-in-synthetic-data"},{"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%2Flogicalintelligence-ai-engineer-in-synthetic-data"},{"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/logicalintelligence-ai-engineer-in-synthetic-data\", \"note\": \"what you need it for\"}"},"human":"https://alion.io/catalog?offer=company.verify&for=job%2Flogicalintelligence-ai-engineer-in-synthetic-data"}]}