My Shortlist

Your shortlisted jobs will appear here. To view your shortlist, please login or register

More Jobs Like This
DATE ADDED: Mon 15/10/2018

Formal Methods Cybersecurity Researcher

Columbia, USA
APPLY NOW

COMPANY: PROVATEK

Job Description

LOCATION: Columbia, MD or Arlington, VA.
DESCRIPTION: Provatek, LLC conducts cybersecurity research and development in the context
of a wide range of information technology systems, industrial control systems, and other cyber-
physical systems. This position will support Provatek's role as the Evaluation Team on a
research program that includes multiple research teams developing novel model-based design,
analysis, and verification tools for cybersecurity in complex embedded systems. Primary
responsibilities will include:
 Understanding the research goals and technical approaches of the other research teams
by examining their documentation, interacting with them in teleconferences and
technical meetings, experimenting with them in a laboratory environment, and when
experiments fail to provide adequate detail, reading their source code.
 Analyzing the prototype tools developed by the other research teams to predict their
strengths and weaknesses, executing of those tools on laboratory test inputs and
measuring the results, and planning and executing penetration tests against example
embedded systems designed with the tools' help.
 Coordinating the efforts of Provatek and the other research teams to produce prototype
tools, test inputs, and example embedded systems for evaluations according to a regular
schedule.
 Authoring and collaborating with other Provatek staff on documents describing
evaluation plans and evaluation results.
QUALIFICATIONS:
 Bachelor's degree or higher in Computer Science, Electrical Engineering, Mathematics,
Physics, or closely-related technical disciplines.
 A background in software development, the management of software development
teams, embedded systems, vehicle control systems, cybersecurity, language-based
security, and/or formal methods is a plus but not required.
 Ability to build abstract models of complex systems and reason about their behavior.
 Ability to author clear and concise reports that express complex technical concepts.
 Ability to manage deadlines and dependencies between complex tasks and coordinate
the efforts of multiple teams.
 Due to customer requirements, U.S. Citizenship is required.
KEYWORDS: test and evaluation, model-based design, analysis, verification, software
development, management of software development teams, embedded systems, vehicle
control systems, cybersecurity, language-based security, formal methods.

Company Description
Provatek, LLC conducts cybersecurity research and development in the context of a wide range of information technology systems, industrial control systems, and other cyber-physical systems. This position will support analysis of prototype cyber defense mechanisms developed by other research teams, imagine how sophisticated cyber adversaries might attempt to counter them, define scenarios that pit mechanisms against adversaries in laboratory environments and live exercises, and measure the effectiveness of those mechanisms in those scenarios.


Role: Formal Methods Cybersecurity Researcher
Job Type:
Location: Columbia,

Apply for this job now.
APPLY NOW