Average salary: $184,723 /yearly
More statsGet new jobs by email
- ...monitor their behavior. Oath is building oversight tools based on formal verification: rather than monitor AIs directly, humans define... ...Summary Oath's research engineers will build novel formal methods tools and apply them at scale to AI oversight problems. To do this...SuggestedFlexible hours
Convergent Research
Berkeley, CA19 days ago - ...Description Job Description The candidate will be performing hands-on research on high-assurance connect car system assurance using formal methods and design by contract concepts. Research areas include high-assurance connected software architecture & software engineering,...SuggestedContract workLocal area
$95 per hour
...Formal Methods (Lean 4) Expert is a remote review track for evaluating AI outputs across formal methods research review reasoning, calculations, and research workflows. Reviewers grade derivations and assumptions, reproduce key results, and document the correct method...SuggestedRemote jobFor contractors10 hours per week$86.8k - $165.2k
...the future of aerospace and defense.RTX BBN Networking and Cyber Technologies group is looking for a Research Software Engineer, Formal Methods with strong software development skills and an interest in security and resilience of large-scale dynamic systems. In this...SuggestedTemporary workWork experience placementWork at officeRemote workFlexible hours$87k - $146k
...Senior Accounting Methods CLA is a top 10 national professional services firm where our purpose is to create opportunities every day, for our clients, our people, and our communities through industry-focused wealth advisory, digital, audit, tax, consulting, and outsourcing...SuggestedWork at office- ...Head of Computational Methods Development About the Company Research-driven organization advancing computational genomics methods for translational and clinical applications. Industry Biotechnology Type Privately Held About the Role The Company...Suggested
$86.5k - $164.5k
...nowhere like RSM. As a member of our Credits, Incentives and Methods (CIM) group, you will be responsible for providing tax... ...Ruling requests Train, mentor, and develop professionals through formal mentorship roles and informal interactions Foster collaborative...SuggestedWork experience placementInternshipWork at officeLocal area$70k - $90k
...Job Description Job Description Development Scientist – Analytical Method Development & Validation Location: Gulfport, MS (onsite; relocation assistance available) Compensation: $70,000 to $90,000 About the Role We're looking for a hands-on Development Scientist...SuggestedRelocation packageMBC Talent Connections
Gulfport, MS11 days ago- ...Web Methods Support Analyst About VDart: VDart is an emerging global information technology staffing provider with expertise in Enterprise Resource Planning (Oracle/SAP), SMAC (Social, Mobile, Cloud, Analytics), Business Intelligence & Infrastructure services. Three...SuggestedFor contractors
- ...abrasive coating operations at Jessup Manufacturing Company. This is achieved by optimizing cost-effective manufacturing processes and methods in accordance with product specifications and quality standards, recommending. and implementing improvements to production...SuggestedWork at office
JESSUP MANUFACTURING
Lake Bluff, IL7 days ago $73.5k - $131.25k
...Tax Senior, Accounting Methods The Accounting Methods group helps companies optimize their federal tax accounting methods, including revenue and expense recognition, capitalization, depreciation, and amortization, and various other special methods of accounting. Accounting...SuggestedInternshipWork at office$115k - $230k
...representations, optimizing the generated models for automated analysis.Identify new classes of security properties of smart contracts and formalize properties for use in our automated verification tools.Closely collaborate with other software engineers in developing tools and...SuggestedFull timeInternshipLocal areaRemote workFlexible hours$36 - $42 per hour
.../MS, GC-MS, ICP-MS, and other mass spectrometry platforms to conduct analytical testing. Apply and execute validated analytical methods based on industry standards, including AOAC, USP, and AACC methodologies. Analyze, interpret, and evaluate analytical data to ensure...SuggestedContract workTemporary workWork at officeMonday to FridayShift workActalent
Kansas City, MO2 days ago- ...Job Description Job Description Description The Senior Manufacturing Methods Analyst is an advanced, organization-wide role responsible for leading Methods of Manufacturing (MoM) strategy, overseeing complex programs, and driving continuous improvement across the...SuggestedWork at office
HOLT Manufacturing
Waco, TX5 days ago - ...Job Description Job Description Description The Manufacturing Methods Analyst 2 is responsible for owning the development, maintenance, and accuracy of Methods of Manufacturing (MoM) within the ERP system. This intermediate-level role supports New Product Introduction...SuggestedWork at office
HOLT Manufacturing
Waco, TX14 days ago - ...get to further our mission by leveraging your knowledge in bioanalytical and scientific principles with a primary focus on biomarker method development. You will design, develop, optimize, and troubleshoot complex bioanalytical methods while utilizing your strong base in...Contract work
KCAS Bio
Kansas City, MO11 days ago $24 - $28 per hour
...Job Description Job Description Physical Properties Method Development Scientist Kelly Science and Clinical is looking for a passionate and driven Physical Properties Method Development Scientist to join one of our Global Medical Device clients in Jacksonville...Full timeTemporary workInternshipLocal areaMonday to FridayShift workDay shiftKelly Services
Jacksonville, FL10 days ago- ...Job Description Job Description Position Summary The Method Level III (RT/DDA) is the technical authority for all radiographic testing activities utilizing film and/or Digital Detector Array (DDA) technology. This position is responsible for developing, implementing...Work at office
Applus Laboratories
Zeeland, MI3 days ago $36 - $43 per hour
...include: Working on a team that focuses on a wide range of tax specialty areas including accounting for income taxes, accounting methods and periods, corporate taxation, federal credits and incentives, individual taxation, mergers and acquisitions, pass-through entity...Hourly payWork experience placementSummer workInternshipLocal areaRSM
New York, NY2 days ago$279.5k - $341.62k
...website and Glassdoor pages.Job Description:The Role:Distinguished Formal Verification Architect with expertise in defining end-to-end... ...thinking and ownership to close verification with formal methods or formal/simulation co-verificationNice to HaveFunctional programming...Full timeWork experience placement$79.2k - $94.5k
...Working on a team that focuses on a wide range of tax specialty areas. This can include accounting for income taxes, accounting methods and periods, corporate taxation, federal credits and incentives, individual taxation, mergers and acquisitions, pass-through entity...Full timeWork experience placementLocal areaRSM
San Francisco, CA18 hours ago- Job Description Job Description Geriatric Nursing Assistant (GNA)/CNA I Immediate Hire! Full Time Shifts Available Ask us about our $2500.00 sign on bonus today (Full Time Positions) We are better together! Are you passionate about caring for our elderly...Daily paidFull timeImmediate startRelocation packageFlexible hoursShift work
$160k - $275k
...and availability. We build the full stack—from silicon and rack design through compilers, kernels, and ML models. We are seeking a Formal Verification Engineer to bring rigorous mathematical guarantees to our hardware and software at every layer of the stack.What You'll...Daily paidFull timeWork experience placementLocal areaRemote workMonday to FridayFlexible hoursShift work- ...not limited to: Research & Development Tax Credit Studies Transaction Tax Services Cost Segregation Studies Accounting Method Optimization Federal & International Tax Advisory IRS Controversy Support How you will contribute: Working as part of a...Summer workInternshipWork at officeLocal areaFlexible hoursNight shift
Forvis Mazars
Charlotte, NC1 day ago $30 - $35 per hour
...personally and professionally. There’s no one like you and that’s why there’s nowhere like RSM. TAX INTERN – Credits, Incentives & Methods (CIM) – Accounting Methods & Periods (AMP) Position Description At RSM, interns work with large and small companies in...Hourly payWork experience placementSummer workInternshipLocal areaRSM
Seattle, WA2 days ago$2,500 per month
...engineers, Etched is redefining the infrastructure layer for the fastest growing industry in history. Job Summary We are seeking a Formal Verification Engineer to join our ASIC Design Verification team. You will drive formal verification across the custom IP, interface...Contract workWork at officeRelocation package$200k - $320k
...Job Description Job Description About the role Own block- and SOC-level formal verification, debug, and proof convergence for our AI accelerator silicon. Work with chip-design and software teams driving DensityAI's AI accelerator program from first silicon through...H1bVisa sponsorshipWork visa$119.8k - $234.7k
...to envision and implement future technical solutions that will manage and optimize the Cloud infrastructure. We are looking for a Formal Design Verification Engineer to join the team.#SCHIE #CSMEResponsibilitiesThe candidate for this position will be expected and able...Ongoing contractPermanent employmentWork at officeLocal areaWorldwide3 days per week$165k - $290.4k
...that truly matters for patients, we invite you to join us.HEOR Methods This role provides methodological leadership across the full span... ...or therapeutic areaDemonstrated people-leadership experience: formally managing, developing and leading scientists (this role includes...Full timeRemote workFlexible hours$85k - $95k
...Job Description Job Description Research Methods Faculty Job Description Institutional Overview Capitol Technology University is a career-focused university located in Laurel, Maryland, between Baltimore and Washington, D.C. It is a fully-accredited non-profit...Permanent employmentFull timeWork at office
