Remote Formal Verification Engineer Jobs in Massachusetts

Remote Work:
Hybrid
Job Number:
R0246686
Location:
Lexington,MA,US
Share job via:
Share
Software Engineer
The Opportunity:
As a software engineer, you know that great software isn't just built-it's crafted. It's more than an elegant UI or a clean data model, and it's the integration of intuitive interfaces, robust backend systems, scalable APIs, and resilient infrastructure. At Booz Allen, we're looking for a software engineer who's passionate about building impactful solutions end-to-end, from whiteboard to production.
In this role, you'll work in a fast-paced, agile environment alongside a team of mission-driven engineers, designers, and analysts. You'll contribute to solutions that matter-whether it's streamlining internal tools or building new products that serve national security missions. You'll apply modern engineering practices, use the latest open-source frameworks, and continuously sharpen your technical toolkit. You'll engage directly with stakeholders, write clean, maintainable code, and help shape the technical strategy and delivery approach for your team.
We value engineers who are curious, collaborative, and eager to contribute. Whether you're deep in code or in a design session, your ideas will help shape solutions that drive real change.
Work with us to build mission-ready systems that make a difference.
Join us. The world can't wait.
You Have:

• 2+ years of experience designing, developing, modifying, or implementing software applications
• 2+ years of experience with common programming languages or web development stacks
• Experience writing, maintaining, or enhancing source code for production-level software
• Experience working within Agile teams using Scrum, Kanban, or XP methodologies
• Experience solving complex technical problems in collaborative, cross-functional environments
• Ability to obtain a Secret clearance
• Bachelor's degree

Nice If You Have:

• Experience with gathering business requirements and translating them into scalable technical solutions
• Experience with Java, Python, JavaScript, React, Node.js, C#, .NET, PHP, C, C++, or Drupal
• Experience working with DevOps pipelines and CI/CD tools, such as Jenkins, GitLab, Docker, or Kubernetes
• Knowledge of integrating automated tests and quality checks into development workflows
• Secret clearance

Clearance
Applicants selected will be subject to a security investigation and may need to meet eligibility requirements for access to classified information.
Skills AssessmentAs part of Booz Allen's skills first hiring process, candidates must complete the required skills assessment to ensure they meet the Basic Qualifications for this role. Candidates must complete the assessment and meet the minimum proficiency threshold to continue in the hiring process.
Compensation
At Booz Allen, we celebrate your contributions, provide you with opportunities and choices, and support your total well-being. Our offerings include health, life, disability, financial, and retirement benefits, as well as paid leave, professional development, tuition assistance, work-life programs, and dependent care. Our recognition awards program acknowledges employees for exceptional performance and superior demonstration of our values. Full-time and part-time employees working at least 20 hours a week on a regular basis are eligible to participate in Booz Allen's benefit programs. Individuals that do not meet the threshold are only eligible for select offerings, not inclusive of health benefits. We encourage you to learn more about our total benefits by visiting the Resource page on our Careers site and reviewing Our Employee Benefits page.
Salary at Booz Allen is determined by various factors, including but not limited to location, the individual's particular combination of education, knowledge, skills, competencies, and experience, as well as contract-specific affordability and organizational requirements. The projected compensation range for this position is $69,300.00 to $158,000.00 (annualized USD). The estimate displayed represents the typical salary range for this position and is just one component of Booz Allen's total compensation package for employees. This posting will close within 90 days from the Posting Date.
Identity Statement
As part of the hiring process, we will ask you to complete an identity verification process that leverages advanced biometrics and artificial intelligence to ensure authenticity and protect against identity fraud. You are expected to be on camera during interviews and assessments. We reserve the right to take your picture to verify your identity and prevent fraud.
Candidate AI Usage Policy
AI is a part of our daily work at Booz Allen, and we are committed to the responsible and ethical use of AI tools. However, we want to ensure a fair candidate process based on your own skills and knowledge. As part of this commitment, the use of artificial intelligence (AI) or other tools to assist with responses during interviews (whether in-person or virtual) is prohibited unless permission is explicitly provided.
Work Model
Our people-first culture prioritizes the benefits of collaboration, whether it occurs in person or virtually. To support engagement and effective communication, employees working virtually are generally expected to have their cameras on during meetings.

• Remote: If this position is listed as remote, there may still be occasions when you are required to work in person at a Booz Allen or customer facility.
• Hybrid: If this position is listed as hybrid, you will be expected to work from a Booz Allen facility frequently, in alignment with leadership expectations and the needs of the role. You may also be required to work from or visit a customer facility.
• Onsite: If this position is listed as onsite, work will primarily be performed at a Booz Allen office or customer facility, where employees will collaborate directly with colleagues and customers as required by the role.

Commitment to Non-Discrimination
All qualified applicants will receive consideration for employment without regard to disability, status as a protected veteran or any other status protected by applicable federal, state, local, or international law.
Not ready to apply? Join our Talent Community and sign up for job alerts.