Principal Scientist Jobs in Austin, TX
Principal Scientist jobs in Austin, Texas are open across the metro, with employers like Apple, SentiLink, and Amazon Web Services hiring at every experience level. Scan the live roles below and apply to whichever ones fit.
Find Principal Scientist JobsOverview
Open roles16
Top employerApple
Work type56% Hybrid
Top credentialBachelor's
Companies hiring10
Showing 5 of 16+ Principal Scientist jobs
Principal Applied Scientist, Agentic Automated Reasoning Group
We won't show you this job again
Added 1w ago
Amazon Web Services
Principal Applied Scientist, Agentic Automated Reasoning Group
Austin, Texas
Added 1w ago
Senior Data Scientist
We won't show you this job again
Added 4d ago
Cloudflare
Senior Data Scientist
Austin, Texas
Added 4d ago
Senior Applied Scientist, AWS Marketplace Science
We won't show you this job again
Added 4d ago
Amazon Web Services
Senior Applied Scientist, AWS Marketplace Science
Austin, Texas
Added 4d ago
Senior Data Scientist
We won't show you this job again
Added 1w ago
Visa
Senior Data Scientist
Austin, Texas
Added 1w ago
Senior Data Scientist
We won't show you this job again
Added 1w ago
Apple
Senior Data Scientist
Austin, Texas
Added 1w ago
Added 1w ago
Principal Applied Scientist, Agentic Automated Reasoning Group
Amazon Web Services·Austin, Texas
Job functions:
$199k - $269k/yr
10+ yrs exp.
Doctoral degree in Computer Science
Full Time
Job Description
DESCRIPTION
The Agentic Automated Reasoning Group is building the next generation of software verification tools combining advances in artificial intelligence, the computational capacity of the cloud, and our deep expertise in the domain. Join us if you want to be a part of this transformational endeavor.
The Strata team (https://github.com/strata-org) is seeking a Principal Applied Scientist with broad interest and expertise in interactive theorem proving, programming language semantics, deductive verification and generative AI. You will combine your expertise with that of your coworkers to build new tools that solve code analysis problems previously considered beyond reach. Our application areas span all the way from Infrastructure as Code to high-performance cryptography written in assembly code, while our methods span from interactive theorem proving to automated test generation.
Each day, hundreds of thousands of developers make billions of transactions worldwide on AWS. They harness the power of the cloud to enable innovative applications, websites, and businesses. Using automated reasoning technology and mathematical proofs, AWS allows customers to answer questions about security, availability, durability, and functional correctness. We call this provable security, absolute assurance in security of the cloud and in the cloud. https://aws.amazon.com/security/provable-security/
Key job responsibilities
About the team
You will be working with a team of formal verification specialists spanning recently hired PhDs to industry veterans. You will work collaboratively to deliver results in the form of verified code and tools to accelerate code verification for our customer teams.
The Strata team (https://github.com/strata-org) is seeking a Principal Applied Scientist with broad interest and expertise in interactive theorem proving, programming language semantics, deductive verification and generative AI. You will combine your expertise with that of your coworkers to build new tools that solve code analysis problems previously considered beyond reach. Our application areas span all the way from Infrastructure as Code to high-performance cryptography written in assembly code, while our methods span from interactive theorem proving to automated test generation.
Each day, hundreds of thousands of developers make billions of transactions worldwide on AWS. They harness the power of the cloud to enable innovative applications, websites, and businesses. Using automated reasoning technology and mathematical proofs, AWS allows customers to answer questions about security, availability, durability, and functional correctness. We call this provable security, absolute assurance in security of the cloud and in the cloud. https://aws.amazon.com/security/provable-security/
Key job responsibilities
- Define roadmap and lead delivery of AR solutions across multiple customer use cases.
- Identify tools and methods capable of addressing the verification needs of customers, including any novel analysis capabilities required.
- Use tools spanning from fuzzers, property-based testing to model checkers, and interactive theorem provers to establish program properties.
- Explore generative AI techniques to help customers formalize their requirements, find revealing tests, generate required boiler plate for testing and model checking, and find and repair program proofs.
About the team
You will be working with a team of formal verification specialists spanning recently hired PhDs to industry veterans. You will work collaboratively to deliver results in the form of verified code and tools to accelerate code verification for our customer teams.
BASIC QUALIFICATIONS
- PhD in Electrical Engineering, Computer Science, Mathematics, or a related technical field
- Experience distilling informal customer requirements into problem definitions, dealing with ambiguity and competing objectives
- Experience programming in Java, C++, Python or related language
- Experience with leading experienced scientists as well as having a record of developing junior members from academia or industry to a career track in a business environment
- 10+ years of industry or academic work in formal verification, program analysis, constraint-solving or theorem proving experience
PREFERRED QUALIFICATIONS
- 10+ years of relevant work in industry or academia experience
- Knowledge of problem solving, algorithm design and complexity analysis
- Experience creating novel algorithms and advancing the state of the art
- Have peer-reviewed scientific contributions in premier journals and conferences
Amazon is an equal opportunity employer and does not discriminate on the basis of protected veteran status, disability, or other legally protected status.
Los Angeles County applicants: Job duties for this position include: work safely and cooperatively with other employees, supervisors, and staff; adhere to standards of excellence despite stressful conditions; communicate effectively and respectfully with employees, supervisors, and staff to ensure exceptional customer service; and follow all federal, state, and local laws and Company policies. Criminal history may have a direct, adverse, and negative relationship with some of the material job duties of this position. These include the duties and responsibilities listed above, as well as the abilities to adhere to company policies, exercise sound judgment, effectively manage stress and work safely and respectfully with others, exhibit trustworthiness and professionalism, and safeguard business operations and the Company’s reputation. Pursuant to the Los Angeles County Fair Chance Ordinance, we will consider for employment qualified applicants with arrest and conviction records.
Our inclusive culture empowers Amazonians to deliver the best results for our customers. If you have a disability and need a workplace accommodation or adjustment during the application and hiring process, including support for the interview or onboarding process, please visit https://amazon.jobs/content/en/how-we-hire/accommodations for more information. If the country/region you’re applying in isn’t listed, please contact your Recruiting Partner.
The base salary range for this position is listed below. Your Amazon package will include sign-on payments and restricted stock units (RSUs). Final compensation will be determined based on factors including experience, qualifications, and location. Amazon also offers comprehensive benefits including health insurance (medical, dental, vision, prescription, Basic Life & AD&D insurance and option for Supplemental life plans, EAP, Mental Health Support, Medical Advice Line, Flexible Spending Accounts, Adoption and Surrogacy Reimbursement coverage), 401(k) matching, paid time off, and parental leave. Learn more about our benefits at https://amazon.jobs/en/benefits.
USA, CA, Santa Clara - 228,700.00 - 309,400.00 USD annually
USA, MA, Boston - 198,900.00 - 269,000.00 USD annually
USA, OR, Portland - 198,900.00 - 269,000.00 USD annually
USA, TX, Austin - 198,900.00 - 269,000.00 USD annually
Amazon Web Services
Principal Applied Scientist, Agentic Automated Reasoning Group
Austin, Texas
Added 1w ago
Job functions:
$199k - $269k/yr
10+ yrs exp.
Doctoral degree in Computer Science
Full Time
Job Description
DESCRIPTION
The Agentic Automated Reasoning Group is building the next generation of software verification tools combining advances in artificial intelligence, the computational capacity of the cloud, and our deep expertise in the domain. Join us if you want to be a part of this transformational endeavor.
The Strata team (https://github.com/strata-org) is seeking a Principal Applied Scientist with broad interest and expertise in interactive theorem proving, programming language semantics, deductive verification and generative AI. You will combine your expertise with that of your coworkers to build new tools that solve code analysis problems previously considered beyond reach. Our application areas span all the way from Infrastructure as Code to high-performance cryptography written in assembly code, while our methods span from interactive theorem proving to automated test generation.
Each day, hundreds of thousands of developers make billions of transactions worldwide on AWS. They harness the power of the cloud to enable innovative applications, websites, and businesses. Using automated reasoning technology and mathematical proofs, AWS allows customers to answer questions about security, availability, durability, and functional correctness. We call this provable security, absolute assurance in security of the cloud and in the cloud. https://aws.amazon.com/security/provable-security/
Key job responsibilities
About the team
You will be working with a team of formal verification specialists spanning recently hired PhDs to industry veterans. You will work collaboratively to deliver results in the form of verified code and tools to accelerate code verification for our customer teams.
The Strata team (https://github.com/strata-org) is seeking a Principal Applied Scientist with broad interest and expertise in interactive theorem proving, programming language semantics, deductive verification and generative AI. You will combine your expertise with that of your coworkers to build new tools that solve code analysis problems previously considered beyond reach. Our application areas span all the way from Infrastructure as Code to high-performance cryptography written in assembly code, while our methods span from interactive theorem proving to automated test generation.
Each day, hundreds of thousands of developers make billions of transactions worldwide on AWS. They harness the power of the cloud to enable innovative applications, websites, and businesses. Using automated reasoning technology and mathematical proofs, AWS allows customers to answer questions about security, availability, durability, and functional correctness. We call this provable security, absolute assurance in security of the cloud and in the cloud. https://aws.amazon.com/security/provable-security/
Key job responsibilities
- Define roadmap and lead delivery of AR solutions across multiple customer use cases.
- Identify tools and methods capable of addressing the verification needs of customers, including any novel analysis capabilities required.
- Use tools spanning from fuzzers, property-based testing to model checkers, and interactive theorem provers to establish program properties.
- Explore generative AI techniques to help customers formalize their requirements, find revealing tests, generate required boiler plate for testing and model checking, and find and repair program proofs.
About the team
You will be working with a team of formal verification specialists spanning recently hired PhDs to industry veterans. You will work collaboratively to deliver results in the form of verified code and tools to accelerate code verification for our customer teams.
BASIC QUALIFICATIONS
- PhD in Electrical Engineering, Computer Science, Mathematics, or a related technical field
- Experience distilling informal customer requirements into problem definitions, dealing with ambiguity and competing objectives
- Experience programming in Java, C++, Python or related language
- Experience with leading experienced scientists as well as having a record of developing junior members from academia or industry to a career track in a business environment
- 10+ years of industry or academic work in formal verification, program analysis, constraint-solving or theorem proving experience
PREFERRED QUALIFICATIONS
- 10+ years of relevant work in industry or academia experience
- Knowledge of problem solving, algorithm design and complexity analysis
- Experience creating novel algorithms and advancing the state of the art
- Have peer-reviewed scientific contributions in premier journals and conferences
Amazon is an equal opportunity employer and does not discriminate on the basis of protected veteran status, disability, or other legally protected status.
Los Angeles County applicants: Job duties for this position include: work safely and cooperatively with other employees, supervisors, and staff; adhere to standards of excellence despite stressful conditions; communicate effectively and respectfully with employees, supervisors, and staff to ensure exceptional customer service; and follow all federal, state, and local laws and Company policies. Criminal history may have a direct, adverse, and negative relationship with some of the material job duties of this position. These include the duties and responsibilities listed above, as well as the abilities to adhere to company policies, exercise sound judgment, effectively manage stress and work safely and respectfully with others, exhibit trustworthiness and professionalism, and safeguard business operations and the Company’s reputation. Pursuant to the Los Angeles County Fair Chance Ordinance, we will consider for employment qualified applicants with arrest and conviction records.
Our inclusive culture empowers Amazonians to deliver the best results for our customers. If you have a disability and need a workplace accommodation or adjustment during the application and hiring process, including support for the interview or onboarding process, please visit https://amazon.jobs/content/en/how-we-hire/accommodations for more information. If the country/region you’re applying in isn’t listed, please contact your Recruiting Partner.
The base salary range for this position is listed below. Your Amazon package will include sign-on payments and restricted stock units (RSUs). Final compensation will be determined based on factors including experience, qualifications, and location. Amazon also offers comprehensive benefits including health insurance (medical, dental, vision, prescription, Basic Life & AD&D insurance and option for Supplemental life plans, EAP, Mental Health Support, Medical Advice Line, Flexible Spending Accounts, Adoption and Surrogacy Reimbursement coverage), 401(k) matching, paid time off, and parental leave. Learn more about our benefits at https://amazon.jobs/en/benefits.
USA, CA, Santa Clara - 228,700.00 - 309,400.00 USD annually
USA, MA, Boston - 198,900.00 - 269,000.00 USD annually
USA, OR, Portland - 198,900.00 - 269,000.00 USD annually
USA, TX, Austin - 198,900.00 - 269,000.00 USD annually
See All 16 Principal Scientist Jobs in Austin
Find roles in Austin that match your experience and apply in just a few clicks.
Find Principal Scientist JobsPrincipal Scientist Job Market in Austin
Who's Hiring
- Apple4
- SentiLink3
- Amazon Web Services2
- AMD1
- Visa1
Top Industries Hiring
- Technology & Software4
- Electronics & Hardware4
- Food & Beverage2
- Distribution & Wholesale2
- Banking & Financial Services2
Principal Scientist Jobs in Austin: Frequently Asked Questions
How many principal scientist jobs are there in Austin?
There are 16+ principal scientist openings in Austin, Texas on Migrate Mate as of June 2026. New positions post regularly as Austin employers hire.
Which companies hire principal scientists in Austin?
Companies currently hiring principal scientists in Austin include Apple, SentiLink, and Amazon Web Services, per current listings on Migrate Mate as of June 2026.
Are there remote principal scientist jobs in Austin?
Yes. About 56% of principal scientist openings tied to Austin are remote or hybrid as of June 2026. The rest are on-site roles based in and around Austin.
Which industries hire the most principal scientists in Austin?
Austin principal scientist roles concentrate in Technology & Software, Electronics & Hardware, and Food & Beverage, based on current listings on Migrate Mate as of June 2026.
See All 16 Principal Scientist Jobs in Austin
Find roles in Austin that match your experience and apply in just a few clicks.
Find Principal Scientist Jobs