Company Description
Join us and make YOUR mark on the World!
Are you interested in joining some of the brightest talent in the world to strengthen the United States' security? Come join Lawrence Livermore National Laboratory (LLNL) where our employees apply their expertise to create solutions for BIG ideas that make our world a better place.
We are committed to a diverse and equitable workforce with an inclusive culture that values and celebrates the diversity of our people, talents, ideas, experiences, and perspectives. This is important for continued success of the Laboratory's mission.
Pay Range
$159,330 - $204, 636 Annually for the SES.3 level
$191,220 - $245,544 Annually for the SES.4 level
Please note that the pay range information is a general guideline only. Many factors are taken into consideration when setting starting pay including education, experience, the external labor market, and internal equity.
Job Description
We have an opening for a Computer Scientist to perform work in the areas of formal verification and program analysis. You will carry out research in the development of novel forms of general program analysis, verification techniques, and mixed static and dynamic analysis of software. Target software includes both source code and binary executables. Target application areas include optimizations for embedded systems, advanced High-Performance Computing (HPC) architectures, Correctness Analysis, Software Assurance, and Cyber Security. This position is in the Center for Applied Scientific Computing (CASC) Division within the Computing Directorate.
This position will be filled at either level based on knowledge and related experience as assessed by the hiring team. Additional job responsibilities (outlined below) will be assigned if hired at the higher level.
You Will

• Design, implement, research, evaluate, and use ROSE to support program analysis and source-to-source transformations.
• Contribute novel techniques for program specification capture and the generation of verification artifacts for software systems.
• Implement static analysis methods based on formal logic for both source and binary programs.
• Write, document, present, and disseminate research by publishing papers in peer-reviewed media and presenting papers within the DOE community and at conferences.
• Collaborate with a broad spectrum of scientists and engineers, internally and externally, to accomplish research goals.
• Perform other duties as assigned.

Additional job responsibilities, at the SES.4 Level

• Provide solutions that require in-depth analysis of multiple factors and the creative use of established methods.
• Develop verification tools that can be applied to systems written in legacy programming languages.
• Direct troubleshooting activities, coordinating with other team members and various technical staff in multiple organizations to research and determine root cause of issues.
• Represent CASC in advanced computing with vendors, customers, and academia.

Qualifications

• Ph.D. in Computer Science or related field, or the equivalent combination of education and related experience.
• Experience using C, C , Ocaml, or other systems programming languages for large scale program analysis tool development evidenced by contributions to software products using these languages.
• Significant experience with the development and implementation of program analysis tools based on mathematical logic as evidenced by contributions to proof assistants, model checkers, or satisfiability solvers.
• Significant experience with verification tool design and implementation as evidenced by past work with SMT solvers, proof assistants, or other formal reasoning systems.
• Significant experience performing independent research as evidenced by successful funding proposals and/or publication of research results.
• Advanced verbal and written communication skills necessary to effectively collaborate in a team environment, author technical and scientific reports and papers, and deliver scientific presentations.

Additional qualifications at the SES.4 Level

• Expert analytical, problem-solving, and decision-making skills to develop creative solutions to complex problems.
• Ability to lead proposals or lead research areas while effectively managing concurrent technical tasks with competing priorities.
• Expert verbal and written communication and interpersonal skills necessary to effectively collaborate with internal and external teams to present and explain technical information and advise senior management and external sponsors.

Qualifications We Desire

• Significant experience with high-performance computing.

Additional Information
All your information will be kept confidential according to EEO guidelines.
Position Information
This is a Flexible Term appointment, which is for a definite period not to exceed six years.If final candidate is a Career Indefinite employee, Career Indefinite status may be maintained (should funding allow).

Why Lawrence Livermore National Laboratory?

• Included in 2024 Best Places to Work by Glassdoor!
• Flexible Benefits Package
• 401(k)
• Relocation Assistance
• Education Reimbursement Program
• Flexible schedules (*depending on project needs)
• Inclusion, Diversity, Equity and Accountability (IDEA) - visit
• Our core beliefs - visit
• Employee engagement - visit

Security Clearance
This position requires a Department of Energy (DOE) Q-level clearance.If you are selected, wewill initiate a Federal background investigation to determine if youmeet eligibility requirements for access to classified information or matter. Also, all L or Q cleared employees are subject to random drug testing. Q-level clearance requires U.S. citizenship.

Pre-Employment Drug Test
External applicant(s) selected for this position must pass a post-offer, pre-employment drug test. This includes testing for use of marijuana as Federal Law applies to us as a Federal Contractor.

How to identify fake job advertisements
Please be aware of recruitment scams where people or entities are misusing the name of Lawrence Livermore National Laboratory (LLNL) to post fake job advertisements. LLNL never extends an offer without a personal interview and will never charge a fee for joining our company. All current job openings are displayed on the Career Page under "Find Your Job" of our website. If you have encountered a job posting or have been approached with a job offer that you suspect may be fraudulent, we strongly recommend you do not respond.
To learn more about recruitment scams:

Equal Employment Opportunity
We are an equal opportunity employer that is committed to providing all with a work environment free of discrimination and harassment. All qualified applicants will receive consideration for employment without regard to race, color, religion, marital status, national origin, ancestry, sex, sexual orientation, gender identity, disability, medical condition, pregnancy, protected veteran status, age, citizenship, or any other characteristic protected by applicable laws.
We invite you to review the Equal Employment Opportunity posters which include EEO is the Law and Pay Transparency Nondiscrimination Provision .
Reasonable Accommodation
Our goal is to create an accessible and inclusive experience for all candidates applying and interviewing at the Laboratory. If you need a reasonable accommodation during the application or the recruiting process, please use our online form to submit a request.

CaliforniaPrivacy Notice
The California Consumer Privacy Act (CCPA) grants privacy rights to all California residents. The law also entitlesjob applicants, employees, and non-employee workers to be notified of what personal information LLNL collects and for what purpose. The Employee Privacy Notice can be accessed here .