Software Assurance and Formal Methods Expert

3 weeks ago

Laurel MD USA, United States Johns Hopkins Applied Physics Laboratory (APL) Full time
About the Role

We are seeking a highly skilled Software Assurance and Formal Methods Expert to join our team at the Johns Hopkins University Applied Physics Laboratory (APL). As a key member of our research team, you will be responsible for developing and applying formal methods and static analysis techniques to improve the security and reliability of software systems.

Key Responsibilities
  • Solve Complex Problems: Use formal methods and static analysis to identify and mitigate software vulnerabilities and ensure the security and reliability of software systems.
  • Develop New Techniques: Design and develop new algorithms, tools, and techniques to improve the effectiveness of formal methods and static analysis in software development.
  • Collaborate with Research Teams: Work closely with world-class researchers and engineers to develop and apply formal methods and static analysis techniques to real-world problems.
  • Communicate Results: Share your findings and results through publications, presentations, and technical reports to technical staff, management, and government stakeholders.
Qualifications
  • Education: Bachelor's degree in Computer Science, Computer Engineering, Electrical Engineering, Mathematics, or a related field.
  • Experience: 4+ years of professional experience or a combination of graduate research and experience with formal methods, static analysis, or related areas.
  • Skills: Experience with formal methods and static analysis tools and techniques, such as model checking, theorem proving, programming language analysis and design, type theory, static source code analysis, or formal logic.
  • Clearance: Ability to obtain a secret-level security clearance and meet the requirements for access to classified information.
Preferred Qualifications
  • Advanced Education: Master's or Ph.D. in Computer Science, Computer Engineering, Electrical Engineering, or a related field.
  • Additional Experience: 7+ years of experience with formal methods, static analysis, or related areas.
  • Machine Learning Experience: Experience using machine learning to advance software assurance.
  • Software Development: Experience with software development on Linux, using languages such as Rust, OCaml, C/C++, Java, and tools such as Spin, Coq, and ACL2.
  • Publication Experience: Experience writing published papers and presenting results to conferences and workshops.
About APL

The Johns Hopkins University Applied Physics Laboratory (APL) is a world-class research and development organization that brings expertise to the nation's most critical defense, security, space, and science challenges. We offer a vibrant, welcoming atmosphere where you can bring your authentic self to work, continue to grow, and build strong connections with inspiring teammates.

  • Software Assurance/Formal Methods Developer

    1 month ago

    Laurel, United States Johns Hopkins Applied Physics Laboratory (APL) Full time

    DescriptionDo you have experience solving problems with static analysis or formal methods for software assurance? Are you passionate about making meaningful contributions that impact national security systems? Do you work best in an intellectually stimulating, professionally rewarding, and fun environment? If so, we 're looking for someone like you to...

  • Formal Methods Specialist

    4 weeks ago

    Laurel, Maryland, United States Johns Hopkins Applied Physics Laboratory (APL) Full time

    About the RoleWe are seeking a highly skilled and motivated Software Assurance/Methods Developer to join our team at the Johns Hopkins Applied Physics Laboratory (APL). As a key member of our research team, you will be responsible for developing and applying formal methods and static analysis techniques to improve the security and reliability of software...

  • Software Assurance Developer

    2 weeks ago

    Laurel, Maryland, United States Johns Hopkins Applied Physics Laboratory (APL) Full time

    Software Assurance and Formal Methods PositionWe are seeking a skilled Software Assurance and Formal Methods professional to contribute to our team's efforts in advancing the state-of-the-art in software assurance theory and practice.Key Responsibilities:Develop and apply static analysis and formal methods tools and techniques to real-world...

  • Software Quality Assurance Engineer

    3 weeks ago

    Mount Laurel, New Jersey, United States Disability Solutions Full time

    Job SummaryDisability Solutions is seeking a highly skilled Software Quality Assurance Engineer to join our team. As an Engineer 3 QA with an infrastructure concentration, you will be responsible for validating and automating software and hardware solutions within complex networking environments.Key Responsibilities:Validate Software Solutions: Use...

  • Senior Software Engineer

    3 weeks ago

    Laurel, MD , USA, United States Johns Hopkins Applied Physics Laboratory (APL) Full time

    About the RoleWe are seeking a highly skilled and experienced software engineer to join our team at the Johns Hopkins Applied Physics Laboratory (APL). As a senior software engineer, you will play a key role in designing, implementing, and testing software applications that provide highly impactful capabilities.Key ResponsibilitiesDesign and implement...

  • Quality Assurance Specialist

    1 week ago

    Tampa, FL , USA, United States Seven Seven Software Full time

    Software Quality Assurance Role OverviewAt Seven Seven Software, we are seeking a skilled Quality Analyst to join our team.**Key Responsibilities:*** Assess the quality of software applications and services for the Global Liquidity platform* Collaborate with product owners and application developers to test end-user applications and data feeds within the...

  • Senior Software Automation Engineer

    2 weeks ago

    Laurel, Maryland, United States Nexus Dynamics Full time

    About the RoleWe are seeking a highly skilled Senior Software Engineer to join our team at Nexus Dynamics. As a Senior Software Engineer, you will be responsible for leading and implementing projects for the development and implementation of automation platforms.Key ResponsibilitiesCollaborate with subject matter experts to implement automated workflows on...

  • AI Assurance Subject Matter Expert

    1 week ago

    Laurel, United States Johns Hopkins Applied Physics Laboratory (APL) Full time

    DescriptionAre you a seasoned researcher with a robust background with the Department of Defense (DoD) or similar environment?  Do you have extensive experience in testing, measurement, and experimentation with cutting-edge AI technologies?  Are you passionate about AI Assurance and eager to influence senior leaders and decision-makers to integrate these...

  • AI Assurance Subject Matter Expert

    7 days ago

    Laurel, United States Johns Hopkins Applied Physics Laboratory (APL) Full time

    DescriptionAre you a seasoned researcher with a robust background with the Department of Defense (DoD) or similar environment?  Do you have extensive experience in testing, measurement, and experimentation with cutting-edge AI technologies?  Are you passionate about AI Assurance and eager to influence senior leaders and decision-makers to integrate these...

  • Senior Software Engineer/Software Architect

    1 month ago

    Laurel, MD, United States Johns Hopkins Applied Physics Laboratory (APL) Full time

    Description Are you passionate about building solutions for our greatest national security challenges?  Are you searching for engaging work with an employer that prioritizes impact, innovation, and personal development?  Do you value working in a creative and collaborative environment?  If so, we're looking for someone like you to join our team at...

  • Junior Software Quality Assurance Engineer

    3 weeks ago

    Mount Laurel, New Jersey, United States Brooksource Full time

    About the RoleWe are seeking a highly motivated and detail-oriented Junior Software Quality Assurance Engineer to join our team at Brooksource. As a Junior Software Quality Assurance Engineer, you will play a critical role in ensuring the quality and reliability of our software products.Key ResponsibilitiesContribute to the development of Quality Engineering...

  • Quality Assurance Specialist

    2 weeks ago

    Columbia, MD, United States ManTech Full time

    Quality Assurance SpecialistAt ManTech International Corporation, we're seeking a highly skilled Quality Assurance Specialist to join our team in the Columbia and Hanover, MD area. As a Quality Assurance Specialist, you'll play a critical role in ensuring the integrity of our systems and software processes.Key Responsibilities:Provide policy support to...

  • Quality Assurance Specialist

    6 days ago

    Clarksville Pike, Clarksville, MD , USA, United States ManTech Full time

    Secure Our Nation, Ignite Your FutureManTech International Corporation is seeking a motivated and career-oriented Quality Assurance Specialist to join our team in the Columbia and Hanover, MD area. As a Quality Assurance Specialist, you will provide policy support to Government personnel by assisting with the management processes related to the acquisition...

  • Senior Software Automation Engineer

    3 weeks ago

    Laurel, Maryland, United States Nexus Dynamics Full time

    Key ResponsibilitiesLead and implement projects for the development and implementation of automation platforms, driving innovation and efficiency in laboratory settings.Collaborate closely with subject matter experts to design and implement automated workflows on platforms such as Tecan, Beckman, and Hamilton, ensuring seamless integration and optimal...

  • Quality Assurance Specialist

    5 days ago

    Tallahassee, FL, USA, United States Maverc Technologies Full time

    Job Title: Quality Assurance SpecialistAt Maverc Technologies, we are seeking a highly skilled Quality Assurance Specialist to join our team. As a Quality Assurance Specialist, you will play a critical role in ensuring the delivery of high-quality software applications.Job SummaryThe Quality Assurance Specialist will be responsible for developing and...

  • Missile Effectiveness Modeling and Simulation Expert

    3 weeks ago

    Laurel, MD , USA, United States Johns Hopkins Applied Physics Laboratory (APL) Full time

    About the RoleWe are seeking a highly skilled Missile Effectiveness Modeling and Simulation Analyst to join our team at the Johns Hopkins University Applied Physics Laboratory (APL). As a key member of our team, you will play a critical role in characterizing and evaluating tactical missile system performance against complex and emergent threats.Key...

  • Software Quality Assurance Engineer

    4 weeks ago

    O'Fallon, MO , USA, United States Mastercard, Inc. Full time

    About the RoleWe are seeking a highly skilled Software Quality Assurance Engineer to join our team at Mastercard, Inc. As a key member of our Fraud Products team, you will play a crucial part in driving quality and building, implementing, and executing tests, automation improvements, and reporting for our regression release cycle.Key ResponsibilitiesDesign...

  • Senior Software Engineer/Software Architect

    1 month ago

    Laurel, MD, United States Johns Hopkins Applied Physics Laboratory (APL) Full time

    Description Are you passionate about building solutions for our greatest national security challenges?  Are you searching for engaging work with an employer that prioritizes impact, innovation, and personal development?  Do you value working in a creative and collaborative environment?  If so, we're looking for someone like you to join our team at...

  • Systems Engineering/Software Analysis

    1 month ago

    Laurel, MD, United States Johns Hopkins Applied Physics Laboratory (APL) Full time

    Are you an RF communications engineer who loves to discover how wireless systems work and would like to try to break them? Our team specializes in software and hardware reverse engineering, protocol analysis, vulnerability research, and developing cyber capabilities with a focus on embedded systems. We have custom facilities specifically tailored to...

  • Software Quality Assurance Specialist

    3 weeks ago

    Acton, MA , USA, United States i3 Assembly Full time

    Job SummaryWe are seeking a highly skilled Software Quality Assurance Specialist to join our team at i3 Assembly. As a key member of our engineering team, you will be responsible for ensuring the quality and reliability of our software products.Key ResponsibilitiesCollaborate with development teams to plan and execute testing strategiesDevelop and execute...