Onsite Formal Methods Cybersecurity Researcher
Sacbar
Sandia National Laboratories seeks a Computer Science researcher (R&D Cybersecurity) expert in formal methods to advance automated verification of hardware and software. You will contribute to exploring model checking, symbolic execution, and formal specifications within a multidisciplinary team on national-security projects. The role emphasizes publishing results, collaboration, and developing novel verification tools, with on-site work required in a high‑security environment. #J-18808-Ljbffr Sacbar
Vacancy posted 1 day ago
Similar jobs that could be interesting for youBased on the Onsite Formal Methods Cybersecurity Researcher in Livermore, CA vacancy
- ...National Laboratories is seeking an experienced R&D Cybersecurity researcher with expertise in formal methods to verify hardware and embedded software systems.... ...tools to improve verification workflows. You will work onsite in a multidisciplinary team, developing...Suggested
$139.9k - $280.6k
...of the best tools, equipment, and research facilities in the world Career advancement... ...work, and telecommuting (a mix of onsite work and working from home)... ...researcher (job title: R&D Cybersecurity) who is an expert in formal methods. This opening is for an experienced...SuggestedPart timeRemote workWork from homeWorldwideRelocation packageFlexible hours- ...DescriptionWe have an opening for a Senior Cybersecurity Researcher to lead efforts to develop techniques... ..., developing and deploying innovative methods to characterize and assess cyber-... ...systems programming, software engineering, formal verification methods, and high...SuggestedMinimum wageFull timeFor contractorsLocal areaRelocationFlexible hours
- ...experts, and domain scientists in areas ranging from fundamental research in machine learning, development, deployment, and performance... ...programming, parallel programming, cloud computing, and/or related methods including running numerical simulations or complex workflowsPay...SuggestedMinimum wagePermanent employmentFull timeFor contractorsLocal areaRelocationFlexible hours
$123.05k
...real impact. We are seeking a Laser Physicist- Postdoctoral Researcher within our Laser Science and Systems Engineering Program to... ...business or organizational needs. Additional Information #LI-Onsite Position Information This is a Postdoctoral appointment...SuggestedMinimum wagePermanent employmentFull timeFor contractorsLocal areaImmediate startRelocation packageFlexible hoursLLNL
Livermore, CA6 days ago$38 - $53 per hour
...Science & Clinical is seeking a Research Associate, iPSC Models for a... ...-to-hire Workplace: Onsite in Pleasanton, CA Pay Range... ...Contribute to the refinement and formalization of workflows, SOPs, and QC... ...NGS library preparation and QC methods (Bioanalyzer, TapeStation,...Hourly payContract workTemporary workLocal areaKelly Services
Pleasanton, CA11 days ago$143.33k
Explainable AI - Postdoctoral Researcher Mid-Senior Level | Full-time Postdoctoral/Fellowship | Livermore, CA | 08/12/2026 Reference #:... ...work from home one or more days per week. Develop and evaluate methods for interpreting the internal representations of deep models,...Full timeWork from homeFlexible hours1 day per week- ...capabilities for national security missions, leading and contributing to research, development, and deployment of high-impact AI models. You will... ...and computing teams, spanning large language models, graph methods, surrogate modeling, and secure, reliable AI, while mentoring...
$228k - $342k
...for everyone, including yourself, you’ve found a match in Workday, and we hope to be a match for you too.About the TeamWorkday AI Research is a newly built, elite organization dedicated to advancing the state-of-the-art in AI to power the Agentic Enterprise. We sit at...Full timeWork at officeRemote workHome officeFlexible hours- ...technology platform. This is a high‑impact, onsite role in a growing startup lab environment... ...capabilities. Key Responsibilities Method Development: Develop, optimize, and qualify... ...testing, impurity profiling, or formal stability studies. Technical exposure to...Permanent employmentContract work
- ...Assays and Biomarkers group is part of the Research and Early Development and is tasked with... ..., and promptly records experimental methods, materials and results in electronic laboratory... ...to perform the responsibilities. Formal Training/Education: MS required in Biology...
KMR Search Group
Livermore, CA2 days ago - Lawrence Livermore National Laboratory (LLNL) invites applications for a Laser Physicist - Postdoctoral Researcher in the Laser Science and Systems Engineering Program. The role focuses on advanced solid-state, high-energy laser technology development within the NIF&PS...
- ...knowledge and substantial experience to advance radiation protection methods at the Laboratory.Independently lead high visibility projects... ..., technical basis documents, assessment reports, or other formal program documentation.Experience supporting radiological event...Full timeFor contractorsRelocationFlexible hours
$123.05k
Job Description We are seeking a Laser Physicist- Postdoctoral Researcher within our Laser Science and Systems Engineering Program to participate in the research, development, and application of advanced solid state, high energy laser technology. This work will take place...Minimum wagePermanent employmentFor contractorsLocal areaImmediate startRelocationFlexible hours$154.95k - $235.69k
...knowledge and substantial experience to advance radiation protection methods at the Laboratory. Independently lead high visibility... ...procedures, technical basis documents, assessment reports, or other formal program documentation. Experience supporting radiological...For contractorsRelocation packageFlexible hoursLLNL
Livermore, CA3 days ago$23.26 - $31.62 per hour
...real impact. Job Description The Center for Global Security Research (CGSR) was established at Lawrence Livermore National Laboratory... ..., arms control, nonproliferation, emerging technologies, cybersecurity, space, biological & chemical security, and energy security....Hourly payPermanent employmentFor contractorsInternship$151.96k
...competitive postdoctoral position at LLNL that is open to all technical disciplines. Fellows are free to pursue their own independent research agenda with subject matter experts who provide guidance and mentorship. Fellowships are awarded to candidates with exceptional...Permanent employmentFull timeFor contractorsWork at officeRelocation packageFlexible hours- ...without assistance. Optimize and refine quality control (QC) methods and assays to assess reagent quality through a variety of analytical... ...better treatments, and a better future. Find out how you can make a 10x difference. #LI-MH1 #LI-ONSITE #J-18808-Ljbffr 10x GenomicsFull time
- Lawrence Livermore National Laboratory in Livermore, CA, invites applications for a Postdoctoral Researcher to expand the St. Benedict, BEARtrap, and BPT ion-trap systems for high-precision beta-decay spectroscopy. The role focuses on testing fundamental symmetries in...
$111k - $206.5k
...pathology background to join our innovative research and development team. This is a technical... ...robustness studies. Utilize orthogonal methods (e.g., Western blot, ELISA, RNA ISH, IF)... ...and external collaborations. This is an onsite position based in Pleasanton, CA. Relocation...Local areaRelocation package- Workday is seeking a Principal AI Researcher to lead the AI Research Team within the Agent Factory hub. You will define research roadmaps for agentic reasoning, long-horizon planning, and model alignment, bridging theory to scalable enterprise deployments. You will mentor...Work at officeFlexible hours
- JJ Studio AI in Pleasanton, CA is seeking a people-and-animals oriented qualitative researcher to engage pet owners, vet staff, shelters, and trainers through structured interviews. You will recruit participants, conduct interviews (in-person, phone or video), and document...Part timeLocal areaRemote work
- ...Search is seeking an Analytical Chemist (Contract to Perm) for an onsite role in Pleasanton, CA. You will lead hands-on analytical... ...generation formulation platforms, focusing on robust HPLC/UPLC methods and early-stage validation. The ideal candidate has 7-10 years...Permanent employmentContract work
$130k - $150k
...analyst will design dashboards, create data pipelines, and perform analyses that influence key business strategies. *This role is based onsite in Pleasanton, CA Monday through Friday* Compensation Base Annual Salary: $130,000 - $150,000 Annual Bonus: Up to 10% Your Impact:...Monday to FridayVagaro Inc
Pleasanton, CA3 days ago- ...We are seeking a motivated and hands‑on Chemistry Research Associate with 3–5 years of laboratory experience to contribute to the development... ...and purify conjugated reagents using filtration and desalting methods. Generate reproducible reagent batches to support assay...
CS Genetics
Pleasanton, CA2 days ago - ...DescriptionWe have an opening for a Nuclear Criticality Safety Research Staff Member in the Nuclear Criticality Safety Division within... ...relevant experience.Broad experience with radiation transport methods, such as MCNP, SCALE, GEANT, COG, Serpent, OpenMC etc.Comprehensive...Full timeFor contractorsWork from homeRelocationFlexible hours
$210.63k - $267.06k
...and others, exercising independent judgment to determine optimal methods, techniques, and implementation approaches. Coordinate complex... ...involving multiple organizations, sponsors, and external research partners. Experience developing concepts, proposals, and technical...Minimum wageFor contractorsLocal areaWork from homeRelocation packageFlexible hours1 day per weekLawrence Livermore National Laboratory
Livermore, CA22 hours ago- ...EBSD) and Energy-dispersive X-ray spectroscopy (EDS), Wavelength Dispersive X-ray Spectroscopy (WDS) as neededIndependently develop methods for preparing and analyzing one-of-a-kind samples, including hazardous and radioactive materials.Conduct failure analysis...Minimum wageFull timeFor contractorsWork at officeLocal areaRelocationFlexible hours
$126.72k
...the external labor market, and internal equity. We have an opening for a Postdoctoral Research Staff Member to contribute to fundamental R&D in machine learning and statistical methods in support of a new project on “Terraforming Soil”. This interdisciplinary project...For contractorsRelocation packageFlexible hoursLawrence Livermore National Laboratory
Livermore, CA22 hours ago- ...A fast-growing startup in IT operations is seeking a Sr UX Researcher to conduct impactful studies and drive product decisions. You'll collaborate across teams, advocating for users while addressing complex workflows and systems. Candidates should have over 4 years of...
XperiencOps Inc
Pleasanton, CA2 days ago
Do you want to receive more vacancies?
Subscribe and receive similar vacancies to Onsite Formal Methods Cybersecurity Researcher. Be the first to apply!
Related searches
- music researcher Livermore, CA
- machine learning researcher Livermore, CA
- security researcher Livermore, CA
- design researcher Livermore, CA
- researcher Livermore, CA
- court researcher Livermore, CA
- data collection researcher Livermore, CA
- human factors researcher Livermore, CA
- cybersecurity certificate Livermore, CA
- cybersecurity administrator Livermore, CA