Lead Scientist, Formal Methods & Trusted Systems
Galois, Inc.
Galois, Inc. is seeking a Principal Scientist to drive research in Formal Methods, applying rigorous techniques to develop solutions for critical systems. The ideal candidate holds a Ph.D. and has experience in client engagements, leading funded programs, and a strong research background. This hybrid role involves collaborating with multidisciplinary teams and publishing your findings in high-impact venues. We offer a comprehensive benefits package and value employee ownership. #J-18808-Ljbffr Galois, Inc.
Vacancy posted 4 days ago
Similar jobs that could be interesting for youBased on the Lead Scientist, Formal Methods & Trusted Systems in Arlington, VA vacancy
- Galois is seeking a Principal Scientist to lead research initiatives at the intersection of Formal Methods and critical software systems. Responsibilities include engaging clients, mentoring staff, and publishing findings. The ideal candidate has a Ph.D. and extensive...Suggested
$167.1k - $226.1k
...programming languages, applying formal verification, program... ...into production systems using software development... ...trains the research scientist community on complex technical... ...related to formal methods, automated reasoning,... ...to Global 500 companies trust our robust suite of...SuggestedFlexible hoursAmazon
Arlington, VA1 day ago- A leading consulting firm is hiring a Manager - AI Safety and Trust Architect to develop AI safety designs for trust and assurance frameworks.... ...relevant field, and expertise in safety methods. Responsibilities include supporting formal methods for safety and collaborating...Suggested
$106k - $130k
Research Scientist - Value-based payment (VBP) and delivery system transformation - Chicago, Washington DC or Remote Apply now... ...structured interview protocols; lead or co-lead stakeholder interviews... ..., data collection, and analytic methods. Experience contributing to proposals...SuggestedFull timeTemporary workWork at officeRemote work$108.4k - $203.4k
...Oracle EBS Order to Cash Lead The work: Develop... ...software product/system to meet client requirements... ...technologies, applications, methods, processes and tools to... ...US Citizen Public Trust As required by local... ...(a) in response to a formal complaint or charge, (b...SuggestedLive inWork at officeLocal areaAccenture
Washington DC1 day ago$77.6k - $176k
Phase2 Technology is looking for a Post Quantum Cryptography Scientist in Washington, DC. The ideal candidate should have experience in... ...Responsibilities include implementing PQC solutions and transitioning systems to meet new standards. We offer a competitive salary range of $...- Overview Systems Planning and Analysis, Inc. (SPA) delivers... ...Objective. Responsive. Trusted. SPA is involved in... ...the development of formal requirements and program... ...and eventually take a leading role in the development... ...creative data visualization methods to address Naval issues...Full time
- ...Lead Systems Architect At B&A, we foster and embrace a distinct set of values that we live... ...organization: dedication, commitment, partnership, trust, and recognition. We have incorporated... ...management seminars, and more A formal mentorship program Job shadowing and...Full timeWork at officeLocal area
Bart & Associates
Suitland, MD10 days ago $140k - $190k
...System Administrator / IT Lead Hybrid; Arlington, VA; Mountain View, CA; San Diego, CA We're a combat-tested group of engineers, operators... ...believe America's edge depends on autonomous airpower that's trusted and deployable today, not in 2040. Backed by tier-one...Full timeWork experience placementWork at officeLocal areaImmediate startRelocation packageAtropos Inc
Arlington, VA6 days ago- ...Lead Systems Architect Be challenged and make a difference. In a world of technology, people make the difference. We believe if we invest... ...IT enterprise architecture including experience with Zero Trust and NIST Clearance: ~ Minimum active Secret clearance...Full timeTemporary workImmediate startRemote work
AnaVation LLC
Washington DC1 day ago $120k - $160k
...Job Description Description SAIC is seeking a Lead Information System Security Officer (ISSO) to support a critical U.S.... ...ISSO-related roles. Ability to obtain and maintain a Public Trust requiring U.S. Citizenship or Green Card. Strong hands-...Work at officeScience Applications International Corporation
Washington DC10 hours ago- ...Lead Systems Architect This position supports Revolutional's federal customer as part of an application transformation and modernization... ...include US citizenship with the ability to obtain a Public Trust, 15+ years of experience in systems architecture, enterprise architecture...For contractors
Harmonia | Revolutional
Washington DC1 day ago - ...strong programming skills, particularly in Fortran and R or Python. This role requires leading analytical efforts and producing thorough documentation for both legacy and modern systems, with tasks focused on risk mitigation for critical materials. #J-18808-Ljbffr...
- ...data, providing scalable identity access, modernizing legacy systems, and building high-performance platforms. By integrating new technologies... .... Role Overview : The Cloud Security and Zero Trust Lead provides leadership for cybersecurity engineering, compliance...Local areaRemote work
eTelligent Group LLC
Washington DC6 days ago $120k - $150k
...Responsibilities & Qualifications We are seeking a Lead Systems Engineer to join our team supporting the Transportation Team. REQUIRED... ...engineering or information systems. Clearance ~ Public Trust. Responsibilities Manage Windows Server and Linux VM...Full timeContract workTemporary workWork at officeLocal areaMonday to FridayWeekend workDay shiftAfternoon shiftTekSynap
Washington DC10 hours ago$107.9k - $195.05k
...leaders across the Department to make faster, better-informed decisions using trusted data at scale. Leidos Digital Modernization sector is seeking an experienced Senior Systems Engineer Lead to support the delivery, enhancement, and adoption of enterprise data and...Local areaImmediate startLeidos
Alexandria, VA5 days ago$131.3k - $237.35k
...leaders across the Department to make faster, better-informed decisions using trusted data at scale. Leidos Digital Modernization sector is seeking an experienced SME Systems Engineer Lead to support the delivery, enhancement, and adoption of enterprise data and analytics...Local areaImmediate startLeidos
Alexandria, VA4 days ago$131.3k - $237.35k
...leaders across the Department to make faster, better-informed decisions using trusted data at scale. Leidos Digital Modernization sector is seeking an experienced SME Cybersecurity Systems Engineer Lead to support the delivery, enhancement, and adoption of enterprise data...Local areaImmediate startLeidos
Alexandria, VA2 days ago- Modern Technology Solutions, Inc. (MTSI) is seeking a Lead System Administrator SME to provide critical support to a high-profile Air Force... ...collaboration and effective project execution. Establish trusted and influential relationships with customers, suppliers, and other...For contractorsWork at office
- ...experience in cybersecurity engineering, including knowledge of Zero Trust Architecture and various security certifications. The position... ...focus on developing and implementing cybersecurity designs for systems and networks, conducting market analysis, and enhancing...
- Guidehouse is seeking a Cyber Engineer - Identity Management Lead in Arlington, Virginia. This role involves designing and implementing identity management systems aligned with Zero Trust principles for federal clients. Ideal candidates will have a rich background in ICAM...
- ...matters most to us, and our Core Capabilities, ‘Building Trust, Accountability, Effective Communication, Customer... ...Amtrak a company of the future. Job Summary The Lead Data Analyst - Revenue Management Systems is an individual contributor role reporting to...Hourly payPermanent employmentTemporary workWork experience placementInterim roleLocal areaRelocationFlexible hours
Amtrak
Washington DC3 days ago $125.5k - $230.2k
A global consulting firm is seeking a Manager - AI Safety and Trust Architect. This role requires extensive expertise in AI safety architectures and formal methods. Responsibilities include developing AI safety designs and supporting strategic business initiatives. The...Flexible hours- ...technical support firm is seeking a Senior Systems Administrator to manage Relativity... ...experience with Relativity, the ability to lead technical teams, and excellent communication... ...environments and be prepared to obtain a Public Trust Clearance. This position offers...
- ...technical services provider is seeking a Senior Systems Administrator to support a large Federal... ...Relativity experience and the ability to lead teams in a dynamic IT environment. Key... ...Strong communication skills and a Public Trust Clearance are required. #J-18808-Ljbffr...
- ...Treatment Facilities under DHA is seeking a Clinical Laboratory Scientist for the DiLorenzo Health Clinic in Arlington, Virginia.... ...coordinating clinical laboratory services, implementing quality control methods, and performing complex lab procedures. Candidates must have a...
- ...the trustworthiness of systems where failure is unacceptable... ...systems are built on a formal mathematical foundation... ...This Role Principal Scientists drive a research agenda... ...intersection of Formal Methods and one or more of our... ...In this role, you will lead externally-funded...Local areaImmediate start
$100k - $110k
Senior Scientist: Personnel Health Research & Data Analytics... ...together to shape the systems that shape our lives.... ...and will include leading a team of researchers,... ...teams and build strong, trusting relationships with... ...analytic approaches, methods, and research topic areas...Contract workTemporary workWork from home2 days per week3 days per week- ...Lead Business Systems Analyst Location: Washington, DC Duration: 8 Months Join our esteemed Randstad client in Washington, DC, as a Lead... ...activities within business units. Support and contribute to formal project status reporting, ensuring transparency and...
Argyle Infotech
Washington DC1 day ago - ...prioritizing speed, ownership, and execution over bureaucracy. Lead Systems Architect Location: Suitland, MD (Hybrid) Terms: Full-... ...: US Citizenship with the ability to obtain a Public Trust Travel: 0-20% Project Description This position supports...Full timeFor contractorsWork experience placementFlexible hours
Revolutional, LLC
Washington DC19 days ago
Do you want to receive more vacancies?
Subscribe and receive similar vacancies to Lead Scientist, Formal Methods & Trusted Systems. Be the first to apply!
Related searches
- scientist Arlington, VA
- deep learning scientist Arlington, VA
- senior principal scientist Arlington, VA
- machine learning scientist Arlington, VA
- scientist immunology Arlington, VA
- safety scientist Arlington, VA
- operations research scientist Arlington, VA
- research scientist - biology Arlington, VA
- research scientist Arlington, VA
- remote scientist Arlington, VA