BaltimoreRecruiter Since 2001
the smart solution for Baltimore jobs

Software Assurance, Formal Methods, Static Analysis Analyst

Company: Johns Hopkins Applied Physics Laboratory (APL)
Location: Laurel
Posted on: October 13, 2019

Job Description:

Do you have experiencesolving problems with formal methods and/or static analysis for software assurance?Are you interested in making critical contributions that impact national security systems?Are you interested in working in an intellectually stimulating, professionally rewarding, and fun environment?If so,this is the perfect opportunity for you.Asa Software Assurance Formal Methods Analyst, you will...

  • Solve problems using software assurance, static analysis, and/or formal methods to tackle the nation's most pressing cyber security challenges.
  • Work on research teams staffed with world-class experts to perform research and development improving the state-of-the-art in software assurance theory and practice.
  • Work alongside engineers and scientists who are passionate about innovation and are driven to make a real difference in defending our nation.
  • Participate in research projects that create and apply static analysis and formal methods tools and techniques to real-world problems. Goals include formal verification of algorithms; improvement of the quality of code being analyzed; elimination of software bugs and design flaws.
  • Devise and develop algorithms, techniques, and new tools for improving software assurance.
  • Analyze data and results related to software assurance. Show the benefits of using static analysis and formal methods in software development; analysis of the effects of using analysis tools is critical to showing their usefulness.
  • Share knowledge by clearly articulating ideas through papers and presentations to technical staff, management and Government decision makers. Take advantage of opportunities to participate in working groups, sponsor meetings, proposal writing, and conferences.Youmeet the minimum qualifications for this position if you have:
    • PhD in Computer Science, Computer Engineering, Electrical Engineering, or related field
    • 5 years of experience with static analysis, formal methods, or related areas.
    • 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, and formal logic.
    • Able to understand code in a variety of programming languages, and be able to develop software to demonstrate new analysis capabilities.
    • Local limited travel may be required.
    • Ability to obtain a Secret level securityclearance. If selected, you will be subject to a government security clearanceinvestigation and must meet the requirements for access to classified information.Eligibility requirements include U.S. citizenship.You'llgo above and beyond our minimum requirements if you have:
      • PhD in Computer Science, Computer Engineering, Electrical Engineering, or related field
      • 7 years of experience with static analysis, formal methods, or related areas.
      • Experience with the above, familiarity with operational semantics, abstract interpretation, symbolic execution, type inference.
      • Experience with software development on Linux, using languages such as OCaml, C/C , Java, and tools such as Coq and ACL2.
      • Experience writing published papers and presenting results to conferences/workshops.
      • Familiarity with information security concepts.
      • Interest in improving software assurance to help reduce vulnerabilities and improve computer security.
      • Current DoD clearance and prior experience working with Government agencies. WhyWork at APL? The Johns Hopkins University Applied PhysicsLaboratory (APL) brings world-class expertise to our nation's most criticaldefense, security, space and science challenges. With a wide selection ofchallenging, impactful work and a robust education assistance program, APLpromotes a culture of life-long learning. Our employees enjoy generous benefitsand healthy work/life balance. APL's campus is located in theBaltimore-Washington metro area. Learn more about our career opportunities APL is an Equal Opportunity/Affirmative Actionemployer. All qualified applicants will receive consideration for employmentwithout regard to race, color, religion, sex, gender identity, sexualorientation, national origin, disability status, veteran status, or any othercharacteristic protected by applicable law.#LI-BM1 #APL-BW1 #21714

Keywords: Johns Hopkins Applied Physics Laboratory (APL), Baltimore , Software Assurance, Formal Methods, Static Analysis Analyst, IT / Software / Systems , Laurel, Maryland

Click here to apply!

Didn't find what you're looking for? Search again!

I'm looking for
in category

Other IT / Software / Systems Jobs

Software Developer
Description: Equisoft, a leading global provider of digital business solutions for the insurance and wealth industries, is actively seeking new talent The Software Developer, reporting to the Manager, Application (more...)
Company: Equisoft
Location: Philadelphia
Posted on: 10/22/2019

Technical Permitting Division Manager/Sr. Technical Consultant
Description: Compliance Plus Services, Inc. CPS , is a premier, fast-paced, growing environmental consulting firm that offers a wide array of environmental, engineering and safety outsourcing and consulting services (more...)
Company: Compliance Plus Services, Inc.
Location: Horsham
Posted on: 10/22/2019

Field Service Technician
Description: Responsibilities will include, but are not limited to:--Service technician is responsible for assembling, commissioning, training and troubleshooting customized PLC operated bakery equipment. Performs (more...)
Company: Gemini Bakery Equipment Company/KB Systems
Location: Philadelphia
Posted on: 10/22/2019

Manufacturing Execution System (MES) System Administrator
Description: trustaff is currently seeking an experienced Manufacturing Execution System MES Systems Administrator for a full-time, direct-hire position in greater Philadelphia, PA. Primary responsibilities include:-- (more...)
Company: trustaff
Location: Philadelphia
Posted on: 10/22/2019

Lead Ruby Developer
Description: Private-equity backed early stage start-up seeks experienced 3 years full-stack ruby developer to help pioneer the use of analytics in oil and gas research. You will work alongside the technical co-founder (more...)
Company: Welligence Energy Analytics
Location: Philadelphia
Posted on: 10/22/2019

Technical Recruiter/Sales Consultant - Center City Philadelphia
Description: A Career with FRG Our goal is to provide innovative, hands-on training, growth opportunities into leadership roles, and a fun and fast-paced culture for each of our employees. We will give you all the (more...)
Company: Frank Recruitment Group
Location: Philadelphia
Posted on: 10/22/2019

Mainframe Consultant
Description: nTech Solutions, a leader in the recruitment of professionals, has an immediate opening for a Mainframe Consultant in the Columbia, MD area. -- Terms of Employment W2 Contract: 6 MonthsExtension
Company: ntech solutions inc.
Location: Columbia
Posted on: 10/22/2019

Senior Web Developer
Description: THE RUNDOWNYou:You're a problem solver who delivers answers in clean, well-structured code. You're a lifelong learner of custom programming who feels at home with PHP and builds in Drupal, Magento, or (more...)
Company: Mission Media, LLC
Location: Baltimore
Posted on: 10/22/2019

Senior Application Developer
Description: Basic QualificationsBachelor's degree in software engineering or a related technical field is required or equivalent experience , plus a minimum of 10 years of relevant experience or Master's degree (more...)
Company: General Dynamics Mission Systems
Location: Hanover
Posted on: 10/22/2019

Systems Engineer
Description: Senior System Engineer Robert Half Technology has an immediate opening for a Senior Systems Engineer to join our team in the greater Fulton, MD area We-re looking for a Senior System Engineer to join (more...)
Company: Robert Half Technology
Location: Fulton
Posted on: 10/22/2019

Log In or Create An Account

Get the latest Maryland jobs by following @recnetMD on Twitter!

Baltimore RSS job feeds