Software Assurance Developer

2 weeks ago

Laurel, Maryland, United States Johns Hopkins Applied Physics Laboratory (APL) Full time
Software Assurance and Formal Methods Position

We 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 problems.
  • Collaborate with research teams to perform research and development improving the state-of-the-art in software assurance theory and practice.
  • Participate in research projects that create and apply static analysis and formal methods tools and techniques to real-world problems.

Requirements:

  • Bachelor's degree in computer science, computer engineering, electrical engineering, mathematics, or other field relevant to the above duties.
  • 4+ years of either professional experience or a combination of graduate research and experience with static analysis, 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.

Preferred Qualifications:

  • D. in computer science, computer engineering, electrical engineering, or a related field
  • 7+ years of experience with static analysis, 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
  • Familiarity with a range of cyber-security concepts, such as network and host-based security, cryptography, trusted systems, and vulnerability/exploit discovery

About Our Company:

We are a leading organization in the field of software assurance and formal methods, committed to promoting an innovative environment that embraces diversity, encourages creativity, and supports inclusion of new ideas. We are committed to providing reasonable accommodation to individuals of all abilities, including those with disabilities.

  • Software Development Engineer

    4 weeks ago

    Laurel, Maryland, United States Wyetech Full time

    Job DescriptionJob Title: Application Engineer 4Job Summary:We are seeking a highly skilled Application Engineer 4 to join our team at Wyetech, LLC. As an Application Engineer 4, you will be responsible for designing and developing software tools and subsystems to support software reuse and domain analyses. You will also manage the implementation of these...

  • Senior Software Developer

    4 weeks ago

    Laurel, Maryland, United States SITEC Consulting Full time

    Job DescriptionAbout SITEC ConsultingSITEC Consulting is a professional services firm specializing in technology solutions, cybersecurity, software engineering, and systems integration. We provide comprehensive lifecycle services for our customers' platforms, ensuring continuous operation of software production facilities.**Job Summary**We are seeking a...

  • Software Developer

    2 days ago

    Laurel, Maryland, United States Leidos Full time

    Unlock Your PotentialAbout the RoleLeidos is seeking a skilled Software Engineer to join our team in the Fort Meade, MD area. As part of our highly visible and fast-paced prime contract, you'll have the opportunity to work on cutting-edge projects and collaborate with a talented team of professionals.Your Key ResponsibilitiesDevelop data collection and...

  • Senior Software Developer

    1 week ago

    Laurel, Maryland, United States SITEC Consulting Full time

    Job Title: ARCHIBUS DeveloperAbout SITEC ConsultingSITEC Consulting is a leading Information Technology and Professional Services Firm specializing in design, development, and delivery of state-of-the-art technology solutions, as well as cybersecurity, software and systems engineering services. Our team provides support services for continuous operation of...

  • Senior Software Developer

    1 week ago

    Laurel, Maryland, United States Belay Technologies Full time

    Job OpportunityBelay Technologies is a leading provider of technology and engineering solutions to the DoD and commercial markets. We are seeking a highly skilled Mid-Level Software Developer to join our team.The ideal candidate will possess a strong background in software development, with a focus on systems automation and full stack development. A...

  • Senior Software Developer

    1 week ago

    Laurel, Maryland, United States Belay Technologies Full time

    Job OverviewBelay Technologies is a leading provider of technology and engineering solutions to the DoD and commercial markets. We are seeking a highly skilled Mid-Level Software Developer to join our team.Key ResponsibilitiesDesign, develop, and test software applications using C and Python programming languages.Collaborate with cross-functional teams to...

  • Software Development Engineer

    4 weeks ago

    Laurel, Maryland, United States Wyetech Full time

    About the RoleWe are seeking a highly skilled Software Development Engineer to join our team at Wyetech, LLC. As a key member of our team, you will be responsible for designing, developing, and maintaining software systems that meet the needs of our clients.Key ResponsibilitiesSoftware Development: Design, develop, and implement software systems that meet...

  • Software Development Specialist

    4 weeks ago

    Laurel, Maryland, United States Wyetech Full time

    About the RoleWe are seeking a highly skilled Software Engineer 3 to join our team at Wyetech, LLC. As a key member of our team, you will be responsible for designing, developing, and maintaining software systems that meet the needs of our clients.Key ResponsibilitiesSoftware Development: Develop solutions in support of Defensive Cybersecurity Operations,...

  • Software Development Engineer

    4 weeks ago

    Laurel, Maryland, United States Belay Technologies Full time

    Job Opportunity at Belay TechnologiesBelay Technologies, a leading provider of technology and engineering solutions, is seeking a skilled Software Development Engineer to join our team. As a key member of our intel team, you will play a crucial role in building, testing, and deploying a SharePoint 2019 farm for the Enterprise.Key ResponsibilitiesParticipate...

  • Lead Software Development Manager

    4 weeks ago

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

    Job SummaryWe are seeking a highly skilled Senior Systems Integration Lead to lead software development and integration efforts associated with deploying a complex system for the US Navy.Key ResponsibilitiesLead the integration of a complex system of systems for US Navy platformsOversee software development activities, including scheduling and prioritizing...

  • Senior Software Development Engineer

    4 weeks ago

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

    About the RoleWe are seeking a highly skilled Senior Software Engineer to join our team at the Johns Hopkins University Applied Physics Laboratory (APL). As a key member of our team, you will be responsible for developing innovative solutions that have a significant impact on our nation's most critical defense, security, space, and science challenges.Key...

  • Software Development Engineer

    4 weeks ago

    Laurel, Maryland, United States Wyetech Full time

    Job DescriptionWe are seeking a highly skilled Software Development Engineer to join our team at Wyetech, LLC. As a key member of our Cyber Security Directorate's Defensive Network Operations organization, you will play a critical role in the development of data collection and analysis tools to support our Windows Blue Team's Systems Vulnerability...

  • C++ Software Developer

    4 weeks ago

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

    Job Summary:We are seeking an experienced C++ Software Engineer to join our Imaging Systems Group at Johns Hopkins Applied Physics Laboratory (APL). As a C++ Software Engineer, you will be responsible for designing, developing, and implementing C++ applications from concept to deployment.Key Responsibilities:Participate in the design, development, and...

  • Senior Analyst, Software Development

    2 weeks ago

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

    Job DescriptionWe are seeking a highly skilled Senior Analyst, Software to join our team at the Johns Hopkins Applied Physics Laboratory (APL). As a key member of our Strike Analysis Group, you will be responsible for developing models and performing analysis on sensor, tracker, communication, and weapon systems for mission-level simulations using AFSIM.Key...

  • Senior Analyst, Software Development

    2 weeks ago

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

    Job SummaryWe are seeking a highly skilled Senior Analyst, Software to join our team at the Johns Hopkins Applied Physics Laboratory (APL). As a key member of our Strike Analysis Group, you will be responsible for developing models and performing analysis on sensor, tracker, communication, and weapon systems for mission-level simulations using AFSIM.Key...

  • AI Software Architect

    2 weeks ago

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

    Software Architect for AI SystemsWe are seeking a skilled and experienced software architect to join our team at the Johns Hopkins University Applied Physics Laboratory (APL). As a software architect, you will play a critical role in designing and developing a pioneering real-world artificial intelligence system for high-end sensors.About the RoleAs a...

  • Software Development Expert

    3 weeks ago

    Laurel, Maryland, United States General Dynamics Information Technology Full time

    Transform Technology into OpportunityAs a Software Engineer with General Dynamics Information Technology (GDIT), you will play a critical role in connecting and enhancing the systems that matter most. Our team is dedicated to delivering innovative solutions that drive real-world impact.Key Responsibilities:Provide engineering, architectural, and full...

  • Software Development Engineer: Entry-Level Position

    4 weeks ago

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

    About the Role:The Johns Hopkins Applied Physics Laboratory (APL) is seeking a highly skilled Senior Software Engineer to join our team in the Applied Information Sciences Branch. As a Senior Software Engineer, you will be responsible for developing innovative solutions that have impactful contributions in health and biosecurity, homeland protection, cyber...

  • Senior Software Engineer, Full Stack Developer

    2 weeks ago

    Laurel, Maryland, United States Capital One Full time

    Transformative Cloud-Based SolutionsAt Capital One, we're seeking passionate Full Stack Software Engineers to join our team and drive a major transformation within our organization.As a Full Stack Software Engineer, you'll collaborate with Agile teams to design, develop, test, implement, and support technical solutions in full-stack development tools and...

  • Software Architect for AI-Enabled Solutions

    4 weeks ago

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

    About the RoleWe are seeking a highly skilled Software Architect 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 designing and developing pioneering real-world artificial intelligence systems for high-end sensors.Key ResponsibilitiesStay up-to-date with industry...