18 program scientist jobs at 7 companies in Pflugerville, TX
2w
Save
Mark Applied
Hide
2w
Senior Scientist, LPI Modeling & Beam Smoothing
Austin, Texas, United States
RemoteFull Time
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.
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.
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.
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.
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.
Boston or Austin or Seattle or Santa Clara or New York or Portland
$143k-$223k/yrOnsiteFull Time
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.
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.
Principal Applied Scientist, Agentic Automated Reasoning Group
Boston or Austin or Santa Clara or Portland
$199k-$309k/yrOnsiteFull Time
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.
Boston or Austin or Seattle or Santa Clara or New York or Portland
$167k-$260k/yrOnsiteFull Time
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.
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.
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.
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.
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.
Project Manager Scientist in Houston, Texas, United States
Houston or Austin
OnsiteFull Time
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.
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.
Data Scientist - Anti-Money Laundering Analytics & Modeling
Pittsburgh or Austin or Charlotte or Philadelphia or Wilmington or Cleveland or Washington
$86k-$173k/yrOnsiteFull Time
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.
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/yrOnsiteFull Time
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.