Formal Methods Engineer

Job DescriptionAs a Formal Methods Engineer - Scientist - Mathematician/DevSecOps Technical SETA at SPA, you will play a critical role in supporting the development of high assurance software and systems for the Department of Defense. Your expertise in DevSecOps and formal methods will enable you to make significant contributions across a range of technical...

About the RoleWe are seeking a highly skilled Formal Methods Engineer - Scientist - Mathematician/DevSecOps Technical SETA to provide onsite support out of Arlington, VA. As a key member of our team, you will connect modern DevSecOps development processes with traditional mathematical modeling oriented "Formal Methods" applied to the specification,...

OverviewWe are seeking a highly skilled Senior Research Engineer specializing in Rust development and formal methods to join our team at Two Six Technologies. Our company builds, deploys, and implements innovative products that solve the world's most complex challenges today.This role involves leading efforts to design and deliver high-assurance software...

About GaloisGalois is a pioneering organization that tackles the most complex problems in computer science. Our mission is to ensure trust in critical systems that safeguard privacy and integrity by applying formal analysis techniques. We model, analyze, and mathematically prove systems to guarantee they behave as intended under all circumstances.We are a...

Job OverviewSystems Planning and Analysis, Inc. (SPA) is a leading provider of high-impact technical solutions to complex national security issues. Our team of experts delivers innovative solutions that enable our government customers to achieve their mission objectives.We are seeking an experienced Formal Methods Engineer - Scientist -...

Sedaro is a leading provider of cloud-based digital twin platforms for complex systems. We are seeking a highly skilled Software Engineer to join our development team in Arlington, VA.About Sedaro:We are a fast-growing startup that aims to revolutionize distributed system design and operations in aerospace and beyond. Our platform enables customers to...

Sedaro is seeking a talented Software Engineer to join our team in Arlington, VA. As a key member of our development team, you will play a critical role in the design and development of our cloud-based digital twin platform.About Sedaro:We are an innovative startup pushing the boundaries of distributed system design and operations in aerospace and beyond....

Job Overview">Sedaro is a pioneering venture-backed startup revolutionizing distributed system design and operations in aerospace and beyond. Our cutting-edge platform-as-a-service enables customers to rapidly develop and operate complex hardware systems, reducing costs, closing gaps, and overcoming bias, security, and privacy issues.We are seeking an...

Job DescriptionWashington Headquarters Services is seeking a highly skilled General Engineer to join our team. The successful candidate will provide expert engineering advice and support to the Facilities Services Directorate.Salary: $120,000 - $160,000 per year.ResponsibilitiesProvide engineering expertise and technical support to the Facilities Services...

About the RoleThe AWS Ops organization is seeking a skilled Cloud Operations Engineer to collaborate with talented engineers in building innovative cloud-based systems and services. This position requires designing, implementing, testing, and deploying highly scalable distributed systems and services.**Key Responsibilities**:- Design, implement, test, and...

We are seeking a highly skilled Senior Mechanical Engineer Leader to join our team. As a leader, you will be responsible for ensuring the maximum life and reliability of all mechanical systems within the property. This includes purchasing of parts and supplies required within approved budget guidelines, administering inventory control programs and systems,...

Job SummaryAir Conditioning Engineer needed to manage HVACR industry working groups and certification programs. Key responsibilities include leading product testing, convening Compliance Committee meetings, and representing AHRI in technical conferences.Key ResponsibilitiesLead product testing with certification participants, regional teams, and third-party...

About the RoleThe SMAC Range Team at Amazon is seeking a highly skilled Cloud Systems Engineer to support Simple Storage Service (S3), Glacier, Crypto, and Identity, Directory, and Access Services (IDAS). As a key member of our team, you will design, deploy, monitor, and automate infrastructure, tools, and systems to provide a highly-available and resilient...

We are seeking a highly skilled DevSecOps Technical SETA Specialist to join our team at SPA. This is an exciting opportunity to work on high-impact projects and contribute to the development of cutting-edge technologies.The ideal candidate will have a strong background in software development, complex high assurance systems, and/or formal methods. They will...

Job DescriptionWe are seeking a highly skilled Lead Mechanical Design Engineer to join our team in Arlington, VA. As a key member of our Property and Buildings Team, you will be responsible for providing technical assistance and guidance on mechanical systems design and construction projects.The estimated salary for this position is $110,000 - $140,000 per...

About the JobThe Software Engineering Institute is seeking an experienced Associate Reverse Engineer Researcher for our Threat Analysis directorate. The ideal candidate will have a strong background in reverse engineering and security analysis.Job DescriptionReverse engineer malicious code and develop new analysis methods and toolsDocument and transition...

About the RoleWe are seeking a skilled Splunk Engineer to join our Cybersecurity Engineering team at OneZero Solutions, LLC.The ideal candidate will have experience deploying and configuring Universal Forwarders, data collection methods such as Syslog, JDBC, or API, developing Splunk search queries, dashboards, and reports.Key Responsibilities:Deploy and...

We are seeking a highly skilled Cybersecurity Engineering Manager to lead our team in Arlington, VA. The ideal candidate will have 12 years of experience in the field and a strong background in Zero Trust Networking Concepts, Endpoint Detection and Response, and Email Threat Protection.The salary for this role is approximately $120,000 - $150,000 per year,...

Job Opportunity OverviewBala Consulting Engineers is a mid-sized engineering firm with headquarters in Wayne, PA and additional offices in Arlington, VA, New York, NY, Boston, MA, and Baltimore, MD. We are looking for an experienced Engineer to lead the Plumbing & Fire Protection Department at our Arlington, VA office.The ideal candidate will possess...

CNA is a leading provider of data-driven, analytic solutions to address complex and emerging problems. We are seeking an experienced Senior Technical Solutions Engineer to join our team in this exciting role.The successful candidate will be responsible for conducting systems, data, and operations analysis, requirements and systems development analysis and...