Formal Verification & Software Assurance Engineer

$100k - $245k

Johns Hopkins Applied Physics Lab

A leading applied physics laboratory is seeking a motivated Software Assurance/Formal Methods Developer. The role involves solving complex problems in software assurance using various formal methods techniques. Candidates should possess a Master's degree in a related field and have at least 2 years of relevant experience. Responsibilities include collaborating with research teams and sharing findings through publications. This position offers competitive compensation ranging from $100,000 to $245,000 annually, along with a supportive work environment and employee benefits. #J-18808-Ljbffr Johns Hopkins Applied Physics Lab

Apply

Vacancy posted 17 hours ago

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

Formal Verification and Software Assurance Engineer
$100k
...Description Do you have experience conducting formal verification with formal methods for system and software assurance? Are you passionate about making meaningful... ...theory and practice. Work alongside engineers and scientists who are passionate about innovation...
Suggested
Temporary work
Work experience placement
Interim role
Summer work
Local area
Relocation package
Flexible hours
Night shift
Johns Hopkins Applied Physics Laboratory (APL)
Laurel, MD
17 hours ago
Lead Formal Methods Engineer for Software Assurance
A leading research organization in Laurel, Maryland is seeking a Software Assurance/Formal Methods Developer to tackle pressing cybersecurity challenges through innovative research. The position requires a PhD in a relevant field and offers the opportunity to work on advanced...
Suggested
Johns Hopkins Applied Physics Lab
Laurel, MD
2 days ago
Security Verification Test (SVT) Software Engineer
$70k - $190k
...Belay Technologies is seeking a Software Engineer (SVT) to join our intel team. The selected... ...focused on preparation and execution of verification tests of our software releases. Development... ...software tools, provide support using formal specifications, data flow diagrams,...
Suggested
Contract work
Work experience placement
Flexible hours
Belay Technologies
Annapolis Junction, MD
10 days ago
Software Engineer - CTJ - Poly
$102.1k - $202.2k
...exciting opportunity for a Software Engineer in the Cloud+AI Azure Data... ...the security policy and assurance requirements of both public... ...for new code development and formal validation of security invariants... .... Clearance Verification : This position requires successful...
Suggested
Ongoing contract
Local area
Microsoft Corporation
Annapolis Junction, MD
3 days ago
Software Engineer - Mid Level
$132k - $165k
...Software Engineer - Mid Level Why This is an Exciting Role: As a Software Engineer at Boeing... ...analyses, design, development and verification of a lifecycle balanced system of systems... ..., integrate technical parameters and assure compatibility of all physical,...
Suggested
Contract work
Remote work
Boeing Intelligence & Analytics
Annapolis Junction, MD
4 days ago
Senior Software Systems Engineer- TS/SCI with Poly
...Senior Software Systems Engineer (Level 3) Navius Technologies is seeking a hands-on Senior Software... ...baselines. Lead or support verification, validation, and test planning to ensure... .... Apply knowledge of Information Assurance (IA) technologies (e.g.,...
Temporary work
Local area
Flexible hours
Navius Technologies
Annapolis Junction, MD
4 days ago
Principal Software Engineer Manager- CTJ- Poly
$142.8k - $274.8k
...opportunity for a Principal Software Engineer Manager to lead engineering... ...new code development and formal validation of security invariants... .... Guides team to create and assure presence of visible evidence... ...termination. Clearance Verification : This position requires...
Ongoing contract
Local area
Microsoft Corporation
Annapolis Junction, MD
2 days ago
Principal Systems Engineer
...a Principal Systems Engineer to work in Laurel, MD... ...individual hardware, software, facility, and personnel... ...for Information Assurance Services (Confidentiality... ...stakeholders, plan the verification efforts of new and unproven... ...a process to formally and proactively control...
Contract work
Local area
Work from home
Flexible hours
Power3 Solutions
Laurel, MD
1 day ago
Associate Software Engineer
$72k - $114.45k
...Defense (DOD), is seeking an Associate Software Engineer to be part of our Warfare Systems team... ...within DoD software ecosystems. Assures Quality: Apply secure coding... ...technical rigor and mission alignment. Verification & Testing: Model, implement, and test...
Full time
Internship
Work at office
Immediate start
Innovative Defense Technologies
Laurel, MD
9 days ago
Senior FPGA Verification Engineer (UVM & Formal Methods)
...Solutions, LLC is looking for a Hardware Engineer in Columbia, MD, to develop and implement verification strategies, especially for FPGA designs in high-assurance applications. The position involves... ...should have experience with formal verification and automated test frameworks...
PLEX Solutions, LLC
Columbia, MD
8 hours ago
Full Stack Software Engineer (AWS Certification Required)
$8k
...Visionist has an exciting new opportunity for a Full Stack Software Engineer. You will be joining a critical mission supporting our customers... ...owned company, we prioritize our people-your job security is assured. We embed small engineering teams with analysts to rapidly...
Permanent employment
Contract work
Temporary work
Flexible hours
Visionist, Inc.
Laurel, MD
2 days ago
Full Stack Software Engineer (AWS Certification Required) with Security
$125k - $185k
# Full Stack Software Engineer (AWS Certification Required) with SecurityVisionist, Inc.Full TimeseniorLaurel, Maryland, USPosted Yesterday##... ...owned company, we prioritize our people—your job security is assured. We embed small engineering teams with analysts to rapidly...
Permanent employment
Full time
Contract work
Temporary work
Flexible hours
TryApplyNow
Laurel, MD
1 day ago
Software Engineer
...Software Engineer Location: Annapolis Junction, MD The Software Engineer will perform software development lifecycle (SDLC) activities... ...requirements, use design software tools, provide support using formal specifications, data flow diagrams, and other accepted design...
Merit 321
Annapolis Junction, MD
4 days ago
Software Engineer - TS SCI w/CI Polygraph
...Software Engineer Demonstrated in‐depth experience with Java is required. Software Engineer The Software Engineer will perform software... ...requirements, use design software tools, provide support using formal specifications, data flow diagrams, and other accepted design...
Bi-weekly pay
SSATI
Annapolis Junction, MD
4 days ago
Junior Software Engineer
$8k
...Visionist has an exciting new, fully FUNDED opportunity for a Junior Software Engineer on our largest PRIME contract. Our team of Analysts and... ...owned company, we prioritize our people-your job security is assured. We embed small engineering teams with analysts to rapidly...
Permanent employment
Contract work
Temporary work
Immediate start
Flexible hours
Visionist, Inc.
Laurel, MD
1 day ago
Software Engineer L1 - TS/SCI with Poly required
...TS/SCI Software Engineer (C++/Python | Full Stack | Kubernetes) – Mission Program We are seeking a Software Engineer (TS/SCI Cleared... ...C++ and Python (SWORD framework) Support Developmental & Verification Testing (DVT) across system components Deploy and manage...
EMTAK LLC
Annapolis Junction, MD
5 days ago
HPC Software Engineer 3
...HPC Software Engineer 3 Location Annapolis Junction, MD Job Code 2534 of Openings 1 Apply Now ( DCCA is a veteran-owned IT business... ..., thanks to DCCA’s successful track record, clients can rest assured knowing DCCA can tackle any problem with ease, allowing them...
For contractors
Flexible hours
DCCA
Annapolis Junction, MD
1 day ago
System Engineer 3 TS/SCI with POLY
...Senior-Level System Engineer (SE) 3 BCT-LLC is seeking... ...individual hardware, software, facility, and... ...requirements for Information Assurance Services (... ...stakeholders, plan the verification efforts of new and unproven... ...Establish a process to formally and proactively control...
Contract work
Work experience placement
Work at office
BCT LLC
Annapolis Junction, MD
17 hours ago
Software Engineer
$150k - $210k
...Software Engineer Job ID WOOD-0202 # Positions 1 Location US-MD-Annapolis Junction Experience (Years)... ...requirements and create designs using industrystandard tools and formal methodologies. Develop code that is efficient, maintainable...
Full time
Remote work
Flexible hours
Shift work
Wood Consulting
Annapolis Junction, MD
2 days ago
Senior Systems Engineer (Level II)- TS/SCI Poly - Hybrid
...Systems Engineer II / SME Staffed4U is seeking a... ...interface management, verification planning, risk assessment... ...functional, hardware, software, facility, and... ...Support Information Assurance (IA) requirements development... ...producibility Establish formal integration and...
Temporary work
3 days per week
Staffed4U
Annapolis Junction, MD
1 day ago
Systems Engineer, Level 3
...Systems Engineer, Level 3 GTSC seeks a Systems Engineer... ...individual hardware, software, facility, and... ...requirements for Information Assurance Services (... ...stakeholders, plan the verification efforts of new and unproven... ...Establish a process to formally and proactively control...
Contract work
Flexible hours
GTSC Talent Solutions (a GTSC Company)
Annapolis Junction, MD
2 days ago
Software Engineer - UI Team (SWE L1)
...finalist in 2021! Belay Technologies is seeking a Junior Software Engineer (SWE1) to support our intel team. The SWE shall design or implement... ...Excellent written and verbal communication skills including formal presentation skills and ability to translate technical and...
Belay Technologies
Annapolis Junction, MD
1 day ago
Full Stack Software Engineer
$86.9k - $198k
Full Stack Software Engineer The Opportunity: Are you looking for an opportunity to combine your technical skills with big picture thinking... ...hiring process, we will ask you to complete an identity verification process that leverages advanced biometrics and artificial intelligence...
Full time
Contract work
Part time
Work at office
Local area
Remote work
Booz Allen Hamilton
Annapolis Junction, MD
4 days ago
Senior Software Engineer
$105k
...Description Are you a software engineer that wants to have an impact on nationally important defense programs? Do you love participating... ...for DoD decision makers. Develop and deliver formal technical presentations to sponsors and the engineering community...
Temporary work
Work experience placement
Interim role
Relocation package
Flexible hours
Johns Hopkins Applied Physics Laboratory (APL)
Laurel, MD
4 days ago
Cloud Software Engineer III
...Cloud Software Engineer III Location Annapolis Junction, MD Job Code 2153 of Openings 1 Apply Now ( DCCA is a veteran-owned IT... ..., thanks to DCCA’s successful track record, clients can rest assured knowing DCCA can tackle any problem with ease, allowing them...
Flexible hours
DCCA
Annapolis Junction, MD
1 day ago
Software Engineer (Cloud) - FULLY CLEARED with POLYGRAPH REQUIRED
$150k - $250k
...college or university is required. Four (04) years of cloud software engineering experience on projects with similar Big-Data systems may be... ...Ruby or related technologies. Experience in Information Assurance: Securing Cloud Based and Distributed applications through...
Contract work
Temporary work
Immediate start
Constellation Technologies, Inc
Annapolis Junction, MD
4 days ago
Cloud Software Engineer with a TS/SCI Clearance? We Want You!
...About the job Cloud Software Engineer with a TS/SCI Clearance? We Want You! We're on the lookout for talented Cloud Software Engineers... ...and a full-scope polygraph for your positions. Rest assured, we will diligently screen and present candidates with these...
Flexible hours
Imran Yousuf
Laurel, MD
1 day ago
Cloud Software Engineer
...Cloud Software Engineer Annapolis Junction, Maryland, United States NetSage's mission is to help our customers achieve their missions... ...Ruby or related technologies. Experience in information assurance to include securing cloud-based and distributed applications...
Contract work
NetSage Corporation
Annapolis Junction, MD
4 days ago
Applications Engineer 4 (SIEM)
$178k - $260k
...looking to hire an Applications Engineer (Senior) responsible for designing software tools and subsystems to support software... ...development and support using formal specifications, data flow... ...also be responsible for quality assurance reviews and the evaluation of existing...
Contract work
Work experience placement
Currently hiring
Kaizen Approach
Annapolis Junction, MD
17 hours ago
Junior Software Engineer
$8k
...Visionist has an exciting new, fully FUNDED opportunity for a Junior Software Engineer on our largest PRIME contract. Our team of Analysts and... ...owned company, we prioritize our people—your job security is assured. We embed small engineering teams with analysts to rapidly...
Permanent employment
Contract work
Temporary work
Immediate start
Flexible hours
Visionist, Inc.
Laurel, MD
4 days ago

Do you want to receive more vacancies?

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