Expert in Automated Reasoning and Identity
5 days ago
We are seeking an experienced expert in automated reasoning and identity to join our team at Amazon. This is a challenging role that requires strong technical skills, leadership abilities, and a passion for innovation.
ResponsibilitiesThe successful candidate will be responsible for:
- Developing and leading projects related to automated reasoning and identity, with a focus on real-world applications.
- Collaborating with internal teams and external customers to understand their requirements and develop innovative solutions.
- Applying formal verification, program analysis, constraint-solving, and theorem proving techniques to address complex problems.
- Mentoring and training junior researchers in these areas.
To be considered for this role, you must have:
- A Ph.D. degree in Electrical Engineering, Computer Science, Mathematics, or a related field.
- At least 7+ years of industrial/academic experience in formal verification, program analysis, constraint-solving, and theorem proving.
- Strong programming skills in languages such as Java, Scala, C/C++, Ruby, or Python, as well as experience with open-source technologies.
As an employee of Amazon, you will enjoy a range of benefits, including:
- A competitive salary: $250,000 per year, based on location and experience.
- A comprehensive benefits package, including medical, dental, and vision insurance.
- A generous stock option plan.
Amazon is a leading technology company that values innovation, customer obsession, and long-term thinking. We offer a dynamic and inclusive work environment, with opportunities to learn and grow in a fast-paced industry.
-
Identity and Access Management Expert
4 weeks ago
San Francisco, California, United States Fastly Full timeAbout UsAt Fastly, we help people stay better connected with the things they love. Our edge cloud platform enables customers to create great digital experiences quickly, securely, and reliably by processing, serving, and securing our customers' applications as close to their end-users as possible — at the edge of the Internet.We're a small company with a...
-
Automation Expert
1 week ago
San Francisco, California, United States Unreal Gigs Full timeAbout the Job:At Unreal Gigs, we're committed to delivering exceptional results through innovation and teamwork. We're seeking an experienced Automation Expert to join our team and drive the development of our infrastructure and automation processes.Key Responsibilities:Develop and maintain CI/CD pipelines for automated testing, deployment, and monitoring of...
-
ETL Automation Expert
2 days ago
San Francisco, California, United States Diverse Lynx Full time**ETL Automation Expert Wanted!We are seeking a highly skilled ETL Automation Expert to join our team at Diverse Lynx LLC. The ideal candidate will have expertise in Matillion, Snowflake SQL, and Tableau, with a strong focus on automating ETL processes and improving operational efficiency.**Key Responsibilities:**Develop and implement automated workflows...
-
Automation and Integration Expert
1 week ago
San Francisco, California, United States Tekfortune Inc Full timeJob Title: Automation and Integration ExpertWe are seeking an experienced Automation and Integration Expert to join our team at Tekfortune Inc. The ideal candidate will have a strong background in software development, automation, and integration.Job Description:Design, develop, and deploy automated deployment pipelines using Jenkins, GitHub Actions, and...
-
Identity and Access Management Expert
3 weeks ago
San Francisco, California, United States City and County of San Francisco Full timeTransform your career with a challenging opportunity in the City and County of San Francisco!About the JobWe are seeking an experienced Identity and Access Management (IAM) Engineer to join our team at the Department of Technology. As an IAM Engineer, you will play a critical role in designing, implementing, and maintaining secure identity management...
-
Test Automation Expert
1 week ago
San Francisco, California, United States CyberTec Full time**CyberTec Overview:** At CyberTec, we are dedicated to delivering high-quality software solutions that meet the evolving needs of our clients. Our team of experts is passionate about innovation and committed to excellence in every aspect of our work.We are currently seeking a highly skilled Test Automation Expert to join our team. As a Sr. Software Quality...
-
Quality Assurance Engineer
1 week ago
San Francisco, California, United States Perfict Global, Inc. Full time**Job Summary**We are looking for a highly skilled Quality Assurance Engineer - Automation Expert to join our team at Perfict Global Inc. in Concord, California. As an expert in automation testing, you will be responsible for developing and executing automated tests to ensure the quality and reliability of our software applications.**Key...
-
Automation Expert for Network Systems
1 week ago
San Francisco, California, United States A Society Group Full timeA Society Group is seeking a highly skilled Automation Expert for our network systems team. The estimated salary for this role is $130,000 - $160,000 per year.The ideal candidate will have 5+ years of experience in networking and automation, with expertise in developing and documenting test automation software for communication networks. This includes...
-
Identity Access Management Expert
7 days ago
San Francisco, California, United States BlueWave Resource Partners Full timeJob Title: Identity Access Management ExpertWe are looking for an experienced Identity Access Management Expert to join our team at BlueWave Resource Partners. As a System Admin, you will be responsible for gathering and analyzing competitor technology products and services.Responsibilities:- Perform in-depth analysis of Microsoft Identity Products through...
-
Test Automation Expert
2 weeks ago
San Francisco, California, United States Bayone Full timeAbout Bayone: We are a leading software development company dedicated to delivering high-quality software solutions. Our team of experts works closely together to ensure that every project meets the highest standards of quality and functionality.Job Overview: We are seeking a skilled Test Automation Expert - Mobile Applications to join our quality assurance...
-
Cloud Infrastructure Automation Expert
3 weeks ago
San Francisco, California, United States CV Library Full timeAbout UsHinge Health is revolutionizing the way healthcare is treated and prevented. Our cutting-edge approach combines advanced technology, AI, and a team of expert clinicians to provide personalized care directly from your phone.Our MissionWe aim to move people beyond pain by transforming the way it is treated and prevented. We're trusted by leading health...
-
JavaScript Automation Expert
7 days ago
San Diego, California, United States Bestinfo Systems LLC Full timeJavaScript Automation Expert WantedBestinfo Systems LLC is looking for a highly skilled JavaScript Automation Expert to join our team as a Technical Architect.About the Position:This is a full-time opportunity for an experienced Technical Architect with a strong background in JavaScript, Node.js, and related technologies.The ideal candidate will have...
-
Automation Specialist
4 weeks ago
San Francisco, California, United States Saxon Global Full time{"h1":"DevOps Automation Expert","p":"At Saxon Global, we are seeking a highly skilled DevOps Automation Expert to join our team.Key Responsibilities:- Design and implement automated solutions for our critical platform in the storage team.- Migrate the platform to the cloud (preferably Azure) and enable automation using tools such as Terraform, Ansible,...
-
Identity Governance Architect
2 weeks ago
San Francisco, California, United States City and County of San Francisco Full timeAbout the Role: We are seeking an experienced Identity Governance Engineer to join our team at the City and County of San Francisco. As an IAM Engineer, you will be responsible for designing, implementing, and maintaining our identity and access management systems.">Job Responsibilities:Design, implement, and maintain Oracle Identity and Access Management...
-
Automation and Controls Expert
1 week ago
San Diego, California, United States Disability Solutions Full timeWe are Disability Solutions, and we are seeking an Automation and Controls Expert to join our team. This role comes with a competitive salary of $90,000 - $120,000 per year.About the JobIn this role, you will be responsible for designing, developing, and implementing automation and controls solutions for our industrial manufacturing environment.The ideal...
-
Advanced Reasoning Internship Opportunity
2 weeks ago
San Francisco, California, United States Scale AI Full timeAbout Us:Scale AI is a leading company in the development of advanced AI models. Our mission is to make AI accessible to all industries, and we are committed to creating innovative solutions that push the boundaries of what is possible.Job Overview:We are seeking a highly skilled Machine Learning researcher to join our team and contribute to our research and...
-
QA Automation Expert
2 days ago
San Francisco, California, United States Unlayer Full timeJob DetailsWe are seeking a Quality Assurance Automation Engineer to join our team at Unlayer. This is an exciting opportunity to work with a dynamic international team dedicated to delivering high-quality software products. As a key member of our team, you will be responsible for ensuring the quality of our software products by developing and executing both...
-
Technical Lead Identity and Access Management
4 weeks ago
San Francisco, California, United States salesforce Full timeAs a Technical Lead in Identity and Access Management at Salesforce, you will play a crucial role in shaping the future of our MuleSoft platform. With significant domain experience in Identity and Access Management, you will lead the charge in unifying our cloud platform with the larger Salesforce platform.The mission is ambitious – to create a single root...
-
Identity Management Expert
7 days ago
San Diego, California, United States Booz Allen Hamilton Full timeCompany OverviewAt Booz Allen Hamilton, we're dedicated to empowering our clients to meet their mission objectives without disruption. Our team of experts is committed to delivering innovative solutions that address the evolving needs of our clients in the field of identity and access management.
-
Senior Identity Architect
1 month ago
San Francisco, California, United States Salesforce, Inc. Full timeSenior Identity Architect - Cloud SecuritySalesforce, Inc. offers a competitive salary for this role, estimated to be around $180,000 per year.About the CompanyWe are a leading customer relationship management platform that empowers businesses to connect with customers in a whole new way.As a Principal Software Engineer on our team, you will play a critical...