Software Development Engineer, Automated Reasoning Group at Amazon Web Services (AWS) in Seattle, WA

Job Description

About this kind of role

What a Software Development Engineer, Automated Reasoning Group usually does. The employer's own details are in the listing.

Typically does: Designs, develops, tests, and maintains software systems, often focusing on automated reasoning, formal methods, or related areas. This can involve creating algorithms, implementing data structures, and writing code to solve complex problems. Responsibilities may also include debugging, performance optimization, and collaborating with other engineers and researchers. The role often requires a strong understanding of computer science principles and a focus on creating reliable and efficient software.

Tools and skills: Proficiency in programming languages like Python, Java, or C++, experience with software development tools and version control systems (e.g., Git), and a solid foundation in algorithms and data structures are generally expected.

Good fit for: Individuals with a strong analytical mindset, a passion for problem-solving, and an interest in the theoretical foundations of computer science often thrive in this role.

??? people applied to this job

Report Job

Asked to add a skill to your resume in a hurry? Pick the resume, type the skill, and Add a Skill gives you the lines to add. Add a skill →