Lead Research Scientist - Formal Methods

Job Locations US-VA-Arlington

Job ID 2021-1223 # of Openings 1 State Arlington, VA Category Research Engineers/Scientists

Overview

Two Six Labs is seeking a Lead Research Scientist - Formal Methods to research and develop high assurance software and hardware systems using advanced formal analysis technologies. We are seeking candidates with an interest in research as well as a commitment to developing solutions for the real world.

Responsibilities

• Lead efforts to prove safety and security properties of hardware and software


• Learn and evaluate formal methods tools for use in verification tasks


• Conduct and publish research in formal methods for producing high-confidence software and systems


• Join a small, supportive team that values cooperation and creative spirit


• Collaborate with partners and customers to understand, tailor, and deliver solutions that meet their requirements

Qualifications

• A bachelor's or advanced degree (Masters or PhD) degree in Computer Science, Computer/Electrical Engineering, Mathematics or related technical domain


• 7+ years of professional (or equivalent) experience in software engineering, cybersecurity, or mathematics


• A foundational knowledge of software and systems engineering


• A working knowledge of concepts from mathematical logic (boolean functions, higher-order logic, type theory)


• Experience working with any of the following, or similar, technologies:




• Interactive theorem provers (e.g. Isabelle/HOL or , Coq)


• SMT solvers (e.g. Z3 or CVC4)


• Model checkers (hardware or software)




• Experience working collaboratively in a small research and development team composed of researchers, engineers, and scientists


• Experience programming with functional concepts like list comprehensions and higher order functions


• Excellent analytical and problem-solving skills


• Self-driven work ethic


• Strong oral and written communication skills


• Ability to obtain and maintain DoD security clearance

• Modern cryptography domain experience and knowledge


• Experience developing cybersecurity solutions and products


• Publication record or research experience in a relevant technical field's


• Familiarity with standard software engineering processes and tools (e.g., git and JIRA)


• Active security clearance due to security requirements, US citizenship is required.

Apply for this job online Apply

Share

Email this job to a friend Refer

Sorry the Share function is not working properly at this moment. Please refresh the page and try again later.

Share on your newsfeed

Two Six Labs is an Equal Opportunity Employer and all qualified applicants will receive consideration for employment without regard to race, color, religion, sex, national origin, disability status, protected veteran status, or any other characteristic corrected by law.

As a federal contractor, Two Six Labs has established affirmative action programs to ensure non-discrimination and affirmative action in Two Six Labs's policies and practices for qualified women, minorities, protected veterans, and individuals with disabilities. The narrative portion of Two Six Labs affirmative action plans for individuals with disabilities and veterans are available for inspection at our offices during normal business hours. Employees and applicants interested in inspecting these plans should contact Human Resources by phone 703-543-9662 or by email at hr@twosixlabs.com for assistance.

If you are interested in applying for employment with Two Six Labs and need special assistance or an accommodation to apply for a posted position, contact our Human Resources department by email at hr@twosixlabs.com or by calling 703-543-9662.