8 automation scientist jobs at 3 companies in Austin, TX
1mo
Save
Mark Applied
Hide
Clinical Laboratory Scientist
Austin, Texas, United States
$34/hr OnsiteTemporary
1+ YOEBachelor's in clinical laboratory science or related field, current CLS/MLS certification and state licensure, 1+ years clinical lab experience, familiarity with automated analyzers and blood bank techniques.
2mo
Save
Mark Applied
Hide
DevOps Engineering Scientist
Austin, Texas, United States
$104k-$174k/yr OnsiteFull Time
3+ YOEBachelor's in CS or related, 3+ years related experience, ability to build and operate CI/CD and release automation, work with sensitive information, follow coding/testing standards, US citizenship and clearance eligibility required.
C#, Python, JavaScript, C/C++, Java, Robot Operating System (ROS), Oracle, MSSQL, MYSQL, PostgreSQL, Git, Artifactory, SSH, SCP, FTP, HTTP(S), TCP/IP, STIG, iptables, Bash, Perl, Microsoft PowerShell, YAML, Linux, Windows, Microsoft MSBuild, CMake, Conda, VMWare, Amazon Web Services
3d
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
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
2mo
Save
Mark Applied
Hide
Applied Scientist, AWS Automated Reasoning
Austin, Texas, United States
$143k-$193k/yr OnsiteFull Time
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
2mo
Save
Mark Applied
Hide
Applied Scientist, AWS Automated Reasoning
Boston or Austin or Seattle or Portland
$143k-$193k/yr OnsiteFull Time
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
2mo
Save
Mark Applied
Hide
Applied Scientist, AWS Automated Reasoning
Austin, Texas, United States
$167k-$226k/yr OnsiteFull Time
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
2mo
Save
Mark Applied
Hide
Sr. Applied Scientist, AWS Automated Reasoning
Boston or Austin or Seattle or Portland
$167k-$226k/yr OnsiteFull Time
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
2mo
Save
Mark Applied
Hide
Principal Applied Scientist, Agentic Automated Reasoning Group
Boston or Austin or Santa Clara or Portland
$199k-$309k/yr OnsiteFull Time
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