18 program scientist jobs at 7 companies in Cedar Park, TX

2w
Save
Mark Applied
Hide
Senior Scientist, LPI Modeling & Beam Smoothing
Austin, Texas, United States
RemoteFull Time
Focused Energy
Focused Energy: Develops laser-driven inertial fusion for clean energy generation.
10+ YOEPhD in plasma physics (or equivalent), 10+ years post‑doc/staff scientist experience, deep LPI and beam smoothing theory, PIC/fluid simulation experience, HPC programming with OpenMP/MPI in C++ and/or Python.
DUED, OpenMP, MPI, C++, Python, HPC, PIC
2d
Save
Mark Applied
Hide
Project Manager Scientist
Houston or Austin
OnsiteFull Time
Tetra Tech
Tetra TechNASDAQ: TTEK: Global provider of high-end consulting and engineering services.
3+ YOEBachelor's in environmental science/geology, 3+ years relevant experience, project management and regulatory knowledge for TX/NM oil & gas, ability to obtain professional licensure and HAZWOPER preferred.
3w
Save
Mark Applied
Hide
Demographic Data Scientist
Austin, Texas, United States
OnsiteFull Time
Apple
AppleNASDAQ: AAPL: Designs and sells consumer electronics, software, and online services.
Experience with statistics, computer programming, and machine learning to analyze human population data and create actionable visualizations for hardware design.
1mo
Save
Mark Applied
Hide
Applied Scientist, AWS Automated Reasoning
Austin, Texas, United States
$167k-$226k/yr OnsiteFull Time
Amazon
AmazonNASDAQ: AMZN: Global online retail and cloud computing technology provider.
PhD or Master's degree required. Experience with SAT/SMT, theorem proving, symbolic simulation, type systems or program analysis. Strong programming and research skills; mentoring and strategic problem solving experience.
SAT, SMT, OCaml, Dafny, Haskell, Kotlin, Lean, Rust, Scala
1mo
Save
Mark Applied
Hide
Applied Scientist, AWS Automated Reasoning
Austin, Texas, United States
$143k-$193k/yr OnsiteFull Time
Amazon
AmazonNASDAQ: AMZN: Global online retail and cloud computing technology provider.
Ph.D. in CS/CE or related field; experience with SAT/SMT, theorem proving, symbolic simulation, type systems, or program analysis; programming experience (OCaml, Dafny, Haskell, Kotlin, Lean, Rust, Scala); strong problem solving and mentoring skills.
O'Caml, Dafny, Haskell, Kotlin, Lean, Rust, Scala
1w
Save
Mark Applied
Hide
Applied Scientist, AWS Automated Reasoning
Boston or Austin or Seattle or Santa Clara or New York or Portland
$143k-$223k/yr OnsiteFull Time
Amazon
AmazonNASDAQ: AMZN: Global online retail and cloud computing technology provider.
PhD or equivalent research experience required; strong research background in automated reasoning; experience programming in functional/modern languages preferred.
OCaml, Dafny, Haskell, Kotlin, Lean, Rust, Scala
1mo
Save
Mark Applied
Hide
Applied Scientist, AWS Automated Reasoning
Boston or Austin or Seattle or Portland
$143k-$193k/yr OnsiteFull Time
Amazon
AmazonNASDAQ: AMZN: Global online retail and cloud computing technology provider.
PhD in CS/CE or related; experience in SAT, SMT, theorem proving, symbolic simulation, type systems, or program analysis; strong research and problem-solving skills; mentoring and cross-organizational influence.
SAT, SMT, O'Caml, Dafny, Haskell, Kotlin, Lean, Rust, Scala
1mo
Save
Mark Applied
Hide
Research Scientist III, AWS Security
Austin or Nashville or Seattle or Herndon
$159k-$215k/yr OnsiteFull Time
Amazon
AmazonNASDAQ: AMZN: Global online retail and cloud computing technology provider.
3+ YOEPhD or Master’s +5yrs quantitative research; 3+ yrs applying SEM/latent variable modeling; experience designing end-to-end customer research; programming in R/Python/Ruby; strong statistical and communication skills.
R, Python, Ruby, AWS, Hadoop, Spark, Pig, Hive
1mo
Save
Mark Applied
Hide
Principal Applied Scientist, Agentic Automated Reasoning Group
Boston or Austin or Santa Clara or Portland
$199k-$309k/yr OnsiteFull Time
Amazon
AmazonNASDAQ: AMZN: Global online retail and cloud computing technology provider.
10+ YOEPhD in CS/EE/Math, 10+ years in formal verification, program analysis, constraint solving or theorem proving; experience programming in Java, C++, Python; ability to distill customer requirements and lead technical teams.
Java, C++, Python
1w
Save
Mark Applied
Hide
Sr. Applied Scientist, AWS Automated Reasoning
Boston or Austin or Seattle or Santa Clara or New York or Portland
$167k-$260k/yr OnsiteFull Time
Amazon
AmazonNASDAQ: AMZN: Global online retail and cloud computing technology provider.
PhD or equivalent research experience required; experience with SAT, SMT, theorem proving, symbolic simulation, type systems, or program analysis; strong communication and mentoring skills.
OCaml, Dafny, Haskell, Kotlin, Lean, Rust, Scala
1mo
Save
Mark Applied
Hide
Sr. Applied Scientist, AWS Automated Reasoning
Boston or Austin or Seattle or Portland
$167k-$226k/yr OnsiteFull Time
Amazon
AmazonNASDAQ: AMZN: Global online retail and cloud computing technology provider.
PhD or Master's degree; experience with SAT, SMT, theorem proving, symbolic simulation, type systems, or program analysis. Preferred experience with O'Caml, Dafny, Haskell, Kotlin, Lean, Rust, or Scala.
SAT, SMT, O'Caml, Dafny, Haskell, Kotlin, Lean, Rust, Scala
3d
Save
Mark Applied
Hide
Sr. Applied Scientist, AWS Automated Reasoning
Boston or Austin or Seattle or Portland
$167k-$226k/yr OnsiteFull Time
Amazon
AmazonNASDAQ: AMZN: Global online retail and cloud computing technology provider.
PhD or equivalent research experience; expertise in automated reasoning, theorem proving, program analysis or related areas; experience with SAT/SMT/mechanical theorem proving; strong communication and mentoring skills.
OCaml, Dafny, Haskell, Kotlin, Lean, Rust, Scala
1mo
Save
Mark Applied
Hide
Senior Applied Scientist, AWS Marketplace Science
Austin or Seattle or New York or San Diego
$167k-$249k/yr OnsiteFull Time
Amazon
AmazonNASDAQ: AMZN: Global online retail and cloud computing technology provider.
3+ YOEPhD or Master's plus 6+ years research experience; 3+ years building ML models; programming in Java, C++, or Python; experience in information retrieval, recommendations, and applied ML; strong communication and mentoring skills.
Java, C++, Python
2mo
Save
Mark Applied
Hide
(FALL) Data Scientist Intern - PhD
Austin, Texas, United States
OnsiteFull Time, Internship
Integra FEC
Integra FEC: Provides forensic data analytics and economic consulting for fraud investigations.
Familiarity with R, SQL, Python; Excel; detail-oriented; team-oriented; enrolled in a PhD program; authorized to work in the U.S.; no visa sponsorship.
R, SQL, Python, Microsoft Excel
2d
Save
Mark Applied
Hide
Project Manager Scientist in Houston, Texas, United States
Houston or Austin
OnsiteFull Time
Tetra Tech
Tetra TechNASDAQ: TTEK: Provides global consulting and engineering services for water and environment.
3+ YOEBachelor's in environmental science, geology, or related field; minimum 3 years relevant experience; geology/hydrogeology and regulatory knowledge for TX/NM oil & gas; project management and client communication skills.
1mo
Save
Mark Applied
Hide
Data Scientist - Anti-Money Laundering Analytics & Modeling
Pittsburgh or Austin or Charlotte or Philadelphia or Wilmington or Cleveland or Washington
$86k-$173k/yr OnsiteFull Time
PNC Financial Services
PNC Financial ServicesNYSE: PNC: Provides banking, lending, and investment services to customers.
3+ YOEDesign and build AML models using statistical and ML techniques; strong programming in Python, PySpark, R, SQL; data mining and preparation; model validation and productionization; Master's preferred and 3+ years relevant experience.
Python, PySpark, R, SQL, AWS, Google Cloud, Azure
1mo
Save
Mark Applied
Hide
Applied Scientist, Machine Learning Accelerator - Annapurna Labs
Austin or Cupertino or Los Angeles County
$143k-$193k/yr OnsiteFull Time
Amazon
AmazonNASDAQ: AMZN: Global online retail and cloud computing technology provider.
3+ YOEPhD or Master's + experience in CS/CE/ML, 3+ years building models for business applications, publications/patents, programming in Java/C++/Python, and experience in algorithms, optimization, parallel/distributed or high-performance computing.
SMT solver, Java, C++, Python, Unix/Linux, Amazon S3, Amazon EC2
1w
Save
Mark Applied
Hide
Statistician (Data Scientist)
Washington or Salt Lake City or Seattle or Phoenix or Los Angeles or San Francisco or Denver or Miami or Atlanta or Chicago or Indianapolis or New Orleans or Boston or Minneapolis or Kansas City or Albuquerque or New York or Oklahoma City or Portland or Austin
$106k-$173k/yr OnsiteFull Time
Department of Veterans Affairs
Department of Veterans Affairs: Provides healthcare, benefits, and cemetery services to military veterans.
1+ YOEDegree with substantial statistics coursework or equivalent education/experience; specialized GS-13 experience with statistical design, data modeling, and program evaluation; proficiency with R, SAS, and SQL; U.S. citizenship required.
R, SAS, SQL, Corporate Data Warehouse