Formal Methods Specialist
4 weeks ago
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.
- 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.
- 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.
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.
-
Software Assurance Developer
2 weeks ago
Laurel, Maryland, United States Johns Hopkins Applied Physics Laboratory (APL) Full timeSoftware 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...
-
Charge Nurse II-Acute Care Specialist
6 days ago
Laurel, Maryland, United States LifeBridge Health Full timeLead 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...
-
Systems Engineering Support Specialist
2 days ago
Laurel, Maryland, United States Johns Hopkins Applied Physics Laboratory (APL) Full timeJob 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...
-
Systems Engineering Support Specialist
2 days ago
Laurel, Maryland, United States Johns Hopkins Applied Physics Laboratory (APL) Full timeJob 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...
-
Missile Effectiveness Specialist
4 weeks ago
Laurel, Maryland, United States Johns Hopkins Applied Physics Laboratory (APL) Full timeAbout 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 timeAbout 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...
-
Advanced Technology Specialist
4 weeks ago
Laurel, Maryland, United States Johns Hopkins Applied Physics Laboratory (APL) Full timeJob 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...
-
Charge Nurse II-Acute Care Specialist
2 weeks ago
Laurel, Maryland, United States LifeBridge Health Full timeAcute 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 timeJob 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...
-
Aerospace Systems Analyst
4 weeks ago
Laurel, Maryland, United States Johns Hopkins Applied Physics Laboratory (APL) Full timeAbout 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...
-
Charge Nurse II-Acute Care Specialist
2 weeks ago
Laurel, Maryland, United States LifeBridge Health Full timeAcute 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 timeJob 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 timeAbout 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...
-
Lending and Risk Assessment Analyst II
1 month ago
Laurel, Maryland, United States Maryland Full timeIntroduction 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...
-
Software Assurance/Formal Methods Developer
1 month ago
Laurel, United States Johns Hopkins Applied Physics Laboratory (APL) Full timeDescriptionDo 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...
-
Software Assurance and Formal Methods Expert
3 weeks ago
Laurel, MD , USA, United States Johns Hopkins Applied Physics Laboratory (APL) Full timeAbout 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...
-
Program Support Specialist
2 days ago
Laurel, United States Talentmovers Inc Full timeMust 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...
-
Electronics Specialist
3 weeks ago
Laurel, Mississippi, United States Howard Industries Full timeJob 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 timeJob 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...
-
Instrumentation Technician
1 month ago
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...
-
Electronics Specialist
1 month ago
Laurel, Mississippi, United States Howard Industries Full timeJob 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 timeJob 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...
-
Office Management Specialist
4 weeks ago
Laurel, Montana, United States Agriculture, Rural Development Full timeJob 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...
-
SCI Security Specialist
7 days ago
Laurel, United States Johns Hopkins Applied Physics Laboratory (APL) Full timeDescriptionDo 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...
-
SCI Security Specialist
1 week ago
Laurel, United States Johns Hopkins Applied Physics Laboratory (APL) Full timeDescriptionDo 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...
-
Physical Education Specialist
2 weeks ago
Laurel, Montana, United States Bancroft Full timePhysical 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...
-
Business Application Specialist
1 week ago
Mount Laurel, New Jersey, United States TD Bank Full timeJob 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...
-
Senior Industrial Hygiene Safety Specialist
4 days ago
Laurel, United States Jobot Full timeIndustrial 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...
-
Senior Industrial Hygiene Safety Specialist
1 week ago
Laurel, United States Jobot Full timeJob 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...
-
Senior Industrial Hygiene Safety Specialist
1 week ago
Laurel, United States Jobot Full timeIndustrial 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,...
-
Physical Education Specialist
7 days ago
Laurel, Montana, United States Bancroft Full timeEmpowering 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...
-
Physical Education Specialist
3 weeks ago
Laurel, Montana, United States Bancroft Full timeJob 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 timeJob 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...
-
Physical Education Specialist
3 weeks ago
Laurel, Montana, United States Bancroft Full timeAbout 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)...