
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 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 detailsSeries 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