Formal Methods Specialist

4 weeks ago


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

We 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 systems.

Key Responsibilities
  • Solve Complex Problems: Utilize your expertise in static analysis and formal methods to tackle the nation's most pressing cybersecurity challenges.
  • Develop New Techniques: Explore and develop new methods and tools to support the development of zero-defect software and systems.
  • Collaborate with Experts: Work alongside world-class researchers and engineers to perform research and development, improving the state-of-the-art in software assurance theory and practice.
  • Contribute to Research Projects: Participate in research projects that create and apply static analysis and formal methods tools and techniques to real-world problems, including formal verification of algorithms, improvement of code quality, elimination of software bugs and design flaws, formal specification, and analysis of cyber-physical systems.
  • Develop and Implement Algorithms: Devise and develop algorithms, techniques, and new tools that implement and test your ideas for improving software assurance and more reliable reasoning under uncertainty.
  • Analyze Data and Results: Analyze data and results related to software assurance, demonstrating the benefits of using static analysis and formal methods in software development.
  • Share Knowledge: Clearly articulate your ideas through papers and presentations to technical staff, management, and government, taking advantage of opportunities to participate in working groups, sponsor meetings, proposal writing, and conferences.
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 static analysis, formal methods, or related areas.
  • Skills: 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: Ability to understand code in a variety of programming languages and to develop software to demonstrate new analysis capabilities.
  • Security Clearance: Ability to obtain a secret-level security clearance, with eligibility requirements including U.S. citizenship.
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 static analysis, formal methods, or related areas.
  • Machine Learning Experience: Experience using machine learning to advance software assurance.
  • Operational Semantics: Familiarity with operational semantics, abstract interpretation, symbolic execution, or type inference.
  • 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.
  • Publishing Experience: Experience writing published papers and presenting results to conferences/workshops.
  • Cybersecurity Experience: Familiarity with a range of cybersecurity concepts, such as network and host-based security, cryptography, trusted systems, and vulnerability/exploit discovery.
  • Current Clearance: Current DoD clearance and prior experience working with Government agencies.
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.

We celebrate our differences and encourage creativity and bold, new ideas. Our employees enjoy generous benefits, including a robust education assistance program, unparalleled retirement contributions, and a healthy work/life balance. APL's campus is located in the Baltimore-Washington metro area.



  • 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...


  • Laurel, Maryland, United States LifeBridge Health Full time

    Lead Acute Care Nurse for Brain Health UnitJoin LifeBridge Health as a Charge Nurse II-Acute Care Specialist and take your nursing career to the next level. As a leader in our Brain Health Unit, you will be responsible for providing safe, age-appropriate patient care and functioning as an advisor, resource, and leader for other members of the patient care...


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

    Job SummaryWe are seeking a highly skilled Systems Engineering Support Specialist to join our team at Johns Hopkins Applied Physics Laboratory (APL). As a key member of our team, you will be responsible for leading the Mission Systems Engineering Team (MSET) and engineering activities across the project.Key ResponsibilitiesLead mission-level technical...


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

    Job SummaryWe are seeking a highly skilled Systems Engineering Support Specialist to join our team at Johns Hopkins Applied Physics Laboratory (APL). As a key member of our team, you will be responsible for leading the Mission Systems Engineering Team (MSET) and engineering activities across the project.Key ResponsibilitiesLead mission-level technical...


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

    About the RoleWe are seeking a highly skilled Modeling Analyst to join our team at Johns Hopkins Applied Physics Laboratory (APL). As a key member of our team, you will be responsible for characterizing and evaluating tactical missile system performance against complex and emergent threats.Key ResponsibilitiesConduct high-fidelity physics-based modeling to...


  • Laurel, Maryland, United States Johns Hopkins Applied Physics Laboratory Full time

    About the RoleWe are seeking a highly skilled RF Systems Engineer to join our team at the Johns Hopkins Applied Physics Laboratory. As an RF Systems Engineer, you will play a critical role in developing innovative algorithms for surface radar and electronic warfare (EW) maritime electromagnetic systems.Key ResponsibilitiesCollaborate with team members to...


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

    Job SummaryWe are seeking a highly skilled Non-Kinetic Systems Engineer to join our team at Johns Hopkins Applied Physics Laboratory (APL). As a key member of our Applied Technologies and Threat Engineering Group, you will play a critical role in developing non-kinetic defensive strategies to counter adversary threat systems.Key ResponsibilitiesPropose and...


  • Laurel, Maryland, United States LifeBridge Health Full time

    Acute Care Nurse Leader OpportunityWe are seeking an experienced Charge Nurse II to join our team at Levindale Hospital, specializing in the Brain Health Unit. As a key member of our multidisciplinary team, you will provide safe, age-appropriate patient care and function as an advisor, resource, and leader for other members of the patient care team.Key...

  • Registered Nurse

    3 weeks ago


    Laurel, Maryland, United States LifeBridge Health Full time

    Job SummaryAs a Registered Nurse with LifeBridge Health, you will play a vital role in providing high-quality patient care and serving as a member of the patient care team. Your expertise will be essential in conducting and documenting initial and ongoing assessments, gathering data relevant to the patient's individual needs, and developing and implementing...


  • Laurel, Maryland, 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 be responsible for characterizing and evaluating tactical missile system performance against complex and emergent threats.Key...


  • Laurel, Maryland, United States LifeBridge Health Full time

    Acute Care Nurse Leader OpportunityWe are seeking an experienced Charge Nurse II to join our team at LifeBridge Health, a leading healthcare provider in Maryland. As a Charge Nurse II, you will play a critical role in providing exceptional patient care and leading a team of healthcare professionals.About the Brain Health UnitThe Brain Health Unit at...

  • Network Engineer

    4 weeks ago


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

    Job SummaryWe are seeking an experienced Network Engineer with expertise in SD-WAN to join our team at the Johns Hopkins University Applied Physics Laboratory (APL). As an SD-WAN Engineer, you will be responsible for evaluating and integrating SD-WAN technologies for our sponsors' networks.Key ResponsibilitiesEvaluate and integrate SD-WAN technologies for...


  • Laurel, Maryland, United States Johns Hopkins Applied Physics Laboratory Full time

    About the RoleWe are seeking a highly skilled Model-Based Systems Engineer to join our team at the Johns Hopkins Applied Physics Laboratory. As a key member of our navigation systems team, you will play a critical role in ensuring the US Navy has the most accurate and reliable navigation systems in the world.Key ResponsibilitiesProvide systems engineering...


  • Laurel, Maryland, United States Maryland Full time

    Introduction This is a Permanent position with full Maryland State benefits. Work that Matters. The Maryland Department of Housing and Community Development (DHCD) is a national leader in the financing of affordable housing and revitalizing communities. This is an opportunity to join this nationally-recognized, award-winning organization and apply your...


  • 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...


  • Laurel, MD , USA, 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 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...


  • Laurel, United States Talentmovers Inc Full time

    Must have:2 years of professional experience in a learning environment, training and development, business administration, program management or organizational development professional.5+ years of professional experience in a learning environment, training and development, business administration, program management or organizational development...


  • Laurel, Mississippi, United States Howard Industries Full time

    Job SummaryHoward Industries is a leading manufacturer of distribution transformers, with a strong commitment to producing safe, reliable, and energy-efficient products. We are seeking a skilled Electronics Specialist to join our Research & Development department, where you will work with factory automation systems to design, construct, install, and maintain...


  • Laurel, United States Maya Angelou Schools and See Forever Foundation Full time

    Job DescriptionJob DescriptionDescription:The OrganizationMaya empowers opportunity and justice-involved youth to transform the trajectory of their lives. We do this by engaging each of our scholars in a restorative, relevant school experience that prioritizes personalized academic support, well-being, and preparation for the post-Maya pathway of their...


  • Laurel, Mississippi, United States Howard Industries Full time

    **Electronics Technician Opportunity at Howard Industries**Howard Industries is a leading manufacturer of distribution transformers, prioritizing safety, reliability, and energy efficiency.**Job Overview:**Work as an Electronics Specialist in the Research & Development department, focusing on factory automation systems.**Key Responsibilities:**Perform...


  • Laurel, Mississippi, United States Howard Industries Full time

    Job SummaryHoward Industries is seeking a skilled Electronics Technician to join our Research & Development department, focusing on factory automation systems.Key Responsibilities:Design, construct, install, and maintain machine control and instrumentation systemsPerform calibration of electronic instruments and systemsDesign and program PLC control...

  • Process Engineer

    4 months ago


    Laurel, United States SITEC Consulting Full time

    Job DescriptionJob DescriptionAbout SITECSITEC is an employee and customer focused 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.SummaryApplies process improvement (PI), engineering...


  • Laurel, Montana, United States Agriculture, Rural Development Full time

    Job SummaryThis position is located in the State office of New Jersey in USDA/Rural Development (RD). The primary purpose of this position is to provide administrative, office management and activity coordination involving a variety of processes and methods within the state.Key ResponsibilitiesSupport public information, community relations and community...


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

    DescriptionDo you have a keen interest in providing top notch security support in a dynamic and rich R&D environment?Are you highly motivated, collaborative, independent, and forward thinking?                                                              Are you a professional who likes to solve...


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

    DescriptionDo you have a keen interest in providing top notch security support in a dynamic and rich R&D environment?Are you highly motivated, collaborative, independent, and forward thinking?                                                              Are you a professional who likes to solve...


  • Laurel, Montana, United States Bancroft Full time

    Physical Education Teacher OpportunityAre you a dedicated educator with a passion for creating personalized learning experiences for students with diverse challenges? Do you believe in the power of collaboration and innovative teaching methods to drive student growth and success?We are seeking a Physical Education Teacher to join our team at Bancroft, a...


  • Mount Laurel, New Jersey, United States TD Bank Full time

    Job Title: Business Application SpecialistWe are seeking a highly skilled Business Application Specialist to join our team at TD Bank. As a Business Application Specialist, you will be responsible for managing a diverse portfolio of business application management activities, providing input and executing on strategies, roadmaps, forecasts, and managing...


  • Laurel, United States Jobot Full time

    Industrial Hygiene Safety Specialist with Industrial Hygiene Exp with Top Engineering Firm, Work/Life Balance, Opportunity for Growth. Great Benefits & PerksThis Jobot Consulting Job is hosted by: Brittany SalvatoAre you a fit? Easy Apply now by clicking the "Apply" button and sending us your resume.Salary: $40 - $45 per hourA bit about us:40 Year old, US...


  • Laurel, United States Jobot Full time

    Job DescriptionJob DescriptionIndustrial Hygiene Safety Specialist with Industrial Hygiene Exp with Top Engineering Firm, Work/Life Balance, Opportunity for Growth. Great Benefits & PerksThis Jobot Consulting Job is hosted by: Brittany SalvatoAre you a fit? Easy Apply now by clicking the "Apply Now" buttonand sending us your resume.Salary: $40 - $45 per...


  • Laurel, United States Jobot Full time

    Industrial Hygiene Safety Specialist with Industrial Hygiene Exp with Top Engineering Firm, Work/Life Balance, Opportunity for Growth. Great Benefits & PerksThis Jobot Consulting Job is hosted by: Brittany SalvatoAre you a fit? Easy Apply now by clicking the "Apply Now" button and sending us your resume.Salary: $40 - $45 per hourA bit about us:40 Year old,...


  • Laurel, Montana, United States Bancroft Full time

    Empowering Students Through Teachable MomentsBancroft is seeking a passionate Physical Education Teacher to join our dedicated team at the Early Education Program. As a Physical Education Teacher, you will have the opportunity to craft tailored educational journeys for children with diverse challenges, promoting work/life balance and collaboration with a...


  • Laurel, Montana, United States Bancroft Full time

    Job SummaryBancroft is seeking a highly skilled and dedicated Physical Education Teacher to join our team. As a Physical Education Teacher, you will play a vital role in creating a supportive and inclusive learning environment for students with diverse challenges.Key ResponsibilitiesAssess students' individual abilities and develop Individualized Education...

  • School Counselor

    4 weeks ago


    Laurel, United States ExpertHiring Full time

    Job Type : Contract Location : Laurel Maryland Pay : Great Pay! Job Description About Us: At SchoolHiring (Division of ExpertHiring) we champion potential in students and professionals. You’re not just an employee here; you’re family. We value your role in shaping futures and providing unmatched opportunities to harness your expertise. With...


  • Laurel, Montana, United States Bancroft Full time

    About the RoleWe are seeking a dedicated and passionate Physical Education Teacher to join our team at Bancroft. As a Physical Education Teacher, you will play a vital role in creating a tailored educational journey for our students with diverse challenges.ResponsibilitiesAssess students' individual abilities and develop Individualized Education Plans (IEPs)...