Job Requirements
Annapolis Junction, MD Herndon, VA
Intel Agency (NSA, CIA, FBI, etc) Full Scope Polygraph
Mid Level Career (5+ yrs experience)
Salary not specified
Join Premium to unlock estimated salaries 
Job Description
Candidates must already possess an active Top Secret/SCI w/ Full Scope Polygraph to be considered.
Summary:
Applied Scientist, Automated Reasoning position supporting a classified development environment and our day to day build operations.
Qualifications & Compensation:
Degree: Bachelor's degree or equivalent experience
Years of experience: 7+ years
Salary: $282k+ yearly compensation
Job Description:
PhD in Computer Science
Publication record in formal logic / model checking / verification
Experience performing research and development work for government customers
Experience with industry applications of formal methods
Demonstrated track record of working independently and leading teams toward delivery of formal proofs of security for computer systems
Strong working knowledge of formal methods tools such as SAW/Cryptol, Kani, Tamarin, SPIN, SAT/SMT Solvers, Interactive Theorem Provers
About SYSTOLIC:
SYSTOLIC is dedicated to giving our employees the best possible company experience so that they can focus on providing outstanding support to their customer’s mission. Our company is founded on integrity, enthusiasm, and a relentless commitment to supporting the Intelligence Community. You can learn more about us and submit an application to be considered against our current and future openings at https://systolic.com.
To learn about our compensation ranges, visit our Pay Transparency page at: https://systolic.com/pay-transparency
Summary:
Applied Scientist, Automated Reasoning position supporting a classified development environment and our day to day build operations.
Qualifications & Compensation:
Degree: Bachelor's degree or equivalent experience
Years of experience: 7+ years
Salary: $282k+ yearly compensation
Job Description:
PhD in Computer Science
Publication record in formal logic / model checking / verification
Experience performing research and development work for government customers
Experience with industry applications of formal methods
Demonstrated track record of working independently and leading teams toward delivery of formal proofs of security for computer systems
Strong working knowledge of formal methods tools such as SAW/Cryptol, Kani, Tamarin, SPIN, SAT/SMT Solvers, Interactive Theorem Provers
About SYSTOLIC:
SYSTOLIC is dedicated to giving our employees the best possible company experience so that they can focus on providing outstanding support to their customer’s mission. Our company is founded on integrity, enthusiasm, and a relentless commitment to supporting the Intelligence Community. You can learn more about us and submit an application to be considered against our current and future openings at https://systolic.com.
To learn about our compensation ranges, visit our Pay Transparency page at: https://systolic.com/pay-transparency
group id: 10527119