PhD: Formal Methods & Software Assurance Engineer

Johns Hopkins Applied Physics Lab

The Johns Hopkins University Applied Physics Laboratory (APL) seeks a Software Assurance/Formal Methods Developer to advance formal verification and software assurance for national security systems. You will collaborate with researchers to create and apply formal methods tools, tackle cyber security challenges, and contribute to results aimed at reducing software bugs and design flaws.

The role involves developing and testing new analysis capabilities across languages and platforms, presenting

#J-18808-Ljbffr

Apply

Vacancy posted 15 hours ago

Similar jobs that could be interesting for youBased on the PhD: Formal Methods & Software Assurance Engineer in Laurel, MD vacancy

Research Software Engineer, Formal Methods (Hybrid)
$86.8k - $165.2k
...Research Software Engineer, Formal MethodsRTX BBN Networking and Cyber Technologies group is looking... ...a Research Software Engineer, Formal Methods with strong software development skills... ...model measuring, and theorem proving.PhD degree.Experience writing logic for SAT...
For phd
Temporary work
Work experience placement
Work at office
Remote work
Flexible hours
RTX
Columbia, MD
4 days ago
Senior Software Engineer/Architect - TS SCI cleared
$105k - $290k
...test, document, and maintain software applications that provide highly... .... You will combine software engineering best practices with the... ...applying knowledge of available methods, tools, and concepts to those... ...minimum requirements if you have…A PhD or Masters degree in Computer...
For phd
Temporary work
Work experience placement
Relocation package
Flexible hours
Johns Hopkins Applied Physics Laboratory
Laurel, MD
4 days ago
Manager Software Engineering 2
$161.1k - $241.7k
...history, they're making history. The Software Engineering Manager 2 will lead a team of... ...relevant software engineering experience; PhD with 4+ years of relevant software engineering... ...traceability, cybersecurity, quality assurance, and formal verification practices. Salary and...
For phd
Relocation package
Shift work
Northrop Grumman
Jessup, MD
1 day ago
AI Assurance Engineer
$100k
...Are you an engineer with hands-on experience evaluating, testing,... ...from you. We are seeking an AI Assurance Engineer to help develop and... ...suitability. Apply AI evaluation methods, benchmarks, and test... ...Experience with Python and software development for AI, data analysis...
Suggested
Temporary work
Work experience placement
Interim role
Relocation package
Flexible hours
Johns Hopkins Applied Physics Lab
Laurel, MD
15 hours ago
2027 PhD Graduate - AI/ML Data Scientist/Engineer - Analytic Capabilities
$105k
...you are graduating with a PhD in computer science, mathematics, engineering, or a related field, we... ...and develop scalable software systems that leverage artificial... ...Have experience with AI assurance, explainable AI, or... ...harnesses or related methods for agentic software development...
For phd
Temporary work
Work experience placement
Interim role
Relocation package
Flexible hours
Johns Hopkins Applied Physics Lab
Laurel, MD
2 days ago
Manager Software Engineering 2
$161.1k - $241.7k
...history, they're making history. The Software Engineering Manager 2 will lead a team of individual... ...software engineering experience; PhD with 4+ years of relevant software engineering... ...traceability, cybersecurity, quality assurance, and formal verification practices. Salary and...
For phd
Relocation package
Shift work
Northrop Grumman
Jessup, MD
1 day ago
Software Engineer TS/SCI Polygraph
$131.3k - $237.35k
...has a new and exciting opportunity for Software Engineers (hiring junior level, mid-level, up to... ...Operations (CNO), Mission Software, Analytical Methods and Modeling, Signals Intelligence (... ...software tools, provide support using formal specifications, data flow diagrams, and...
Full time
Immediate start
Flexible hours
Leidos
Annapolis Junction, MD
5 days ago
2027 Internship - Space Exploration Software Engineer - Embedded Applications
...Space Exploration Software InternDo you love writing code? Does the idea of writing code for spacecraft... ...are pursuing a Bachelor's, Master's, or PhD degree in a software-related field such as Computer Science, Software Engineering, Computer Engineering, Electrical...
For phd
Internship
Johns Hopkins Applied Physics Laboratory
Laurel, MD
3 days ago
Web-based User Interface Software Engineer
$100k - $245k
...Web-Based User Interface Software EngineerDo you thrive in a dynamic environment, collaborating... ...a Web-based User Interface Software Engineer for the Multi-Mission Planning Development... ...minimum requirements if you...Possess a MS or PhD in Computer Science, Software Engineering...
For phd
Interim role
Johns Hopkins Applied Physics Laboratory
Laurel, MD
3 days ago
Software Engineer Level 4
...Software Engineer Level 4Base-2 Solutions is seeking a Software Engineer Level 4 to develop, maintain, and enhance complex and diverse software... ...of experience.Masters' Degree with 7 years of experience.PhD with 5 years of experience.Required Security ClearanceActive TS...
For phd
Base2 Solutions
Annapolis Junction, MD
2 days ago
Cyber Software Engineer
...Cyber Software EngineerMission Technologies is looking for a Cyber Software Engineer to join our cutting-edge Cyber and Intelligence Team. In this role, you will dive deep... ...Masters in related field; 0 years experience with PhD or Juris Doctorate in related field; or High...
For phd
HII Mission Technologies division
Annapolis Junction, MD
4 days ago
Software Research Engineer - RF Machine Learning (RFML)
$112k - $179k
...Software Research EngineerPeraton Labs is seeking a poly cleared Software Research Engineer to join our team conducting advanced research at a customer... ...years and a Masters, or a PhD in Computer Science or... ...., Multiple-antenna (MIMO) methods, distributed signal processing...
For phd
Full time
Contract work
Relocation package
Shift work
Peraton
College Park, MD
4 days ago
Software Research Engineer - RF Machine Learning (RFML) Jobs
$104k - $166k
...Peraton Labs is seeking a poly cleared Software Research Engineer to join our team conducting advanced... ...Bachelors, 1+ years and a Masters, or a PhD in Computer Science or related... ...concepts (e.g., Multiple-antenna (MIMO) methods, distributed signal processing, array...
For phd
Full time
Contract work
Temporary work
Relocation package
Shift work
Navstar
College Park, MD
4 days ago
Software Assurance Evaluation Engineer
...MANTECH seeks a motivated, career and customer-oriented Software Assurance Evaluation Engineer to join our team in Hanover, MD. The Software Assurance Evaluation Engineer will leverage their strong technical background and knowledge to support software assurance...
Work at office
ManTech
Hanover, MD
2 days ago
Senior Software Data Engineer
$176k - $282k
...Responsibilities Peraton is hiring a Software/Data Engineer to join our Cyber Mission business unit in Jessup, MD. As a Software Data Engineer... ...(17) years of Software Engineering experience; or PhD in Engineering, Computer Science, Mathematics, or appropriate...
For phd
Full time
Contract work
Shift work
Peraton
Laurel, MD
3 days ago
Network Software Engineer
$100k - $245k
...Network Software EngineerDo you love to develop creative and impactful communications and... ...searching for meaningful work in software engineering?If so, we're looking for someone like... ...requirements if you have...A Master's degree or PhD in Computer Science, Computer...
For phd
Interim role
Johns Hopkins Applied Physics Laboratory
Laurel, MD
4 days ago
Lead Systems Engineer - RF Systems
$154.05k - $278.48k
...the national security, engineering, and health industries... ...services and mission software capabilities to support... ...and Information Assurance requirements addressing... ....Establish and follow formal procedures for coordinating... ...& CertificationDefine methods, processes, and...
Full time
Contract work
Leidos
Laurel, MD
8 days ago
Software Engineer III, DB/Data Assurance
...FC-USDWe are seeking an experienced data engineer to join our team! OTECH produces and... ...stakeholders across the project, including software developers, systems engineers, integrated... ...JSON, XML, or Avro is also valuable.The assurance portion of the role requires strong...
Oceaneering International
Hanover, MD
6 days ago
Mid/Sr. Test Engineer TS/SCI Poly
$92.3k - $166.85k
...opportunity for a Mid-Senior Test Engineer in our Intel Sector's... ...Operations (CNO), Mission Software, Analytical Methods and Modeling, Signals... ...execution of informal and formal test events.Drive the identification... ...engineers, information assurance engineers, and other...
Full time
Work experience placement
Immediate start
Flexible hours
Leidos
Annapolis Junction, MD
8 days ago
External Job Posting Title Enterprise Infrastructure Software Data Engineer
$176k - $282k
...Responsibilities Peraton is hiring an Enterprise Infrastructure Software Data Engineer to join our Cyber Mission business unit in Laurel, Maryland.... ...(3) years of experience in Software Engineering with a PhD in Engineering, Computer Science, Mathematics, or...
For phd
Full time
Contract work
Shift work
Peraton
Laurel, MD
2 days ago
Software Engineer Level 2
Software Engineer Level 2 Base-2 Solutions is seeking a Software Engineer Level 2 to support the VISTA (SRE Team). This role focuses on developing... ...of experience. Masters' Degree with 14 years of experience. PhD with 14 years of experience. Required Security Clearance...
For phd
Base2 Solutions
Annapolis Junction, MD
1 day ago
Full Stack Software Engineer, Senior
$86.9k - $198k
Full Stack Software Engineer, SeniorThe Opportunity:As a full stack developer, you can resolve a problem with a complete end-to-end solution... ...and implementing software programming applications using agile methods 5+ years of experience in software development with basic...
Full time
Contract work
Part time
Work at office
Local area
Remote work
Booz Allen Hamilton
Annapolis Junction, MD
4 days ago
Lead Network Engineer
...Solutions, LLC seeks a Lead Network Engineer to be part of our exciting... ...information for hardware and software selection, implementation... .../MA; Minimum of 3 years with PhD, 4 years of additional work experience... ...encryptors Information Assurance Certifications consistent...
For phd
Full time
Work experience placement
Work at office
Flexible hours
VMR Strategic Solutions
Annapolis Junction, MD
27 days ago
Software Engineer Technical Leader - Network Data Plane - Hypershield
$214.1k - $309.8k
...ll help build high-performance data plane software that leverages Data Processing Units (... ...Cisco innovation while collaborating with engineers solving some of the industry’s most complex... ..., or Master’s degree with 10+ years, or PhD with 7+ years of related experience. 10+...
For phd
Full time
Temporary work
Local area
Flexible hours
CISCO Systems
Annapolis Junction, MD
6 days ago
Software Data Engineer 4 (Enterprise Infrastructure)
...Civilian and Military expertise to every case. We are hiring a Software Data Engineer 4 (Enterprise Infrastructure) to work in Laurel, MD .... ...(3) years of experience in Software Engineering with a PhD in Engineering, Computer Science, Mathematics, or appropriate...
For phd
Full time
Local area
Work from home
Flexible hours
Themis Insight
Laurel, MD
more than 2 months ago
SR Software Engineer --TS/SCI w/poly
$176k - $282k
ResponsibilitiesPeraton is seeking a Software Engineer to support a suite of web-based applications that automate data management for IC data... ...as the primary language. The development effort uses Agile methods to assign, track and manage software activities and requirements...
Contract work
Shift work
Peraton Corporation
Annapolis Junction, MD
5 days ago
Software Engineer
...SummaryThe selected individual will perform software development activities as a member of an... ...software tools, provide support using formal specifications, data flow diagrams, and... ...with the use of Computer Aided Software Engineering (CASE) tools, and will use sound...
Work experience placement
CyberCore Technologies
Annapolis Junction, MD
5 days ago
Senior Software Engineer
$176.9k - $332.4k
...Description:Parsons is looking for an amazingly talented Senior Software Engineer to join our team! In this role you will get to designs,... ...Engineering, Computer Science, Math or Information Systems)Documented formal training on the Software Engineering Institute (SEI)...
Full time
Flexible hours
Parsons
Annapolis Junction, MD
5 days ago
Senior Software Engineer
$146k - $234k
...the Peraton facility and offers flexible hours.The team is seeking a Software Engineer to:Devise strategies to extract meaning and value from structured and unstructured dataLeverage statistical methods and/or machine learning to discover patterns and behaviors of...
Contract work
Flexible hours
Shift work
Peraton Corporation
Annapolis Junction, MD
8 days ago
Sr. Software Engineer
$100k - $220k
...team provides expertise in network, system engineering and both offensive and defensive... ...tomorrow is smarter. ANS is seeking a Sr. Software Engineer to join our team in Annapolis Junction... .../using/evaluating mathematic models, methods, and/or techniques (e.g., algorithm...
Temporary work
Local area
Applied Network Solutions
Annapolis Junction, MD
8 days ago

Do you want to receive more vacancies?

Subscribe and receive similar vacancies to PhD: Formal Methods & Software Assurance Engineer. Be the first to apply!