Staff Software Engineer Alarm.com IncorporatedStaff Software EngineerTysons Corner, VA$144,250–$169,126.82 / yearOur comprehensive suite of solutions-including security, video surveillance, access control, active shooter detection, intelligent automation, energy management, and wellness-is delivered exclusively through a trusted network of thousands of professional service providers and commercial integrators across North America and worldwide. Mentorship: Actively mentor engineers on the team, leading synchronous code reviews, raising technical bar, and helping junior and mid-level engineers grow their skills in platform engineering, domain design, and distributed systems.
Senior Staff Software Engineer Alarm.com IncorporatedSenior Staff Software EngineerTysons Corner, VA$167,500–$199,500 / yearOur comprehensive suite of solutions-including security, video surveillance, access control, active shooter detection, intelligent automation, energy management, and wellness-is delivered exclusively through a trusted network of thousands of professional service providers and commercial integrators across North America and worldwide. We collect and use those categories of Personal Information about you for human resources and other business management purposes, including identifying and evaluating you as a candidate for potential or future employment or future positions, recordkeeping in relation to recruiting and hiring, conducting criminal background checks as permitted by law, conducting analytics, and ensuring compliance with applicable legal requirements and Company policies.
Senior Staff Software Engineer Alarm.comSenior Staff Software EngineerTysons Corner, VA$167,500–$199,500 / yearOur comprehensive suite of solutions—including security, video surveillance, access control, active shooter detection, intelligent automation, energy management, and wellness—is delivered exclusively through a trusted network of thousands of professional service providers and commercial integrators across North America and worldwide. We collect and use those categories of Personal Information about you for human resources and other business management purposes, including identifying and evaluating you as a candidate for potential or future employment or future positions, recordkeeping in relation to recruiting and hiring, conducting criminal background checks as permitted by law, conducting analytics, and ensuring compliance with applicable legal requirements and Company policies.
Staff Software Engineer - Full Stack Ad HocStaff Software Engineer - Full StackMc Lean, VARemote$135,000–$155,000 / yearThrough service design, product management, and modern engineering practices, we help increase the quality, reliability, and accessibility of critical government services while reducing the time Veterans spend waiting for results. We've helped build products that connect Veterans to tailored services, help millions access affordable health care, and support critical programs like Head Start.
Staff Software Engineer - NOS The Nuclear CompanyStaff Software Engineer - NOSWashingtonWe expect every team member to continuously identify opportunities to automate workflows, enhance decision-making, improve processes, and contribute to the ongoing evolution of NOS as a strategic operating capability that enables The Nuclear Company to scale with excellence. The actual salary offered may vary based on relevant factors as determined in the Company’s discretion, which may include experience, qualifications, tenure, skill set, availability of qualified candidates, geographic location, certifications held, and other criteria deemed pertinent to the particular role.
Staff Software Engineer Alarmcom Holdings IncStaff Software EngineerTysons, VAOur comprehensive suite of solutions-including security, video surveillance, access control, active shooter detection, intelligent automation, energy management, and wellness-is delivered exclusively through a trusted network of thousands of professional service providers and commercial integrators across North America and worldwide. Mentorship: Actively mentor engineers on the team, leading synchronous code reviews, raising technical bar, and helping junior and mid-level engineers grow their skills in platform engineering, domain design, and distributed systems.
Staff Software Engineer Tcom, L.P.Staff Software EngineerArlington, VirginiaAerostar, a business unit of TCOM , is seeking a Staff Software Engineer to be responsible for understanding customer missions and requirements, translating into a concept, and presenting technical concept and business case to customer. Along with Business Development team, is a primary interface with customers and internal management, especially as it relates to technical solutions to customer problems.
Staff Software Engineer, Command and Control BlackSky Technology IncStaff Software Engineer, Command and ControlHerndon, VARemote$150,000–$180,000 / yearTo conform to U.S. Government space technology export regulations, including the International Traffic in Arms Regulations (ITAR) you must be a U.S. citizen, lawful permanent resident of the U.S., protected individual as defined by 8 U.S.C. 1324b(a)(3), or eligible to obtain the required authorizations from the U.S. Department of State. As you learn the BlackSky automated software architecture, you will be expected to grow into technical or functional leadership after demonstrated capability for individual contribution and development of expert level of knowledge of the system.
Staff Software Engineer - Search / AI CVS Health CorpStaff Software Engineer - Search / AIDC$106,605–$284,280 / yearCurrently, we are seeking a Staff Software Engineer - Search / AI who as a Senior technical leader, be responsible for driving architecture, design, and delivery of scalable, cloud-native platforms built on microservices architecture and AI capabilities. CVS Health is looking for hands-on, passionate people who want to join a high energy and growing team to make a difference in customers' lives and who want to be on the forefront of digital innovation that aims to reinvent what a pharmacy and a health care company can be in the digital world.
Staff Software Engineer, Public Sector Scale AI IncStaff Software Engineer, Public SectorWashington, DC$252,000–$362,000 / yearAs a Staff Software Engineer, you will orchestrate the implementation of vertical features and horizontal capabilities to include mentoring other engineers on defining requirements with stakeholders and communication tradeoffs of technical implementations on feature and capabilities until they are accepted by the stakeholders. The range displayed on each job posting reflects the minimum and maximum target for new hire salaries for the position and may be inclusive of several career levels at Scale; it will be determined during the interview process based on work location and additional factors, including job-related skills, experience, qualifications, interview performance, and relevant education or training.
Senior Staff Software Engineer Alarmcom Holdings IncSenior Staff Software EngineerTysons, VA$167,500–$199,500 / yearOur comprehensive suite of solutions-including security, video surveillance, access control, active shooter detection, intelligent automation, energy management, and wellness-is delivered exclusively through a trusted network of thousands of professional service providers and commercial integrators across North America and worldwide. We collect and use those categories of Personal Information about you for human resources and other business management purposes, including identifying and evaluating you as a candidate for potential or future employment or future positions, recordkeeping in relation to recruiting and hiring, conducting criminal background checks as permitted by law, conducting analytics, and ensuring compliance with applicable legal requirements and Company policies.
Staff Software Engineer The Nuclear CompanyStaff Software EngineerWashingtonWe expect every team member to continuously identify opportunities to automate workflows, enhance decision-making, improve processes, and contribute to the ongoing evolution of NOS as a strategic operating capability that enables The Nuclear Company to scale with excellence. The actual salary offered may vary based on relevant factors as determined in the Company’s discretion, which may include experience, qualifications, tenure, skill set, availability of qualified candidates, geographic location, certifications held, and other criteria deemed pertinent to the particular role.
Staff Software Engineer - Embedded Alarm.comStaff Software Engineer - EmbeddedTysons, VA$150,000–$180,000 / yearAs a Staff engineer you will act as a technical leader and subject-matter expert, architecting software systems, driving technical decisions across teams, and mentoring engineers across a diverse set of technological backgrounds to design devices, build and manufacture hardware, architect and implement software, and collaborate in an agile and fast-paced environment. We collect and use those categories of Personal Information about you for human resources and other business management purposes, including identifying and evaluating you as a candidate for potential or future employment or future positions, recordkeeping in relation to recruiting and hiring, conducting criminal background checks as permitted by law, conducting analytics, and ensuring compliance with applicable legal requirements and Company policies.
Staff Software Engineer - Embedded Alarm.com IncorporatedStaff Software Engineer - EmbeddedTysons Corner, VA$150,000–$180,000 / yearAs a Staff engineer you will act as a technical leader and subject-matter expert, architecting software systems, driving technical decisions across teams, and mentoring engineers across a diverse set of technological backgrounds to design devices, build and manufacture hardware, architect and implement software, and collaborate in an agile and fast-paced environment. We collect and use those categories of Personal Information about you for human resources and other business management purposes, including identifying and evaluating you as a candidate for potential or future employment or future positions, recordkeeping in relation to recruiting and hiring, conducting criminal background checks as permitted by law, conducting analytics, and ensuring compliance with applicable legal requirements and Company policies.
Senior Staff Software Engineer, C++ Software Integration (R4018) Shield AISenior Staff Software Engineer, C++ Software Integration (R4018)Washington, DCLI-LD1#LE Full-time regular employee offer package: Pay within range listed + Bonus + Benefits + Equity Temporary employee offer package: Pay within range listed above + temporary benefits package (applicable after 60 days of employment) Salary compensation is influenced by a wide array of factors including but not limited to skill set, level of experience, licenses and certifications, and specific work location. With offices and facilities across the U.S., Europe, the Middle East, and Asia-Pacific, Shield AI’s technology actively supports operations worldwide.
(USA) Staff, Software Engineer, Information Security, Non-Human Identity / Agentic Identity Walmart Inc(USA) Staff, Software Engineer, Information Security, Non-Human Identity / Agentic IdentityHerndon, VA$110,000–$220,000 / yearPrimary Location 805 Se Moberly Ln, Bentonville, AR 72712, United States of America The annual salary range for this position is: Bentonville, Arkansas (US-09050): $110,000.00 - $220,000.00 * Herndon, Virginia (US-10710): $132,000.00 - $264,000.00 Additional compensation includes annual or quarterly performance bonuses. Option 1: Bachelors degree in computer science, information technology, engineering, information systems, cybersecurity, or related area AND 4 years experience in software engineering or related area at a technology, retail, or data-driven company.
Staff Software Development Engineer CVS Health CorpStaff Software Development EngineerDC$106,605–$284,280 / yearFurthermore, the Staff Engineer role includes closely working with a team of engineers to drive delivery excellence, partner with business and other IT leaders to build digital assets, provide expert level support to resolve complex issues and provide RCA, identify gaps in systems in current digital eco system and provide solutions to enhance overall performance. CVS Health Digital is looking for hands-on, passionate people who want to join a high energy and growing team to make a difference in customers' lives and who want to be on the forefront of digital innovation that aims to reinvent what a pharmacy and a health care company can be in the digital world.
Staff Software Engineer-AI Solutions Visa Technology and Operations LLCStaff Software Engineer-AI SolutionsAshburn, VA$124,300–$198,600 / yearProven ability to deliver projects on time and within budget by writing high-quality code, mentoring junior developers, understanding workload and usage requirements, and producing clear technical documentation that enables knowledge transfer and long-term supportability across global teams. • Strong technical background in ServiceNow-specific development tools and frameworks (UI Policies, UI Macros, UI Pages, Client Scripts, Script Includes, Business Rules, Mid Server Configuration & Architecture, Import Sets, Transform Maps, Update Sets).
Senior Staff Software Engineer, Gov OpenAISenior Staff Software Engineer, GovWashington, District of ColumbiaFor unincorporated Los Angeles County workers: we reasonably believe that criminal history may have a direct, adverse and negative relationship with the following job duties, potentially resulting in the withdrawal of a conditional offer of employment: protect computer hardware entrusted to you from theft, loss or damage; return all computer hardware in your possession (including the data contained therein) upon termination of employment or end of assignment; and maintain the confidentiality of proprietary, confidential, and non-public information. From launching net-new capabilities to optimizing how we serve inference in unique, high-stakes environments, this role offers both breadth and technical depth—giving you the opportunity to shape the future of OpenAI’s technology where it matters most.
Staff Software Engineer, Infrastructure, Google Public Sector Google LLCStaff Software Engineer, Infrastructure, Google Public SectorReston, VAWe focus on helping United States public sector institutions accelerate their digital transformations, and we continue to make significant investments and grow our team to meet the complex needs of local, state and federal government and educational institutions.\n \nThe US base salary range for this full-time position is $207,000-$300,000 + bonus + equity + benefits. We're looking for engineers who bring fresh ideas from all areas, including information retrieval, distributed computing, large-scale system design, networking and data storage, security, artificial intelligence, natural language processing, UI design and mobile; the list goes on and is growing every day.
Staff Software Engineer San Francisco CA AHU TechnologiesStaff Software Engineer San Francisco CAWashington, District of ColumbiaAHU Technologies INC. is an IT consulting and permanent staffing firm that meets and exceeds the evolving IT service needs of leading corporations within the United States. We are currently working on Various projects such as media entertainment, ERP Solutions, data warehousing, Web Applications, Telecommunications and medical to our clients all over the world.
Staff Wireless Software Engineer Axon Enterprise IncStaff Wireless Software EngineerWashington, DCWhat Youll Do: You will be tasked with solving the toughest wireless problems our products face: translating research into resilient, high-performance PHY/MAC systems; architecting firmware and toolchains that meet extreme latency, power, and reliability targets; and defining the wireless roadmap that balances innovation, manufacturability, and real-world performance. As a Staff Wireless Software Engineer, you will be a technical leader driving architecture and implementation of wireless protocol stacks, transport abstraction layers, and real-time communication systems across our devices.
Staff Robotics Software Engineer, Air Vehicle Autonomy Anduril Industries IncStaff Robotics Software Engineer, Air Vehicle AutonomyWashington, DC$254,000–$338,000 / yearOwn major feature development and rollout of large, complex features for our products - recent examples include developing terminal-phase autonomy for various air vehicles and developing a test plan on live surrogates. To ensure your safety and help you navigate your job search with confidence, please keep the following critical points in mind: No Financial Requests: Anduril will never solicit payment or demand personal financial details (such as banking information, credit card numbers, or social security numbers) at any stage of our hiring process.
Software Engineer III, Google Security Operations, AI/ML Google LLCSoftware Engineer III, Google Security Operations, AI/MLReston, VAWe"re looking for engineers who bring fresh ideas from all areas, including information retrieval, distributed computing, large-scale system design, networking and data storage, security, artificial intelligence, natural language processing, UI design and mobile; the list goes on and is growing every day. We are here to bridge the gap in Google"s security tooling and drive Google towards a unified Security Operations (SecOps) by implementing Managed Defense features and more in Security Orchestration, Automation and Response (SOAR) Case Management.
Software Engineer, Infrastructure, Public Sector Google LLCSoftware Engineer, Infrastructure, Public SectorReston, VAWe"re looking for engineers who bring fresh ideas from all areas, including information retrieval, distributed computing, large-scale system design, networking and data storage, security, artificial intelligence, natural language processing, UI design and mobile; the list goes on and is growing every day. We focus on helping United States public sector institutions accelerate their digital transformations, and we continue to make significant investments and grow our team to meet the complex needs of local, state and federal government and educational institutions.
Senior Staff Data Center Engineer, Data Center Technology and Systems Google LLCSenior Staff Data Center Engineer, Data Center Technology and SystemsReston, VAIn this leadership role, you will partner with cross-functional engineering, architecture, supply chain, and deployment teams to deliver scalable, factory-assembled solutions that drastically reduce field labor and accelerate capacity delivery worldwide. As a Senior Staff Data Center Engineer and Technical Lead (TL) for the Data Hall Design team, you will be the primary technical authority steering the physical, electrical, and thermal architecture of our global fleet of hyperscale data halls.
Senior Software Engineer, Search AI Quality Google LLCSenior Software Engineer, Search AI QualityWashington D.C., DCWe"re looking for engineers who bring fresh ideas from all areas, including information retrieval, distributed computing, large-scale system design, networking and data storage, security, artificial intelligence, natural language processing, UI design and mobile; the list goes on and is growing every day. Design and run experiments to enhance quality and minimize errors in AI-generated responses, while actively representing Search Verticals and Infrastructure (SVI) in cross-Search forums.
Software Engineer, Google Public Sector, Infrastructure Google LLCSoftware Engineer, Google Public Sector, InfrastructureReston, VAWe"re looking for engineers who bring fresh ideas from all areas, including information retrieval, distributed computing, large-scale system design, networking and data storage, security, artificial intelligence, natural language processing, UI design and mobile; the list goes on and is growing every day. We focus on helping United States public sector institutions accelerate their digital transformations, and we continue to make significant investments and grow our team to meet the complex needs of local, state and federal government and educational institutions.
Senior Software Engineer, Search AI Rater Quality Google LLCSenior Software Engineer, Search AI Rater QualityWashington D.C., DCWe"re looking for engineers who bring fresh ideas from all areas, including information retrieval, distributed computing, large-scale system design, networking and data storage, security, artificial intelligence, natural language processing, UI design and mobile; the list goes on and is growing every day. Improve SVI AutoRater capabilities for critical quality dimensions, with a near-term focus on live events factuality and freshness in verticals such as live sports, media analysis, real-time stock quotes, and weather.
Staff Security Engineer WalterStaff Security EngineerMcLean, VAHands-on experience with modern frontend technologies including TypeScript, React, Next.js, Node.js, and build tooling (Vite, Webpack, Babel, ESLint); Proficient in testing frameworks (Jest, Playwright, Testing Library), styling(Tailwind CSS, Sass), and building reusable component libraries with Storybook. This team owns the identity proofing flows that millions of members rely on every day — from secure login and multi-factor authentication to passkeys, biometrics, and the end-to-end member experiences that establish trust and unlock access to government, healthcare, and commercial services.
Staff Software Engineering Manager, Emergent AI Infrastructure Google LLCStaff Software Engineering Manager, Emergent AI InfrastructureReston, VA$207,000–$300,000 / yearFrom software to hardware, our teams are shaping the future of world-leading hyperscale computing with key teams working on the development of our TPUs, Vertex AI for Google Cloud, Google Global Networking, Data Center operations, systems research, and much more. Teams work all across the company in areas such as information retrieval, artificial intelligence, natural language processing, distributed computing, large-scale system design, networking, security, data compression, user interface design; the list goes on and is growing every day.
Senior Staff, Data Engineer Asurion LLCSenior Staff, Data EngineerSterling, VACustomer 360 is a strategic platform that creates a trusted, intelligent view of customers across products, partners, subscriptions, claims, service interactions, and digital experiences. The role aligns to Asurion's Senior Staff expectations for cross-team API design, domain data architecture, full-stack architecture, systems design, and technical leadership.
NewSoftware Engineer, Reliability, Public Sector Google LLCSoftware Engineer, Reliability, Public SectorReston, VAWe"re looking for engineers who bring fresh ideas from all areas, including information retrieval, distributed computing, large-scale system design, networking and data storage, security, artificial intelligence, natural language processing, UI design and mobile; the list goes on and is growing every day. We focus on helping United States public sector institutions accelerate their digital transformations, and we continue to make significant investments and grow our team to meet the complex needs of local, state and federal government and educational institutions.
Senior Test Automation Developer (Engineer Software Quality 4) - 28180 Huntington Ingalls Industries IncSenior Test Automation Developer (Engineer Software Quality 4) - 28180Fairfax, VA$113,838–$130,000 / yearusing clear, concise and meaningful communications, the candidate will work closely with software engineers and other project team members to successfully test and assess ongoing development within demanding schedules, as well as, produce test cases and other Postal project documentation. The successful candidate will have advanced to expert level knowledge of automation test tools and will participate in the planning, designing, maintenance and running of automated tests in a fast-paced environment requiring highly complex test automation programming techniques.
Software Engineer 3 - Golang or Python/Kubernetes - Freewheel Comcast CorpSoftware Engineer 3 - Golang or Python/Kubernetes - FreewheelReston, VAThat's why we provide an array of options, expert guidance and always-on tools that are personalized to meet the needs of your reality-to help support you physically, financially and emotionally through the big milestones and in your everyday life. Be an active part of the Net Promoter System a way of working that brings more employee and customer feedback into the company by joining huddles, making call backs and helping us elevate opportunities to do better for our customers.
Software Engineer 3 (C++/Backend systems) - FreeWheel ComcastSoftware Engineer 3 (C++/Backend systems) - FreeWheelReston, VirginiaAs part of the Ad Server Tools Team, this role supports the development and maintenance of CI/CD pipelines, regression testing environments, and internal engineering tools that improve developer productivity and software quality. That’s why we provide an array of options, expert guidance and always-on tools, that are personalized to meet the needs of your reality – to help support you physically, financially and emotionally through the big milestones and in your everyday life.
Software Engineer 3 - Kubernetes Platform Management - Freewheel ComcastSoftware Engineer 3 - Kubernetes Platform Management - FreewheelReston, VirginiaThat’s why we provide an array of options, expert guidance and always-on tools, that are personalized to meet the needs of your reality – to help support you physically, financially and emotionally through the big milestones and in your everyday life. Be an active part of the Net Promoter System a way of working that brings more employee and customer feedback into the company by joining huddles, making call backs and helping us elevate opportunities to do better for our customers.
Software Engineer 3 - FreeWheel Comcast CorpSoftware Engineer 3 - FreeWheelReston, VA$120,212.52–$180,318.78 / yearAs part of the Ad Server Tools Team, this role supports the development and maintenance of CI/CD pipelines, regression testing environments, and internal engineering tools that improve developer productivity and software quality. That's why we provide an array of options, expert guidance and always-on tools, that are personalized to meet the needs of your reality - to help support you physically, financially and emotionally through the big milestones and in your everyday life.
Software Engineer 3 - Golang or Python & Kubernetes - Freewheel Comcast CorporationSoftware Engineer 3 - Golang or Python & Kubernetes - FreewheelReston, VA$120,212.52–$180,318.78 / yearThat’s why we provide an array of options, expert guidance and always-on tools, that are personalized to meet the needs of your reality - to help support you physically, financially and emotionally through the big milestones and in your everyday life. Be an active part of the Net Promoter System a way of working that brings more employee and customer feedback into the company by joining huddles, making call backs and helping us elevate opportunities to do better for our customers.
Software Engineer Full Stack Verite Group, Inc.Software Engineer Full StackChantilly, VAThe Software Engineer will be responsible for providing full stack software engineering support, working within Cloud Services for the Sponsor, using Python, Javascript, and other tools to provide software development support. We've grown on this effort by providing the customer with Engineers who have done exceptional work, and we've retained our staff by paying very strong salaries, and working hard to ensure each Engineer is doing work that aligns with their career interest.
Software Engineer Johns Hopkins University Applied Physics Laboratory LLCSoftware EngineerLaurel, MDAre a skilled and efficient programmer in systems or scientific programming languages (e.g., Python, C++, Rust, Julia, etc.) with a desire to expand into new areas of coding languages and processes. APL provides eligible staff with a comprehensive benefits package including retirement plans, paid time off, medical, dental, vision, life insurance, short-term disability, long-term disability, flexible spending accounts, education assistance, and training and development.
Graphics Software Engineer Johns Hopkins University Applied Physics Laboratory LLCGraphics Software EngineerLaurel, MDPossess a BS with 8+ years, an MS with 6+ years, or a PhD with 3+ years of experience in Computer Science, Computer Engineering, Electrical Engineering, Applied Mathematics, Physics, or a related technical field, developing graphics, rendering, simulation, game-engine, or other GPU rendering software. We are seeking a creative, driven, and motivated software engineer to help invent, build, and sustain engineering rendering software for producing complex scenes, objects, and simulation-derived data.
Software Quality Assurance Engineer CatalistSoftware Quality Assurance EngineerWashington, District of ColumbiaIn this role, you’ll work closely with developers, product managers, and users to define testing strategies, design automated testing frameworks, and ensure high reliability across our software products. Catalist is home to a dedicated, creative team of technologists, data scientists, and campaign experts committed to using our talents and technology to nurture a vibrant and growing progressive community.
Software Applications Engineer Armison TechSoftware Applications EngineerChantilly, VirginiaDesired: Experience developing responsive web applications using Angular, React, Vue.js, HTML5, CSS3, and JavaScript, and/or building backend services using Java, Python, Spring Boot, Node.js, Express, Ruby on Rails, and Golang. We're a company predominantly focused on cyber security for our government customers yet our expertise in other areas include big data analytics, instructional design, information management, and computer network infrastructure.
Software Engineer / Quality Assurance Analyst – Senior (Top Secret with agreement to obtain CI Poly) North Point TechnologySoftware Engineer / Quality Assurance Analyst – Senior (Top Secret with agreement to obtain CI Poly)Fort Belvoir, VADefines acceptance criteria, participates in sprint planning and daily scrum meetings, and collaborates with the DevSecOps team and customers to ensure internal and user acceptance testing is conducted and documented. Eight years of experience in software design, writing source code, control of source code, reviewing code, configuration management, change management, program testing, integration of software, and release management process.
Full Stack Software Engineer Johns Hopkins University Applied Physics Laboratory LLCFull Stack Software EngineerLaurel, MDWe develop software systems to address challenging national security problems that enable planning and decision making in domains including active threat deterrence, signal intelligence, cyber operations, machine learning, image processing, and applied data analytics. We seek talented engineers who can work with a team to construct, implement, test, document, and maintain software applications that provide highly impactful capabilities for the special operations and intelligence community.
2026 PhD Graduate - Formal Verification and Software Assurance Engineer Johns Hopkins University Applied Physics Laboratory LLC2026 PhD Graduate - Formal Verification and Software Assurance EngineerLaurel, MDExperience with (1) Static Analysis tools such as Coverity and Klockwork, (2) Dynamic Analysis tools such as Valgrind, libFuzzer, and Java Pathfinder, (3) Symbolic Execution Engines such as KLEE and angr, (4) Model Checkers such as TLA+ and SPIN, (5) SMT Solvers such as CVC5 and MathSAT (6) Automated Theorem Provers such as Z3 and ACL-2, (7) Interactive Theorem Provers such as Lean and Rocq, and any other formal methods tools. Understanding or experience with formal methods tools and techniques, such as language safety properties, symbolic execution, abstract interpretation, model checking, automated and interactive theorem proving, programming language analysis and design, type theory, static source code analysis, and formal logic.
C++ Software Engineer Johns Hopkins University Applied Physics Laboratory LLCC++ Software EngineerLaurel, MDWe believe in building strong, productive teams, continually growing our capabilities, cultivating collaborative relationships and encouraging a work environment that embraces integrity, trust, confidence, teamwork, accountability, and a little bit of fun. APL provides eligible staff with a comprehensive benefits package including retirement plans, paid time off, medical, dental, vision, life insurance, short-term disability, long-term disability, flexible spending accounts, education assistance, and training and development.
Simulation Software Engineer Johns Hopkins University Applied Physics Laboratory LLCSimulation Software EngineerLaurel, MDHave experience in one or more of the following areas: high performance computing (HPC); Nvidia CUDA or other GPU programming; FPGA programming; highly concurrent systems; signal processing; writing software that interfaces with embedded systems hardware or other hardware-in-the-loop (HIL) simulations. The Strike Guidance, Navigation, Control, and Seekers group is looking for a Simulation Software Engineer to help us architect, develop, and modernize physics-based simulations across a wide-ranging set of programs.
Web-based User Interface Software Engineer Johns Hopkins University Applied Physics Laboratory LLCWeb-based User Interface Software EngineerLaurel, MDWe apply expertise and use sophisticated tools to lead the design, prototyping, development, analysis, evaluation, and transition of advanced mission planning systems for multiple sponsors to support multiple warfighter missions and multi-echelon planning needs in support of revolutionizing the art of defense. This is a unique opportunity to dive deep into both software engineering and mission planning while using your skills to design, develop, and test User Interfaces for military planning tools associated with air and missile defense (AMD).