Randy Lober

About Randy Lober

I have the privilege to lead and manage an exceptional group of computer scientists, engineers, and physicists developing digital assurance and formal verification capabilities for national defense mission applications. For the right candidates, we are always hiring.Our department (Digital Foundations & Mathematics) develops and applies tools for the formal verification of digital systems. We are always interested in candidates with cross-disciplinary skillsets who can contribute to one or more of our programs.The formal verification activities include formal methods analysis of hardware and software; modeling and simulation of digital or software systems; synthesis of hardware (digital logic) or software to meet formal specifications; binary analysis (developing a custom lifter capability); and development of specialized software utilizing advanced mathematics to meet customer needs. Our department (Digital Foundations & Mathematics) consists mostly of researchers with backgrounds in computer science, analysis of programming languages and domain specific languages, high-performance computing, cyber-physical systems, engineering and physics. We collaborate and team closely with organizations across Sandia and a broad spectrum of external partners.

Experience

1. R & d Manager - Digital Foundations & Mathematics Department

   Sandia National Laboratories

   Apr 2017 — Present · Livermore, CA, US

   I\'m privileged to work with an exceptional group of computer scientists, engineers, and physicists developing digital assurance, electrical modeling and simulation, and neuromorphic computing accelerator capabilities. Our department (Digital Foundations & Mathematics) develops and maintains multiple technical capabilities. We develop and apply tools for the formal verification of digital systems, for electrical modeling and simulation analyses, and we develop computing accelerators for extreme environments. We are always interested in candidates with cross-disciplinary skillsets who can contribute to one or more of our programs.

Education

• University of Illinois Urbana-Champaign

  BS, Mechanical Engineering (honors)

  1984 — 1987

• University of Illinois Urbana-Champaign

  MS, Mechanical Engineering

  1987 — 1989

Skills

• Simulations
• Parallel Computing
• C
• Programming
• Gnu Make
• Software Development
• Scientific Computing
• Python
• Scrum
• Computational Geometry
• Cfd
• Linux
• Virtualization
• C++
• Openmp
• Mpi
• Heat Transfer
• Algorithms
• Build Automation
• Distributed Systems
• Fortran
• Software Design
• Os X
• Agile Methodologies
• Docker
• System Architecture
• Cae
• Computer Science
• Unix
• Finite Element Analysis
• Git
• Software Configuration Management
• Vmware
• Systems Engineering
• Agile Project Management
• Red Hat Linux
• Scalability
• Parallel Programming
• Software Engineering
• Test Driven Development