Software Assurance Developer

1 week ago

London, Kentucky, United States Johns Hopkins Applied Physics Laboratory (APL) Full time
Software Assurance and Formal Methods Developer

We are seeking a highly skilled Software Assurance and Formal Methods Developer 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 ensure the security and reliability of our nation's most critical defense and security systems.

Key Responsibilities:
  • Develop and apply formal methods and static analysis techniques to identify and mitigate software vulnerabilities and ensure the security and reliability of our systems.
  • Collaborate with our research team to design and implement new formal methods and static analysis tools and techniques.
  • Analyze and evaluate the effectiveness of formal methods and static analysis techniques in ensuring the security and reliability of our systems.
  • Develop and maintain documentation and reports on the results of our research and analysis.
  • Present research findings and results to technical staff, management, and government stakeholders.
Qualifications:
  • Bachelor's degree in Computer Science, Computer Engineering, Electrical Engineering, Mathematics, or a related field.
  • 4+ years of experience in software assurance, formal methods, or related areas.
  • Experience with static analysis and/or formal methods tools and techniques, such as model checking, theorem proving, programming language analysis and design, type theory, static source code analysis, or formal logic.
  • Ability to understand code in a variety of programming languages and to develop software to demonstrate new analysis capabilities.
  • Ability to obtain a secret level security clearance.
Preferred Qualifications:
  • Master's or Ph.D. in Computer Science, Computer Engineering, Electrical Engineering, or a related field.
  • 7+ years of experience in software assurance, formal methods, or related areas.
  • Experience using machine learning to advance software assurance.
  • Experience with software development on Linux, using languages such as Rust, OCaml, C/C++, Java, and tools such as Spin, Coq, and ACL2.
  • Experience writing published papers and presenting results to conferences/workshops.

We offer a dynamic and collaborative work environment, with opportunities for professional growth and development. If you are a motivated and talented individual who is passionate about software assurance and formal methods, we encourage you to apply for this exciting opportunity.

APL is an Equal Opportunity/Affirmative Action employer. All qualified applicants will receive consideration for employment without regard to race, creed, color, religion, sex, gender identity or expression, sexual orientation, national origin, age, physical or mental disability, genetic information, veteran status, occupation, marital or familial status, political opinion, personal appearance, or any other characteristic protected by applicable law.

  • Software Assurance Developer

    5 days ago

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

    Job DescriptionWe are seeking a highly skilled Software Assurance/Formal 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 Development Professional

    4 weeks ago

    London, Kentucky, United States WOOD Consulting Services, Inc Full time

    Job SummaryWOOD Consulting Services, Inc. is seeking a highly skilled Software Engineer Level 1 to join our team. As a key member of our software development team, you will be responsible for designing, developing, and modifying software systems to meet the needs of our clients.Key ResponsibilitiesSoftware Design and DevelopmentAnalyze user requirements to...

  • Software Developer

    1 day ago

    London, Kentucky, United States Booz Allen Hamilton Full time

    Software Engineer OpportunityAt Booz Allen Hamilton, we're seeking an experienced Software Engineer to join our team. As a full stack developer, you'll have the opportunity to resolve complex problems with a complete end-to-end solution in a fast-paced, Agile environment.About the RoleThis is a challenging and rewarding role that requires a strong background...

  • Software Developer

    6 days ago

    London, Kentucky, United States GliaCell Technologies Full time

    Job Opportunity at GliaCell TechnologiesWe are seeking a highly skilled Software Engineer to join our team at GliaCell Technologies. As a Software Engineer, you will play a critical role in developing and maintaining software solutions for our clients in the Enterprise and Cyber Security solution spaces.Key Responsibilities:Design, develop, and test software...

  • Software Developer

    6 days ago

    London, Kentucky, United States The Johns Hopkins University Applied Physics Laboratory Full time

    Software Developer/Application Support AnalystWe are seeking a highly skilled Software Developer/Application Support Analyst to join our team at The Johns Hopkins University Applied Physics Laboratory. As a key member of our team, you will be responsible for designing, developing, and supporting the next generation of Facilities Management Applications.Key...

  • Software Developer

    15 hours ago

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

    About the RoleWe are seeking a highly skilled Software Developer to join our team at the Johns Hopkins Applied Physics Laboratory (APL). As a key member of our team, you will be responsible for designing, developing, and supporting the next generation of Facilities Management Applications.Key ResponsibilitiesAct as a technical resource for functional areas...

  • Software Development Engineer

    3 weeks ago

    London, Kentucky, United States Elenchus Technologies Full time

    About the RoleElenchus Technologies is seeking a highly skilled Software Development Engineer to join our team. As a key member of our engineering team, you will be responsible for designing, developing, and deploying scalable and efficient software solutions.Key ResponsibilitiesDesign and Develop Software Solutions: Collaborate with cross-functional teams...

  • Software Development Engineer

    3 weeks ago

    London, Kentucky, United States Elenchus Technologies Full time

    About the RoleElenchus Technologies is seeking a highly skilled Software Development Engineer to join our team. As a key member of our engineering team, you will be responsible for designing, developing, and deploying scalable and efficient software solutions.Key ResponsibilitiesDesign and Develop Software Solutions: Utilize your expertise in Java, Python,...

  • Cybersecurity Solutions Developer

    3 weeks ago

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

    About the RoleWe are seeking a highly skilled Software Assurance and Formal Methods Expert 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 advanced software assurance techniques to tackle the nation's most pressing cybersecurity challenges.Key...

  • Software Development Engineer

    1 week ago

    London, Kentucky, United States The Swift Group Full time

    Job Title: Systems EngineerThe Swift Group is seeking a highly skilled Systems Engineer to join our team. As a Systems Engineer, you will be responsible for designing, developing, and implementing software solutions for our enterprise systems.Key Responsibilities:Design and develop software solutions for our enterprise systemsImplement and maintain software...

  • Senior Software Developer

    2 weeks ago

    London, Kentucky, United States Optimus Technology, Inc Full time

    Job Title: ARCHIBUS DeveloperOptimus Technology, Inc is seeking a highly skilled ARCHIBUS Developer to join our team. As a key member of our team, you will be responsible for maintaining and enhancing complex operational software systems, interacting with Government project leadership on priorities, developing task estimates, and providing input to...

  • Senior Software Developer

    4 days ago

    London, Kentucky, United States CTC Full time

    Job OpportunityComputer Technologies Consultants (CTC) is seeking a skilled ARCHIBUS Developer to support the Intelligence Community in Laurel, MD. This is an on-site position on a stable prime government contract.We are a leading technology company providing lifecycle IT, data analytics, cloud managed hosting services, agile software development, DevOps,...

  • Senior Software Developer

    7 days ago

    London, Kentucky, United States Optimus Technology, Inc Full time

    Job Title: ARCHIBUS DeveloperOptimus Technology, Inc is seeking a highly skilled ARCHIBUS Developer to join our team. As a key member of our team, you will be responsible for maintaining and enhancing complex operational software systems, interacting with Government project leadership on priorities, developing task estimates, and providing input to...

  • Software Development Engineer

    2 weeks ago

    London, Kentucky, United States The Swift Group Full time

    Job Title: Systems EngineerThe Swift Group is seeking a highly skilled Systems Engineer to join our team. As a key member of our technical staff, you will be responsible for designing, developing, and maintaining our software systems.Key Responsibilities:Design and develop software systems using Agile methodologiesManage and maintain Linux hosts, including...

  • Cloud Development Engineer

    3 weeks ago

    London, Kentucky, United States CTC Full time

    Job DescriptionComputer Technologies Consultants (CTC) is seeking a skilled Cloud Development Engineer to support the Intelligence Community in a full-time position on a stable prime government contract.As a leading technology company, CTC provides lifecycle IT, data analytics, cloud managed hosting services, agile software development, DevOps, Test...

  • Software Development Engineer

    7 days ago

    London, Kentucky, United States The Swift Group Full time

    Job Title: Systems EngineerThe Swift Group is seeking a highly skilled Systems Engineer to join our team. As a Systems Engineer, you will be responsible for designing, implementing, and maintaining complex software systems, as well as providing technical leadership and guidance to our development teams.Key Responsibilities:Design and implement software...

  • Enterprise Infrastructure Software Developer

    4 weeks ago

    London, Kentucky, United States Themis Insight Full time

    About the RoleThemis Insight is seeking a highly skilled Software Data Engineer to join our team in Laurel, MD. As an Enterprise Infrastructure Software Data Engineer, you will be responsible for developing, maintaining, and enhancing complex software systems based on documented requirements.Key ResponsibilitiesDevelop and maintain software systems using...

  • Automation Software Developer

    2 weeks ago

    London, Kentucky, United States SilverLinx Full time

    Job Title: SPS ProgrammerAbout the Role:We are seeking a skilled SPS programmer to join our team at SilverLinx. As an SPS programmer, you will be responsible for developing, programming, and implementing SPS software solutions for various applications and industries.Key Responsibilities:Design and develop SPS software solutions for machine control...

  • SPS Software Developer

    3 weeks ago

    London, Kentucky, United States SilverLinx Full time

    A leading company in the field of industrial automation, SilverLinx, is seeking a highly skilled SPS Software Developer for a permanent position, who can utilize their expertise in machine control systems.Key Responsibilities:Design, develop, and implement SPS software solutions for various industrial applications and sectorsAnalyze customer requirements and...

  • Mid-Level Software Developer

    5 days ago

    London, Kentucky, United States CTC Full time

    Job OpportunityComputer Technologies Consultants (CTC) is seeking a skilled Mid-Level Software Developer to support the Intelligence Community in Laurel, MD.We are a leading technology company providing lifecycle IT, data analytics, cloud managed hosting services, agile software development, DevOps, Test Automation, Cyber Security, and infrastructure...