Senior Formal Methods Engineer - Verification & Software Assurance
$105k - $245kJohns Hopkins Applied Physics Laboratory
Johns Hopkins Applied Physics Laboratory in Laurel, Maryland seeks a qualified individual to work on formal methods for software assurance impacting national security. The role requires a PhD in a relevant field and focuses on using analysis techniques to address core challenges in cyber security. Additional benefits include professional growth opportunities and a competitive salary range from $105,000 to $245,000 based on experience and qualifications. #J-18808-Ljbffr Johns Hopkins Applied Physics Laboratory
Vacancy posted 1 day ago
Similar jobs that could be interesting for youBased on the Senior Formal Methods Engineer - Verification & Software Assurance in Laurel, MD vacancy
- The Johns Hopkins University Applied Physics Laboratory is looking for a motivated Software Assurance/Formal Methods Developer to work on critical systems impacting national security. The role involves using static and dynamic analysis and formal methods to improve software...Suggested
$100k
...Description Do you have experience conducting formal verification with formal methods for system and software assurance? Are you passionate about making meaningful contributions... ...theory and practice. Work alongside engineers and scientists who are passionate about...SuggestedInterim roleSummer workLocal areaNight shift$105k - $245k
Description Do you have experience conducting formal verification with formal methods for system and software assurance? Are you passionate about making meaningful contributions... ...theory and practice. Collaborate with engineers and scientists who are passionate about...SuggestedInterim roleInternship$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...Senior- Miracorp Inc is seeking a Quality Assurance Inspector to enforce quality standards on construction projects. The role involves daily inspections, maintaining a Quality Control program, and ensuring compliance with contract requirements. Qualified candidates will have a...SeniorContract work
$105k
Overview We are seeking a software engineer specializing in software and prototyping to join our team at the Johns Hopkins University Applied... ..., studies, and analysis to support decision makers. Deliver formal technical presentations to sponsors and the engineering...SeniorTemporary workInterim roleFlexible 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...SeniorTemporary workWork experience placementInterim roleRelocation packageFlexible hours$85.39k - $116.98k
...SSG) is seeking a talented Senior Software Developer Location:... ...back-end C#/.Net and AWS data engineers to define clean API contracts... ...teams (Not Offshore teams) Formal Education Bachelor’s degree... ...history, employment and education verification, drug testing, and...SeniorFull timeRemote work- ...children, families, and seniors. Our engineers, designers, and... ...experienced Sr. Quality Assurance Engineer to own the... ...Independent Verification & Validation (IV&V)... ...Minimum of 8 years of software testing/quality assurance... ...Experience supporting formal IV&V processes in a...SeniorContract work
$70k - $190k
...Technologies is seeking a Security Verification Test (SVT) Software Engineer to join our intel team. The selected... ...tools, provide support using formal specifications, data flow diagrams,... ...Mid-Level: $70,000 to $190,000 Senior Level: $190,000 to $240,000 Belay...SeniorContract workWork experience placementFlexible hours$86.8k - $198k
Job Number: R0234279 Job Title: AI Software Engineer, Senior The Opportunity As an AI software engineer, you know that good software is more... ...hiring process, we will ask you to complete an identity verification process that leverages advanced biometrics and artificial...SeniorFull timeContract workPart timeWork at officeLocal areaRemote work$86.8k - $198k
The Opportunity:As an AI sof t war e engineer, you know that good sof t war e is more than just a nice-looking interface + data. Today... ...the hiring process, we will ask you to complete an identity verification process that leverages advanced biometrics and artificial intelligence...SeniorFull timeContract workPart timeWork at officeLocal areaRemote work- ...Job Description: THE WORK This senior role fosters collaboration with other senior engineers for the development of advanced data analytics solutions and agile... .... This Program is seeking a full stack software engineer to develop, maintain and enhance complex...Senior
- ...defense technology company, is seeking a Software Engineer to join the Engineering team. The... ...Scope and Define Requirements: Manage formal and informal requirements to define, validate... ...into complex software environments Assure Quality: Maintains a focus on quality that...Full timeWork at officeImmediate start
Innovative Defense Technologies
Laurel, MD1 hour ago $84.84k - $153.55k
...tuning, and capacity management for all organizational software systems as directed by management and senior staff. This position will provide Software solutions delivery support and mentoring for Software Engineers. Lead the design and implementation of software...SeniorFull timeTemporary workWork at officeVisa sponsorshipWork visaFlexible hoursCovista
Laurel, MD3 days ago$86.8k - $165.2k
Job Title Research Software Engineer, Formal Methods. Location Hybrid: Employees who are working in hybrid roles will work regularly both onsite and offsite. Locations: Columbia, MD; Arlington, VA; Cambridge, MA. Relocation assistance will be available. Job Summary We...Relocation packageFlexible hours$86.8k - $198k
AI Software Engineer, Senior The Opportunity: As an AI software engineer, you know that good software is more than just a nice-looking interface... ...hiring process, we will ask you to complete an identity verification process that leverages advanced biometrics and...SeniorFull timeContract workPart timeWork at officeLocal areaRemote work- Quevera is seeking an Applications Engineer IV to join our dynamic team in Maryland. This role involves supporting the Tools and Infrastructure teams and creating Splunk dashboards, while requiring a current TS/SCI with Polygraph clearance. The ideal candidate will have...Senior
- ...NET, maintaining existing systems, and mentoring junior developers. The ideal candidate will have at least 7 years of experience in software development, be proficient in SQL, and possess strong analytical skills. Holman offers a competitive salary and comprehensive...SeniorRemote work
Holman Enterprises
Laurel, MD38 minutes ago - A leading technology firm is seeking a Research Software Engineer specializing in formal methods to enhance security and resilience in large dynamic systems. This hybrid role involves programming in Python, C/C++, or Java while utilizing formal methods techniques like...
- Integrity Technology Consultants seeks a top-tier Expert-Level Application Engineer with TS/SCI clearance and polygraph, to design and manage software across Linux VMs and Kubernetes clusters. You will collaborate with DevOps teams, implement security hardening, and drive...Senior
- ...comprehensive benefits package. We support our employees, so they can support our mission. THE WORK: As a Cyber RF Software Engineer Senior Staff, my typical day is filled with excitement and energy as I tackle a variety of challenges and responsibilities. Each...SeniorFlexible hours
$190k - $247k
...successful candidate for the Application Engineer IV role, you will design software tools and subsystems to support... ...development and support using formal specifications, data flow diagrams,... ...You will be responsible for quality assurance review and evaluating existing and...- ...growing its team! Seeking a Software Engineering Requirements Analyst ,... ...depending on experience ~~~ The formal job title is Software... ...technical reviews. Develop verification and validation strategies... ...lifecycle. Support Information Assurance (IA) and cybersecurity...Full timeTemporary workLocal area
$60 - $62 per hour
...Job Title: Senior Python Developer Location: Mount Laurel, NJ (Local Candidates Only) Job Type: Contract Rate: $60-$62/hr Job Summary: We are seeking an experienced Senior Python Developer with strong expertise in PySpark, MongoDB, and SQL. The ideal...SeniorContract workLocal areaDiverse Lynx
Laurel, MD4 days ago- ...Role - Senior Android Developer Location - MOUNT LAUREL, NJ (Onsite)... ...passion for mentoring| and a commitment to engineering excellence. Key... ...authentication. Strong understanding of software design patterns| MVVM/MVI architectures|...Senior
Diverse Lynx
Laurel, MD5 days ago - A leading defense research organization in Laurel, MD is seeking a Software Engineer to develop military planning tools. The role requires at least 5 years of experience with Python and C++, along with strong critical thinking and organizational skills. The ideal candidate...SeniorFlexible hours
- Northrop Grumman is looking for a Program Mission Assurance Engineer in Elkridge, MD. This role ensures integration of Mission Assurance requirements into program plans while collaborating with engineering teams for quality assurance. The ideal candidate will have experience...Senior
$95.5k - $181.7k
A leading aerospace company in Maryland is seeking a Sr Software Engineer to develop software solutions in an Agile environment. The role involves designing critical capabilities and traveling for support and demos. Ideal candidates should have strong programming skills...Senior- Staffed4U is looking for a Mid-to-Senior Level Software Engineer in Jessup, Maryland. The role requires at least 6 years of software development experience and a technical bachelor’s degree. Candidates must have an active TS/SCI clearance with Full-Scope Polygraph. You...Senior
Do you want to receive more vacancies?
Subscribe and receive similar vacancies to Senior Formal Methods Engineer - Verification & Software Assurance. Be the first to apply!
Related searches
- ngo software engineer Laurel, MD
- software developer Laurel, MD
- junior software developer Laurel, MD
- part time software developer remote Laurel, MD
- financial software developer Laurel, MD
- senior software engineer ruby on rails Laurel, MD
- software engineer amazon Laurel, MD
- senior software design engineer Laurel, MD
- software engineer remote Laurel, MD
- entry level software engineer remote Laurel, MD