Member of Technical Staff, Compiler

Job not on LinkedIn

🔥 7 minutes ago

🌐 United States, Canada – Remote

🇺🇸 United States – Remote 🇨🇦 Canada – Remote

⏰ Full Time

🔴 Lead

🖥 Software Engineer

👻 Ghost score 15%

What it means: the chance that no one is really hiring for this job.How to read it: 60% or higher means we think this is a ghost. Lower scores are less of a worry.How we score it: age, reposts, open roles vs team size, how fast jobs close, and whether pay is listed.Fine print: an estimate from public data, not a judgment of the company. Real jobs can score high, so treat it as a hint, not a fact.

Apply Now

Find Similar Remote Jobs

Compiled Health

WebsiteLinkedInAll Job Openings

2 - 10 employees

🏥 Healthcare

🤖 Artificial Intelligence

☁️ SaaS

Healthcare • Artificial Intelligence • SaaS

Compiled Health is a clinical AI and formalization company that turns medical standards into deterministic, traceable decision logic. They compile evidence-graded clinical knowledge (guidelines, standards) into schema-enforced, formally verified artifacts that execute deterministically at the point of care, with an emphasis on traceability back to source paragraphs and measurement against the standard of care. The team includes physicians and engineers; their system is live in public healthcare settings in Canadian provinces and they work with partners including Merck, Moderna, Roche Diagnostics, Mila, and Palantir. They emphasize no inference-time compute in the decision layer, measurement and benchmarking against standards, and deploying compiled artifacts into clinician software while respecting data-sovereignty.

📋 Description

• Build the pipeline converting clinical source material into evidence-bound, executable decision artifacts • Design intermediate representations for populations, applicability, derived facts, temporal conditions, exclusions, precedence, and recommendations • Build benchmarks and adversarial cases measuring source fidelity, logical completeness, elicitation quality, and recommendation correctness • Convert model failures into hypotheses, experiments, training or inference changes, and improved system design • Develop deterministic validators using static analysis, constraint solving, formal methods, or other suitable techniques • Make ambiguity, contradiction, and source silence explicit • Carry successful research into production with clinicians and engineers

🎯 Requirements

• 3+ years shipping ML or ML-adjacent systems to production • Record of exceptional technical work in machine learning, compilers, program synthesis, formal methods, natural-language processing, document intelligence, evaluation, or an adjacent field • Strong Python and software-engineering fundamentals • Production proficiency with PyTorch and the Transformers ecosystem • Ability to turn exploratory work into clean, tested systems • Ability to formulate falsifiable hypotheses, design experiments, interpret noisy evidence, and determine conclusions • Precision about specifications, edge cases, completeness, and supported outputs • Ability to acquire sufficient clinical fluency to reason with domain experts • Clear technical writing and willingness to expose uncertainty, failed approaches, and contrary evidence • Eligible to work in the United States or Canada • PhD in a related field is preferred, not required • Experience with frontier language models, intermediate representations, static analysis, SMT/SAT solving, theorem proving, constrained generation, domain-specific languages, healthcare interoperability standards, or safety-critical systems is a bonus

🏖️ Benefits

• Health, dental, and vision benefits • Flexible PTO • Paid parental leave • Remote work with offsites multiple times per year

📊 Check your resume score for this job

Improve your chances of getting an interview by checking your resume score before you apply.

Upload Resume