Innovative Software Architect for Cloud Security Solutions

4 weeks ago


Merrifield, Virginia, United States Amazon Development Center U.S., Inc. Full time
Job Description

A day in the life of an Applied Scientist II at Amazon Development Center U.S., Inc.

  • You will work on cutting-edge technology related to formal methods, automated reasoning, automated testing, and adjacent areas.
  • Collaborate with fellow applied scientists to solve challenging problems that provide value to customers by improving the quality of software.
  • Opportunity to publish your work and contribute to the growth of the Automated Reasoning in Identity (ARI) team.
About the Team

The ARI team is expanding rapidly, working on applying automated reasoning techniques to services within AWS's Identity organization. The reach of AR within Identity is growing, with more scientists joining all the time.

Key Responsibilities
  • Interact with various teams to develop an understanding of their security and safety requirements.
  • Apply acquired knowledge to build tools that find problems or show the absence of security/safety problems.
  • Implement these tools using SAT, SMT, BDDs, and various concepts from programming languages, theorem proving, formal verification, and constraint solving.
  • Perform analysis of customer systems using tools developed in-house or externally provided.
Leadership Responsibilities
  • Present and defend company-wide technical decisions to the internal technical community and represent the company effectively at technical conferences.
  • Functional thought leader, sought after for key tech decisions. Can successfully sell ideas to an executive-level decision maker.
  • Mentors and trains the research scientist community on complex technical issues.
Requirements
  • PhD or Master's degree in Computer Science, Electrical Engineering, Machine Learning, or a related field, or equivalent experience.
  • 3+ years of building models for business application experience.
  • Experience in patents or publications at top-tier peer-reviewed conferences or journals.
  • Proficiency in programming languages such as Java, C++, Python, or related languages.
  • Experience in algorithms and data structures, parsing, numerical optimization, data mining, parallel and distributed computing, or high-performance computing.
Preferred Qualifications
  • Experience with Unix/Linux.
  • Professional software development experience.

We offer a salary range of $180,000 - $250,000 per year, depending on experience. We also provide a comprehensive benefits package, including medical, dental, and vision insurance, 401(k) matching, paid time off, and opportunities for professional growth and development. Join our team and be part of shaping the future of cloud security solutions.



  • Merrifield, Virginia, United States Leidos Full time

    Job OverviewWe are seeking a highly skilled Technical Solutions Architect to lead our Center of Excellence in delivering cutting-edge Identity Access Credential Management (ICAM) solutions and Zero Trust Architectures (ZTA).About the RoleThis role will be responsible for technical leadership in modernization initiatives, translating business requirements...


  • Merrifield, Virginia, United States ASCENDING Full time

    ASCENDING Inc. is an Advanced AWS partner specializing in cloud migrations, custom web app development, data analytics/big data and DevOps.We are currently seeking a highly skilled Software Engineer II to join our consulting services group. The ideal candidate will have 4+ years of experience in a software engineering role working with languages such as...


  • Merrifield, Virginia, United States Leidos Full time

    Job OverviewWe have an immediate need for a Senior DevOps Software Architect to provide Agile DevOps support to mission critical systems. As a key member of our team, you will have the opportunity to build strong software systems and cloud environments and provide operations and maintenance for critical systems.In this role, you will provide technical...


  • Merrifield, Virginia, United States Leidos Full time

    Cyber Security Solutions ArchitectLeidos is a leading provider of innovative technology solutions to the US government. We are currently seeking a highly skilled Cyber Security Solutions Architect to join our team.This role will focus on defining and executing the technical solution engineering strategy for our Defensive Cyber Operations (DCO) Practice Area....


  • Merrifield, Virginia, United States Leidos Full time

    Job OverviewLeidos is seeking a highly skilled and experienced Senior Cloud Architect Lead to join our team. As a key member of our cloud engineering group, you will be responsible for leading the modernization of our geospatial products, leveraging cutting-edge technologies such as AWS services and Microsoft .NET ecosystem tools.Key Responsibilities:Lead...


  • Merrifield, Virginia, United States Leidos Full time

    Leidos is seeking a highly skilled software architect to drive technical standards across the National Security Sector (NSS) software organization. This individual will be responsible for establishing development patterns, technology stacks, and software development metrics that ensure consistent delivery of mission software across NSS.The successful...


  • Merrifield, Virginia, United States ASCENDING Full time

    ASCENDING Inc OverviewWe are an Advanced AWS partner specializing in Cloud Migrations, custom web app development, data analytics/big data and DevOps.Job SummaryASCENDING Inc is seeking a Software Engineer II to join our consulting services group. This role requires 4+ years of experience in a Software Engineering role working with languages such as Python,...


  • Merrifield, Virginia, United States Leidos Full time

    Job OverviewAt Leidos, we're committed to delivering cutting-edge solutions that make a real difference in the world. As a Senior Systems Engineer, you'll be part of a dynamic team responsible for supporting a large virtual environment that enables mission-critical systems and operations.About the RoleThis position requires a systems engineer with strong...

  • AWS Cloud Engineer

    3 weeks ago


    Merrifield, Virginia, United States Leidos Full time

    About Leidos">Leidos is a leading provider of advanced technologies, engineering, and cyber solutions to the US government. We provide innovative and effective solutions to complex problems in various fields, including national security, healthcare, and energy.


  • Merrifield, Virginia, United States Leidos Full time

    Job SummaryWe are seeking a highly skilled Principal Software Engineering Professional to join our team at Leidos.About the JobThis is an exciting opportunity to apply your extensive software development background to drive the next generation of solutions for our customer. As a Principal Software Engineer, you will design and develop enterprise web...


  • Merrifield, Virginia, United States Field of Talent Full time

    We are seeking a Senior System Architect to lead our cloud infrastructure efforts. With 12+ years of experience, you will be responsible for managing the entire systems development life cycle (SDLC), developing and executing test plans, coordinating releases, and ensuring project quality and compliance with established standards.What You'll Do:Design and...


  • Merrifield, Virginia, United States Resource Informatics Group Inc Full time

    Company OverviewWe are a leading-edge technology firm dedicated to delivering innovative solutions in data engineering. Our team of experts is passionate about pushing the boundaries of what is possible with cloud computing.


  • Merrifield, Virginia, United States Leidos Full time

    As a Technical Leader for Agile DevOps Systems at Leidos, you will play a key role in providing technical expertise and support to mission critical systems. This is an exciting opportunity to build strong systems, software, and cloud environments and provide operations and maintenance for critical systems.The candidate will participate in and/or direct major...


  • Merrifield, Virginia, United States Leidos Full time

    Job DescriptionWe are seeking an experienced Senior Marklogic Solutions Developer to join our team at Leidos. As a key member of our development team, you will be responsible for designing and developing innovative solutions that integrate Marklogic with existing enterprise platforms and systems.In this role, you will develop XQuery, JavaScript, and REST...


  • Merrifield, Virginia, United States Leidos Full time

    About the JobWe are seeking a highly skilled Senior Software Engineer to join our team in Chantilly, VA. As a key member of our software development team, you will be responsible for designing, developing, and implementing data visualization and analysis tools to support our operations.Key ResponsibilitiesDesign and develop software applications using...


  • Merrifield, Virginia, United States Leidos Full time

    About the Role: We are seeking an experienced Elasticsearch Systems Engineer to join our team at Leidos. In this role, you will provide support across an Agile team in a DevSecOps environment, focusing on maintaining and optimizing large enterprise ElasticSearch deployments.Primary Responsibilities: Maintain Elasticsearch clusters in cloud-based...


  • Merrifield, Virginia, United States Leidos Full time

    About the RoleWe are seeking a highly skilled Appian Software Integrator/Low Code Developer to join our team at Leidos in Bethesda, MD.Job SummaryThis role involves working closely with Systems Engineers, Software Engineers, Architects, and Operations Engineering/Manager on a broad scope of activities extending across the development of systems to include...


  • Merrifield, Virginia, United States Mba Csi Full time

    **Job Summary**We are seeking a highly skilled Software Configuration Manager to join our team at MBA Consulting Services, Inc.In this role, you will be responsible for developing and maintaining the software configuration management environment, ensuring new software products are documented and packaged correctly, and complying with hardware configuration...


  • Merrifield, Virginia, United States MBA Consulting Services, Inc. (MBA CSi) Full time

    Salary Range: $120,000 - $180,000 per yearAbout the JobMBA Consulting Services, Inc. (MBA CSi) is seeking a skilled Net Software Developer to join our team in Merrifield, VA. As a member of our Mail Processing Delivery & Technology group, you will design, develop, test, and deploy scalable software applications using .NET Core and...


  • Merrifield, Virginia, United States Leidos Full time

    Business Development OpportunityAre you a seasoned professional seeking a challenging role that leverages your business development expertise?We are currently looking for a highly skilled Business Development Director to join our team at Leidos.In this exciting opportunity, you will be responsible for leading business development activities focused on the...