Formal Verification & Software Assurance Engineer
$100k - $245kJohns 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
Vacancy posted 2 days ago
Similar jobs that could be interesting for youBased on the Formal Verification & Software Assurance Engineer in Laurel, MD vacancy
$100k
...Description Do you have experience conducting formal verification with formal methods for system and software assurance? Are you passionate about making... ...assurance theory and practice. Work alongside engineers and scientists who are passionate about innovation...SuggestedTemporary workWork experience placementInterim roleSummer workLocal areaRelocation packageFlexible hoursNight shiftJohns Hopkins Applied Physics Laboratory (APL)
Laurel, MD7 hours ago- 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
$86.9k - $198k
...Job Number: R0242974 Full Stack Software Engineer The Opportunity: As a full stack developer, you can resolve a problem with a... ...the hiring process, we will ask you to complete an identity verification process that leverages advanced biometrics and artificial intelligence...SuggestedFull timeContract workPart timeWork at officeLocal areaRemote workBooz Allen Hamilton
Annapolis Junction, MD3 days ago$72k - $114.45k
...Associate Software Engineer - JobID-838 Department: Engineering Employment Type: Full Time Location... ...within DoD software ecosystems. Assures Quality: Apply secure coding practices... ...technical rigor and mission alignment. Verification & Testing: Model, implement, and test...SuggestedFull timeInternshipWork at officeImmediate startIdtus
Laurel, MD4 days ago- ...WORK This senior role fosters collaboration with other senior engineers for the development of advanced data analytics solutions and... ...and opportunities. This Program is seeking a full stack software engineer to develop, maintain and enhance complex and diverse...Suggested
$135k - $265k
...Systems Engineer Modern Technology Solutions, Inc... ...requirements for Information Assurance Services (... ...stakeholders, plan the verification efforts of new and unproven... ...components of complex hardware/software systems. Conduct... ...and follow a formal procedure for coordinating...Contract workNavstar
Annapolis Junction, MD1 day ago- ..., Maryland is seeking a highly skilled Senior Systems Engineer to join their High Assurance Device team. The candidate will engage in technical reviews... ..., as well as devise testing methodologies to ensure verification. The responsible engineer will be tasked with leading...
$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 employmentFull timeContract workTemporary workFlexible hours- ...of X team is building an elite group of engineers with a strong sense of shared responsibility... ...indexing. You will implement and test software components, resolve issues, and provide... ...(VMware/VirtualBox), and information assurance practices Strong problem-solving skills...Work at officeFlexible hours
Set of X
Annapolis Junction, MD4 days ago $8k
...Cloud Software Engineer Active Top Secret (TS/SCI) clearance with polygraph is required. Visionist has an exciting new, fully FUNDED opportunity... ...owned company, we prioritize our people—your job security is assured. We embed small engineering teams with analysts to rapidly...Contract workTemporary workRemote workFlexible hoursVisionist, Inc.
Laurel, MD3 days ago$3,000 per month
...is hired, you‘ll receive a $3000 payment! This position may be eligible for a $25K sign on bonus for external hires! Cyber Software Engineer Stf - SIGNAL SWE WHAT WE‘RE DOING Lockheed Martin, Cyber & Intelligence invites you to step up to one of today’s most...Relocation package- Senior Systems Engineer - Verification & Validation (Multiple locations) We are seeking a highly skilled Senior Systems Engineer to join our High Assurance Device (HAD) team. The ideal candidate will support technical reviews and create test plans based on top level requirements...Temporary work
$85k - $114k
# Junior Software EngineerVisionist, Inc.Full TimejuniorLaurel, Maryland, USPosted 6 days... ...OverviewVisionist, Inc. is hiring a Junior Software Engineer. This is a full-time role in Laurel.... ...our people—your job security is assured. We embed small engineering teams with analysts...Permanent employmentFull timeContract workTemporary workImmediate startFlexible hours$67k - $99k
# Software Engineer 1Wyetech, LLCFull TimemidLaurel, Maryland, USPosted Yesterday## Role OverviewWyetech, LLC is hiring a mid-level Software... ...responses and identifying potential inconsistencies or verification signals in application materials based on available information...Hourly payFull timeContract workTemporary workWork experience placementSummer workImmediate start$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 employmentContract workTemporary workImmediate startFlexible hours$105k
Description Are you a software engineer that wants to have an impact on nationally important defense programs? Do you love participating in... ...recommendations for DoD decision makers. Develop and deliver formal technical presentations to sponsors and the engineering...Temporary workWork experience placementInterim roleRelocation packageFlexible hours- ...Full Stack Software Engineer LOCATION Annapolis Junction, MD 20701 CLEARANCE TS/SCI Full Poly (Please note this position requires full U.S. Citizenship) KEY SUMMARY We are looking for a highly skilled Full Stack Software Engineer to join our team...Temporary workFor contractorsImmediate startFlexible hours
Cymertek
Annapolis Junction, MD14 hours ago $10k
...Full Stack Software Engineer When you love the work you do, any mission is possible. Position: Full Stack Software Engineer *** Active Clearance with a Polygraph is Required We're on multiple contracts and have many opportunities. It is encouraged if applicants...Extra incomeTiber Technologies Inc
Annapolis Junction, MD3 days ago- Job Title You will operate in a highly collaborative capacity, working across multiple product teams to design and implement mission-critical solutions. This is a high-speed, rapidly changing environment where direct customer interaction provides new challenges and ...
thejosefgroup.com
Annapolis Junction, MD3 days ago $175k
...Software Engineer 1 Founded in 2007 and headquartered in Columbia, Maryland, Synergy ECP is a leading provider of cybersecurity, software and systems engineering and IT services to the U.S. intelligence and defense communities. The company leverages its expertise in...For contractorsWork at officeRemote workFlexible hoursSynergy ECP
Annapolis Junction, MD3 days ago- ...one capability to perform functions instead of multiple processes for similar capabilities. Detail oriented and team driven Software Engineers will provide full lifecycle support, to include modernization, of applications and tools. We are seeking a highly motivated...
ClearEdge IT Solutions
Annapolis Junction, MD1 day ago $125k - $215k
...Full-Stack Software Engineer As a Full-Stack Software Engineer, you'll support a large mission focused team of software, systems and security engineers in the development and deployment of visualization analysts tools to be used for the greater good. What You Bring...Summer holidayImmediate startRed Alpha
Annapolis Junction, MD14 hours ago$203k - $260k
...Full Stack Software Engineer — Data Analytics Team Make an Impact Where It Matters Most At Intelliforce, we put powerful technology directly into the hands of mission operators. In this role, you will build tools that turn complex data into actionable insight for...Immediate startVisa sponsorshipIntelliforce-IT Solutions Group, LLC.
Annapolis Junction, MD2 days ago$10k
...within our industry. The Cloud Software Engineer develops, maintains, and enhances complex... .... Experience in Information Assurance: Securing Cloud Based and Distributed... ...identifying potential inconsistencies or verification signals in application materials based...Hourly payFull timeContract workTemporary workWork experience placementSummer workImmediate start$10k
...ARSIEM is currently looking for a Cloud Software Engineer 2 to develop complex and diverse Big-... .... Experience with Information Assurance: Securing Cloud Based and Distributed... ...identifying potential inconsistencies or verification signals in application materials based...$3,000 per month
...In this role you will: • Analyze user requirements to derive software design and performance requirements • Design and code new... ...analyzing system performance standards, confer with users or system engineers; analyze systems flow, data usage and work processes; and...- ...authority and final decision-maker on complex engineering matters, including system architectures... ...pass the E-Verify employment verification check. To learn more about E-Verify, including... ...DevSecOps, testing, and quality assurance frameworks to ensure secure and reliable...Interim roleInternshipWork at officeLocal areaImmediate startRemote work
Naval Sea Systems Command
Laurel, MD4 days ago $57.85k - $104.58k
...Description Leidos has a new and exciting opportunity for a Software Engineer in our Intelligence Sector's Cyber & Analytics Business Area... ...requirements, use design software tools, provide support using formal specifications, data flow diagrams, and other accepted design...Full timeImmediate startFlexible hours$113.9k - $170.9k
...Principal Cyber Systems Engineer - Cyber A&A Engineer (... ...as investigations, software research, hardware introduction... ...of Enterprise Mission Assurance Support Service (... ..., and conducting verification testing for compliance... ...Administer ACAS and ESS (formally HBSS) Previous...Contract workWork experience placementLocal areaRemote workRelocationFlexible hoursShift work$69.4k - $158k
Software Engineer, Mid The Opportunity: As a full stack developer, you can resolve a problem with a complete end-to-end solution in a fast... ...hiring process, we will ask you to complete an identity verification process that leverages advanced biometrics and artificial intelligence...Full timeContract workPart timeWork at officeLocal areaRemote work
Do you want to receive more vacancies?
Subscribe and receive similar vacancies to Formal Verification & Software Assurance Engineer. Be the first to apply!
Related searches
- computer system validation engineer Laurel, MD
- software engineer amazon Laurel, MD
- experienced software developer Laurel, MD
- federal - software developer Laurel, MD
- senior software engineer Laurel, MD
- software developer fintech Laurel, MD
- part time software developer remote Laurel, MD
- software data engineer Laurel, MD
- software engineer Laurel, MD
- software engineer healthcare Laurel, MD