Senior Scientist - Formal Methods & Trustworthy Systems
United Cerebral Palsy of Georgia
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 experience in formal verification. The position offers a hybrid working environment, competitive compensation, and a robust benefits package including paid parental leave and a 401(k) plan. #J-18808-Ljbffr United Cerebral Palsy of Georgia
Vacancy posted 5 days ago
Similar jobs that could be interesting for youBased on the Senior Scientist - Formal Methods & Trustworthy Systems in Arlington, VA vacancy
- ...Senior Machine Learning Research Scientist At the SEI AI Division, we conduct research... ...and sustaining AI-enabled systems for high-impact government... ..., uncertainty, and trustworthiness of ML-enabled systems.... ...outcomes, or transitioned methods. Publications at strong...SeniorFull timePart timeWork at officeFlexible hours
Software Engineering Institute
Arlington, VA1 day ago - ...Senior Machine Learning Research Scientist At the SEI AI Division, we conduct research in applied artificial... ...implementation of AI technologies and systems. We currently lead a community-wide... ...research and applying scientific methods to solve difficult problems Experience...SeniorFull timePart time
Software Engineering Institute
Arlington, VA5 days ago - ...technology to guarantee the trustworthiness of systems where failure is... ...trustworthy systems are built on a formal mathematical foundation. Our... ...About This Role Principal Scientists drive a research agenda and... ...the intersection of Formal Methods and one or more of our four...SuggestedLocal areaImmediate start
$167.1k - $226.1k
...programming languages, applying formal verification, program... ...productize prototypes into production systems using software development... ...and trains the research scientist community on complex technical... ...technology related to formal methods, automated reasoning, automated...SeniorFlexible hoursAmazon
Arlington, VA1 day ago- ...of functions, operations, teams, or interfacing administrative systems. Independently studies complex problems facing operating unit... ...input from activities outside the division and identifying new methods of performing work. Participates with cross-functional...Senior
Treasury Department
Washington DC4 days ago $118.1k - $200.76k
...Senior Sar Imagery Analyst Scientist The Senior SAR Imagery Analyst Scientist will provide Geospatial and... ...processing and advanced exploitation methods. ~ Experience in Machine Learning... ...experience. Employee Benefits: At BAE Systems, we support our employees in all...SeniorFull timeLocal areaRemote workBAE Systems USA
Falls Church, VA3 days ago$100k - $110k
Senior Scientist: Personnel Health Research & Data Analytics, Military (Washington, D.C.) Who... ...communicators working together to shape the systems that shape our lives. We look at human... ...to learn new analytic approaches, methods, and research topic areas Strong verbal...SeniorContract workTemporary workWork from home2 days per week3 days per week- ...communication specialists, data scientists, and subject matter experts... ...recruiting for a full-time Senior Computational Social Scientist... ...analytical work bridges computational methods with deep understanding of... ...LLM chains, agentic AI systems, or automated analytical products...SeniorHourly payPermanent employmentFull timeTemporary workShift work
Protagonist
Washington DC3 days ago $120k - $175k
...modelling materials and molecular systems, where we have demonstrated significant... ..., we are now looking to hire a Senior Quantum Computational Materials Scientist to join our team in Washington DC.... ...(ab initio) electronic structure methods, theory and computation, Chemistry...SeniorFull timeWork at officeImmediate startPhasecraft
Washington DCa month ago- ...companies, corporations, healthcare systems, colleges/universities, and large infrastructure... .... Job Summary Langan is seeking a Senior Biologist or Scientist to join its collaborative team in... ...protocols, regionally specific methods, restoration monitoring for ongoing projects...SeniorFull timeTemporary workWork experience placementFor subcontractorWork at officeLocal areaWorldwideFlexible hours
$106k - $130k
Research Scientist - Value-based payment (VBP) and delivery system transformation - Chicago, Washington DC or Remote Apply now Job no: 503831 Work type: Regular... ...qualitative research design, data collection, and analytic methods. Experience contributing to proposals and managing...Full timeTemporary workWork at officeRemote work- ...Solutions, Inc. (MTSI) is seeking a Cyber Security - Information Systems Security Engineer ( ISSE) in Dayton, OH, Hanscom Air Force Base... ...of both higher and granular-level cyber security approaches, methods and solutions that incorporate and maintain compliance to...SeniorFor contractorsWork at office
Modern Technology Solutions Inc
Washington DC2 days ago - ...Senior Electro-Optical Imagery Scientist Unlock the secrets of intelligence with MANTECH! Join a dynamic team... ...and advanced exploitation methods. Preferred Qualifications:... ...with team members and access mission systems. Must be able to communicate effectively...SeniorFull timeLocal areaRemote work
ManTech
Springfield, VA4 days ago - ...fast-paced environment, the GIS Business System Analyst III will develop, manage, and execute... .... Defines and implements standards, methods and procedures for requirements gathering... ...Preparing and presenting information to staff in formal settings Working in teams, task forces,...Senior
- Senior Scientist (CBRN) DEFTEC delivers mission-critical solutions through skillfully delivered services and innovative products. We are inspired... ...public health field 4+ years supporting major programs or system development efforts related to human, animal, or plant health...SeniorTemporary workWork at officeLocal area
$75.2k - $124.1k
...implementation of new tax laws, moderately complex analysis of tax methods of accounting as well as tax processes or calculations for... ...as Excel, Word, and Power Point Proficiency in tax accounting systems Willingness to travel as needed, and working in a balanced hybrid...SeniorSummer holidayFlexible hours- ...Job Description Job Description Imagery Scientist - SAR Senior Location: Springfield, VA / Washington Metro Area TS/SCI REQUIRED/... ...remote sensing and imagery processing and advanced exploitation methods Desired ~ Experience applying CV and machine...SeniorWork at officeRemote work
Allen Integrated Solutions
Washington DC5 days ago $167.1k - $226.1k
...Experience in any of the following areas: SAT, SMT, mechanical theorem proving, symbolic simulation, programming language type systems, program analysis. Preferred Qualifications ~ Experience programming in O'Caml, Dafny, Haskell, Kotlin, Lean, Rust, Scala or related...SeniorFlexible hoursAmazon
Arlington, VA3 days ago- ...Communications Analyst provides senior-level strategic planning and... ...quantitative and qualitative methods. Assess impacts of budget reductions... ...of Joint and Army planning systems, including: Joint Strategic... ...supports delivery of multiple formal products including strategic...SeniorFor contractorsWork at office
- ...the priorities of the customer, the image scientist will support product evaluations, quality... ...to quantify the expected quality of a system given various parameters. Candidate should... ...using comprehensive experience performing formal quality assessments Apply knowledge of...SeniorFor contractors
TRIAEM, LLC
Springfield, VA29 days ago - .... The successful candidate will lead efforts in engineering and system design for enterprise-level systems, ensuring alignment with strategic... ...systems, advising on technology decisions, and producing formal documentation. Applicants must have US citizenship and a fully adjudicated...Senior
$80k - $148k
...environmental health research and advocacy organization, is seeking a Senior Scientist to advance EWG’s Verified programs. Since 1993, EWG has... ...data and decisions are seamlessly integrated into internal systems and public-facing databases. In collaboration with all EWG...SeniorWork experience placementWork at officeRemote workEWG
Washington DC25 days ago$139k - $180k
...algorithms and techniques for airborne radar and passive optical systems. MDA fosters a culture of innovation, collaboration, and... ...invite you to join us. The Role: We are looking for a Senior Scientist to develop state-of-the-art algorithms and techniques for...SeniorFull timeWork experience placementLocal areaImmediate startNight shiftSTR
Washington DC23 days ago- ...tools for evaluating energy technologies and manage R&D programs. The role requires 7+ years in technical paper authorship, energy systems modeling experience, and proficiency in Excel for modeling. The position includes a competitive salary and comprehensive benefits....Senior
$146k - $194k
...Senior Systems Analyst, Cost & Receipt Accounting Washington, District of Columbia, United... ..., managing cost books, valuation methods (Actual, Standard, or FIFO), and accounting... ...and upholding the security and trustworthiness of our recruitment efforts. Data...SeniorFull timeContract workWork experience placementWork at officeImmediate startanduril
Washington DC1 day ago- The US National Institute of Standards and Technology is seeking a candidate to evaluate chemical and biological capabilities of AI systems and lead collaborations for national security evaluations. Candidates must possess a degree in biological sciences or related...Senior
- ...Senior Economic Analyst Teamsters Headquarters, Washington DC Strategic Initiatives Department, Analytics Team The Teamsters... ...Database creation and manipulation, and knowledge of statistical methods, are key. The Senior Analyst assists in the day-to-day guidance...SeniorFull timeContract workWork experience placementWork at office
International Brotherhood of Teamsters
Washington DC2 days ago $155k - $165k
...applications for an open-rank Research Scientist position in the Policy Research Foundational... ...and civic capacities; longitudinal systems analysis; and program evaluation that translates... ...pathways, using causal inference methods (e.g., regression discontinuity, difference...SeniorFull timeWorldwide$173k
...a more open world. Join us. Senior Machine Learning Scientist The Senior Machine Learning Scientist... .... Design robust, scalable ML systems (batch and/or streaming) in... ...training strategies, and evaluation methods. Contribute to defining best practices...SeniorLocal areaWorldwideFlexible hours$120k - $160k
Description SAIC is seeking a Senior Systems Engineer to act as a Acquisition Specialist in Washington, DC . In this role you will : Provide... ...reviews, quarterly and monthly performance reviews providing formal minutes of the meeting and tracking action items assigned. Support...SeniorContract work
Do you want to receive more vacancies?
Subscribe and receive similar vacancies to Senior Scientist - Formal Methods & Trustworthy 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