4 automation scientist jobs at 2 companies in Denver, CO

1mo
Save
Mark Applied
Hide
Postdoctoral Scientist, Autonomous NMR Characterization
Louisville, Colorado, United States
$58k-$123k/yr OnsiteFull Time
Eli Lilly and Company
Eli Lilly and CompanyNYSE: LLY: Researches and manufactures medicines for human health.
PhD in chemistry or related field by Oct 2026, US work authorization required, strong NMR and programming experience, familiarity with automation, data analysis, and scientific software.
TopSpin Python API, TopSpin, IconNMR, Bruker, MestReNova, Mestre, ACD, Python, R
1mo
Save
Mark Applied
Hide
Postdoctoral Scientist – Synthetic & Medicinal Chemistry
Boulder or Louisville
$58k-$123k/yr OnsiteFull Time
Eli Lilly and Company
Eli Lilly and CompanyNYSE: LLY: Researches and manufactures medicines for human health.
PhD in chemistry or related field; authorized to work in the US; hands-on synthetic and analytical chemistry experience (NMR, HPLC, LC–MS); experience with photochemistry/electrochemistry, flow/continuous processing, and lab automation preferred.
NMR, HPLC, LC–MS, Python, R
1w
Save
Mark Applied
Hide
Applied Real World Data Scientist
Denver, Colorado, United States
$160k-$190k/yr RemoteFull Time
Evio
Evio: Provides analytics and contracting solutions for high-cost medications.
5+ YOERequires 5+ years in healthcare analytics, RWE, HEOR, data science, or related work; 5+ years with machine learning; claims data experience; SQL and Python or R; statistical analysis and workflow automation skills.
SQL, Python, R
6d
Save
Mark Applied
Hide
Applied Scientist, Automated Reasoning
New York or Washington or Boston or Austin or Arlington or Seattle or Santa Clara or Denver or Portland or San Francisco
$167k-$260k/yr OnsiteFull Time
Amazon
AmazonNASDAQ: AMZN: Global online retail and cloud computing technology provider.
PhD or equivalent research experience plus expertise in mathematical logic, formal verification, satisfiability solving, theorem proving, model checking, or program analysis.
Lean, Dafny, Isabelle, Rocq, OCaml, Haskell, Rust, Scala, Kotlin, SAT, SMT