Two Six Technologies logo

Senior Research Engineer - Formal Methods - Two Six Technologies

View Company Profile
Job Title
Senior Research Engineer - Formal Methods
Job Location
Arlington, Virginia
Job Description

At Two Six Technologies, we build, deploy, and implement innovative products that solve the world’s most complex challenges today. Through unrivaled collaboration and unwavering trust, we push the boundaries of what’s possible to empower our team and support our customers in building a safer global future.

Overview of Opportunity:

Two Six Technologies is seeking a Senior Research Engineer - 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. Ideal candidates will have a passion for, and experience with, using concepts from pure mathematics in an industry setting.

What you will do:

  • Prove safety and security properties of hardware and software
  • Learn and evaluate formal methods tools for use in verification tasks
  • Assist in writing research papers and conference talks on topics in formal methods
  • Work well independently in a small team and fast-paced environment
  • Collaborate with partners and customers to understand, tailor, and deliver solutions that meet their requirements

What you will need (Basic Qualifications):

  • A bachelor’s or advanced degree (Masters or PhD) in Computer Science, Computer/Electrical Engineering, Mathematics or related technical domain
  • 3-5 years of professional (or equivalent) experience in software engineering, cybersecurity, or mathematics
  • Extensive 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 CVC)
  • A foundational knowledge of software and systems engineering
  • A working knowledge of concepts from mathematical logic (higher-order logic, type theory)
  • Comfortable working as part of a small development team composed of researchers, engineers, and scientists
  • Familiarity with functional languages
  • Strong oral and written communication skills
  • Familiarity with standard software engineering processes and tools (e.g., git and JIRA)

Nice to haves (Preferred): 

  • Active Top Secret security clearance
  • Modern cryptography domain experience and knowledge
  • Experience developing cybersecurity solutions and products
  • Publication record or research experience in a relevant technical field

Security Clearance:

  • Ability to obtain and maintain DoD security clearance

#LI-ZS1

#LI-ONSITE

Two Six Technologies is committed to providing competitive and comprehensive compensation packages that reflect the value we place on our employees and their contributions. We believe in rewarding skills, experience, and performance. Our offerings include but are not limited to, medical, dental, and vision insurance, life and disability insurance, retirement benefits, paid leave, tuition assistance and professional development.

The projected salary range listed for this position is annualized. This is a general guideline and not a guarantee of salary. Salary is one component of our total compensation package and the specific salary offered is determined by various factors, including, but not limited to education, experience, knowledge, skills, geographic location, as well as contract specific affordability and organizational requirements.

Salary Range
$103,200$170,300 USD

Everything You Need, One Platform.

From job listings to startups, investors to funding rounds, and everything in between, Employbl puts the power in your hands. Why wait?

Start your free trial today!


Stay Ahead of the Curve

Sign up for our newsletter to stay informed about the latest startups and trends in the tech market. Let Employbl be your guide to success.

Two Six Technologies Headquarters Location

Arlington, VA

View on map

Two Six Technologies Company Size

Between 200 - 1,000 employees

Two Six Technologies Founded Year

2021

Two Six Technologies Total Amount Raised

$42,360,712

Two Six Technologies Funding Rounds

View funding details
  • Series Unknown

    $2,200,000 USD

  • Series Unknown

    $6,525,110 USD

  • Series Unknown

    $10,000,055 USD

  • Series Unknown

    $4,750,350 USD

  • Series Unknown

    $18,885,200 USD