Software Engineer

SanDisk; Milpitas (CA); Hybrid; USD 89,000 - 151,000; Full time

Job summary

Sandisk in Milpitas, CA seeks an entry-level Software Engineer (E105) to contribute to small-scale software and formal-specification projects. You will work under close supervision on TLA+/PlusCal tasks, develop specifications, and support artifacts within established team practices.

The role emphasizes learning, documenting solutions, and improving problem-solving and problem-prevention skills while delivering reliable work. Hybrid work is available in a growth-focused environment.

Qualifications

• Bachelor's degree in CS/CE/SE/EE or related field with 0–2 years of experience.
• Experience using TLA+ and/or PlusCal in at least one project.
• Foundational understanding of state-machine modeling, concurrent or distributed-system behavior, invariants, safety properties, and liveness concepts.
• Ability to read, write, and debug software in at least one general-purpose programming language.
• Foundational knowledge of algorithms, data structures, software testing, debugging, and version-control workflows.
• Ability to explain technical work in clear written documentation and participate effectively in technical reviews.
• Ability to work within defined priorities, follow detailed instructions, seek guidance when needed, and respond constructively to feedback.

Responsibilities

• Complete small-scope software or formal-specification assignments with defined inputs/outputs/interfaces.
• Create or modify TLA+ specifications and/ or PlusCal algorithms under supervision.
• Run model-checking workflows, analyze results, document findings clearly.
• Translate behavioral requirements into formal artifacts.
• Write and maintain supporting scripts, codes, tests, and documentation.
• Identify straightforward defects and resolve with guidance, escalating as needed.
• Follow established software development practices for source control, reviews, testing, and documentation.
• Participate in team meetings, share progress, and incorporate technical direction.

Skills

TLA+/PlusCal

State-machine modeling

Programming (general)

Algorithms & data structures

Technical writing & reviews

Prioritization & guidance

Education

Bachelor's degree in CS/CE/SE/EE (0–2 years)

Equivalent practical education/experience

Tools

TLA+ Toolbox

TLA+ TLC

Git-based collaboration

CI pipelines & automated testing

Job description

General Information

Job Name

Software Engineer

Country/Region

United States of America

City

Milpitas

Work Location

Milpitas Office

Work Mode

Employees work in a hybrid mode

Salary Range

$88,700 - $150,800

Exemption Status

Exempt

Business Function

Software Engineering

Employment Type

Full-time

Sandisk understands how people and businesses consume data and we relentlessly innovate to deliver solutions that enable today’s needs and tomorrow’s next big ideas. With a rich history of groundbreaking innovations in Flash and advanced memory technologies, our solutions have become the beating heart of the digital world we’re living in and that we have the power to shape.

Sandisk meets people and businesses at the intersection of their aspirations and the moment, enabling them to keep moving and pushing possibility forward. We do this through the balance of our powerhouse manufacturing capabilities and our industry-leading portfolio of products that are recognized globally for innovation, performance and quality.

Sandisk has two facilities recognized by the World Economic Forum as part of the Global Lighthouse Network for advanced 4IR innovations. These facilities were also recognized as Sustainability Lighthouses for breakthroughs in efficient operations. With our global reach, we ensure the global supply chain has access to the Flash memory it needs to keep our world moving forward.

Description

The Software Engineer E105 is an entry-level engineering professional who applies foundational software-engineering and formal-methods knowledge to small, clearly defined assignments. Working under close supervision and with detailed guidance, the engineer contributes to TLA+ and/or PlusCal related projects by creating, updating, reviewing, and validating specifications, codes and supporting artifacts within established team practices. The role is designed for a curious, disciplined learner who can deliver reliable work, document solutions, ask effective questions, and steadily develop problem-solving and problem-prevention judgment.

Key Responsibilities

• Complete small-scope software or formal-specification assignments with well-defined inputs, outputs, interfaces, and success criteria.
• Create or modify TLA+ specifications and/or PlusCal algorithms under the guidance of experienced engineers.
• Run model-checking workflows using team-approved tools, analyze generated results, and document findings clearly.
• Translate clearly bounded behavioral requirements, state transitions, invariants, and safety or liveness expectations into reviewable formal artifacts.
• Write and maintain supporting scripts, codes, tests, examples, documentation, and reproducible issue reports for assigned work.
• Identify straightforward defects or inconsistencies, resolve them with guidance, and escal...
• Follow established software-development practices for source control, code or specification review, testing, traceability, and documentation.
• Participate in team meetings and reviews, share progress, ask for feedback, and incorporate technical direction constructively.
• Explore approved AI-assisted engineering tools with guidance, validate or verify outputs before use, and follow applicable security, privacy, confidentiality, and intellectual-property requirements.
• Deliver assigned work reliably and contribute to team velocity and quality through dependable execution.

Qualifications

Minimum

• Bachelor's degree in Computer Science, Computer Engineering, Software Engineering, Electrical Engineering, or a related technical field, with 0-2 years of relevant experience, or equivalent practical education and experience.
• Academic, internship, research, open-source, or professional experience using TLA+ and/or PlusCal in at least one project.
• Foundational understanding of state-machine based modeling, concurrent or distributed-system behavior, invariants, safety properties, and liveness concepts.
• Ability to read, write, and debug software in at least one general-purpose programming language.
• Foundational knowledge of algorithms, data structures, software testing, debugging, and version-control workflows.
• Ability to explain technical work in clear written documentation and participate effectively in technical reviews.
• Ability to work within defined priorities, follow detailed instructions, seek guidance when needed, and respond constructively to feedback.

Preferred

• Hands-on experience with the TLA+ Toolbox, TLC model checker, or command-line TLA+ tooling.
• Experience defining or checking invariants, temporal properties, fairness assumptions, refinement mappings, or counterexample traces.
• Coursework or project experience in formal methods, distributed systems, concurrent programming, operating systems, storage systems, protocols, or reliability engineering.
• Experience with Git-based collaboration, automated testing, CI pipelines, issue tracking, or technical documentation.
• Experience connecting a formal specification to implementation behavior, test scenarios, design reviews, or requirements traceability.
• Familiarity with Python, Java, TypeScript, C, C++, Rust (preferred), or another language used for tooling or systems development.
• Evidence of curiosity and learning, such as a capstone, thesis, publication, conference presentation, portfolio, open-source contribution, or well-documented personal project involving TLA+ or PlusCal.

Compensation & Benefits

• An employee’s pay position within the salary range may be based on several factors including but not limited to (1) relevant education; qualifications; certifications; and experience; (2) skills, ability, knowledge of the job; (3) performance, contribution and results; (4) geographic location; (5) shift; (6) internal and external equity; and (7) business and organizational needs.
• The salary range is what we believe to be the range of possible compensation for this role at the time of this posting. We may ultimately pay more or less than the posted range and this range is only applicable for jobs to be performed in California, Colorado, New York or remote jobs that can be performed in California, Colorado and New York. This range may be modified in the future.
• You will be eligible to participate in Sandisk's Short-Term Incentive (STI) Plan, which provides incentive awards based on Company and individual performance. Depending on your role and your performance, you may be eligible to participate in our annual Long-Term Incentive (LTI) program, which consists of restricted stock units (RSUs) or cash equivalents, pursuant to the terms of the LTI plan. Please note that not all roles are eligible to participate in the LTI program, and not all roles are eligible for equity under the LTI plan. RSU awards are also available to eligible new hires, subject to Sandisk's Standard Terms and Conditions for Restricted Stock Unit Awards.
• We offer a comprehensive package of benefits including paid vacation time; paid sick leave; medical/dental/vision insurance; life, accident and disability insurance; tax-advantaged flexible spending and health savings accounts; employee assistance program; other voluntary benefit programs such as supplemental life and AD&D, legal plan, pet insurance, critical illness, accident and hospital indemnity; tuition reimbursement; transit; the Applause Program, employee stock purchase plan, and the Sandisk's Savings 401(k) Plan.
• Note: No amount of pay is considered to be wages or compensation until such amount is earned, vested, and determinable. The amount and availability of any bonus, commission, benefits, or any other form of compensation and benefits that are allocable to a particular employee remains in the Company's sole discretion unless and until paid and may be modified at the Company’s sole discretion, consistent with the law.

Additional Information

Sandisk is committed to providing equal opportunities to all applicants and employees and will not discriminate based on their race, color, ancestry, religion (including religious dress and grooming standards), sex (including pregnancy, childbirth or related medical conditions, breastfeeding or related medical conditions), gender (including a person’s gender identity, gender expression, and gender-related appearance and behavior, whether or not stereotypically associated with the person’s assigned sex at birth), age, national origin, sexual orientation, medical condition, marital status (including domestic partnership status), physical disability, mental disability, medical condition, genetic information, protected medical and family care leave, Civil Air Patrol status, military and veteran status, or other legally protected characteristics. We also prohibit harassment of any individual on any of the characteristics listed above. Our non-discrimination policy applies to all aspects of employment. We comply with the laws and regulations set forth in the Equal Employment Opportunity is the Law (https://www.eeoc.gov/sites/default/files/2023-06/22-088_EEOC_KnowYourRights6.12.pdf) poster.

Sandisk thrives on the power and potential of diversity. As a global company, we believe the most effective way to embrace the diversity of our customers and communities is to mirror it from within. We believe the fusion of various perspectives results in the best outcomes for our employees, our company, our customers, and the world around us. We are committed to an inclusive environment where every individual can thrive through a sense of belonging, respect and contribution.

Sandisk is committed to offering opportunities to applicants with disabilities and ensuring all candidates can successfully navigate our careers website and our hiring process. Please contact us at [e-mail] to advise us of your accommodation request. In your email, please include a description of the specific accommodation you are requesting as well as the job title and requisition number of the position for which you are applying.