The American Society of Mechanical Engineers (ASME)
21 days old
2017-10-272017-11-25

R&D Computer Scientist (Experienced)

Livermore, CA
Apply Now
Apply on the Company Site
  • Job Code
    659032

Job ID: 659032
Company: Sandia National Laboratories
Location: Livermore, CA
Job Title:R&D Computer Scientist (Experienced)

:

We have a full-time opening in the areas of computer science or related fields for R&D Computer Science researchers who are experts in formal methods. This opening is for a researcher at the junior or senior level who can demonstrate the necessary technical knowledge and skill base to build a successful research program, with a proven record of excellence, in formal methods and automated verification of hardware and software.

Our researchers are expected to conduct innovative research, publish and present results in refereed journals and conferences, work in multidisciplinary teams, and seek out new and significant problems of national importance. The successful candidate will be expected to both develop an innovative research program in formal methods and apply their findings in problems domains relevant to Sandia's national security mission areas. Our Center is especially interested in candidates who can develop and apply formal methods research, including automated or semi-automated tools, which can support the verification of hardware and embedded software systems. Collaboration with multi-disciplinary teams is essential to successfully realizing these objectives.

Required:



+ Bachelor's and master's degrees in computer science or a related STEM discipline with at least two years? relevant experience; or a bachelor's and doctorate in computer science or a related STEM discipline;
+ Evidence of relevant and exceptional achievements in formal methods research, as demonstrated in the form of technical publications, presentations, software verification tools, and/or knowledge of applications;
+ Experience working in a collaborative research environment on problems in a variety of domains;
+ Experience in solving problems, prioritizing work, and making decisions; and
+ Ability to obtain and maintain a U.S. DOE Q security clearance.

Desired:

(1) Expertise in one or more of the following areas: model checking, logical inference and automated theorem proving, equivalence checking, symbolic execution, discrete-event simulation, and specification languages; (2) proficiency with high-performance computing platforms; and (3) a background in solving practical problems in science and engineering that involve encounters with real-world data. For senior level candidates, additional qualifications include (4) familiarity with the processes for obtaining and managing research funding, including building project teams, writing grants and progress reports, and working with sponsors; and (5) evidence of professional service to the community, such as service on program committees, workshop organization, and/or editorial work.



The Assured Digital Systems & Advanced Computing department maintains capabilities for verification of digital systems, including software; analysis of hardware and software; modeling and simulation of digital or software systems; synthesis of hardware or software to meet formal specifications; and development of specialized software utilizing advanced mathematics to meet specialized customer needs. The department may also expand into related advanced computing R&D in the future. The team consists mostly of PhDs with research backgrounds in computer science, analysis of programming languages, and high performance computing. We collaborate and team closely with organizations internally to 8900 and across SNL and a broad spectrum of external partners.


About Sandia:


Sandia National Laboratories is the nation?s premier science and engineering lab for national security and technology innovation, with teams of specialists focused on cutting-edge work in a broad array of areas. Some of the main reasons we love our jobs:

+ Challenging work withamazingimpact that contributes to security, peace, and freedom worldwide
+ Extraordinary co-workers
+ Some of the best tools, equipment, and research facilities in the world
+ Career advancement and enrichment opportunities
+ Flexible schedules, generous vacations,strongmedical and other benefits, competitive 401k, learning opportunities, relocation assistance and amenities aimed at creating a solid work/life balance*

_World-changing technologies. Life-changing careers._ Learn more about Sandia at: http://www.sandia.gov

*These benefits vary by job classification.



Security Clearance:


Position requires a Department of Energy (DOE) granted Q-level security clearance.

Sandia is required by DOE directive to conduct a pre-employment drug testing, and a pre-employment background review that includes personal reference checks, law enforcement record and credit checks, and employment and education verifications. Applicants for employment must be able to obtain and maintain a DOE Q-level security clearance, which requires U.S. citizenship.

Applicants offered employment with Sandia are subject to a federal background investigation to meet the requirements for access to classified information or matter if the duties of the position require a DOE security clearance. Substance abuse or illegal drug use, falsification of information, criminal activity, serious misconduct or other indicators of untrustworthiness can cause a clearance to be denied or terminated by the DOE, rendering the inability to perform the duties assigned and resulting in termination of employment.

EEO Statement:

Equal opportunity employer/Disability/Vet/GLBT



Categories

  • Mechanical Engineering - Applied Mechanics
  • Mechanical Engineering - Training
  • Mechanical Engineering - University, Academic and Education
  • Mechanical Engineering - Gas Turbine
  • Mechanical Engineering - Quality

Featured Employers[ View All ]

Share this job:

R&D Computer Scientist (Experienced)

Sandia National Laboratories
Livermore, CA

Share this job

R&D Computer Scientist (Experienced)

Sandia National Laboratories
Livermore, CA

Separate email addresses with commas

Enter valid email address for sender.

Join us to start saving your Favorite Jobs!

Sign In Create Account
Powered ByCareerCast