Source/Binary Analysis and Verification Research Scientist

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

$132,810 - $204,636 Annually

$132,810 - $170,556 Annually at the SES.2 level

$159,330 - $204,636 Annually at the SES.3 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 multiple openings for a Source/Binary Analysis and Verification Research Scientist to work with other research staff on the design and deployment of analysis tools for both binary and source code, including applications of formal methods. This position is within the Global Security Directorate.

Trust. Wouldn't we rather trust our systems because they're demonstrably trustworthy, rather than because we have no choice? To know that a firmware or application update does what it's supposed to do, or that the tools used to develop and verify software are sound? At LLNL, we're working to build trust through the verification of binary code and the verification of formal tools themselves.

This position will be filled at either the SES.2 or SES.3 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.

In this roleyou will

• Collaborate with other research staff to design, implement, and apply techniques for verification and/or develop other tools specific to analysis and transformation of binary and source code.
• Use the ROSE Compiler framework to innovate on binary analysis techniques.
• Contribute to grant proposals and collaborate with others in a multidisciplinary team environment, including academic and industrial partners, to accomplish research goals.
• Pursue independent (but complementary) research interests and interact with a broad spectrum of scientists internal and external to the Laboratory.
• Perform other duties as assigned.

Additional job responsibilities, at the SES.3 level

• May lead multidisciplinary teams in the areas of formal methods and software assurance.
• Pursue program development opportunities by co-authoring proposals and proposing ideas that will address sponsor needs.
• Identify program growth opportunities for existing customers in ways that show an understanding of the customer space.
• Present results and provide subject matter expertise across multi-discipline projects and engage with sponsors on a regular basis.

Qualifications

• Ability to secure and maintain a U.S. DOE Q-level security clearance which requires U.S. citizenship.
• M.S. in Computer Science, Mathematics, or a related field or the equivalent combination of education and related experience.
• Comprehensive experience in developing compilers or source code analysis tools using C/C++.
• Ability to conduct research, as documented by publications, reports, presentations, or significant software development in binary analysis and formal methods.
• Proficient verbal and written communication skills and the ability to effectively collaborate in a multidisciplinary team environment, as well as present and explain technical information to technical and non-technical audiences.
• Experience writing research papers and documentation.

Additional qualifications at the SES.3 level

• Advanced experience with compiler internals.
• Ability to lead a technical team related to program verification and binary analysis.
• Advanced experience with software engineering practices related to large-scale system design, testing, deployment, and lifecycle maintenance.

Additional Information

#LI-Remote

Position Information

This is a Career Indefinite position, open to Lab employees and external candidates.

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 https://www.llnl.gov/diversity
• Our core beliefs - visit https://www.llnl.gov/diversity/our-values
• Employee engagement - visit https://www.llnl.gov/diversity/employee-engagement

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.

Wireless and Medical Devices

Per the Department of Energy (DOE), Lawrence Livermore National Laboratory must meet certain restrictions with the useand/or possession ofmobile devices in Limited Areas. Depending on your job duties, you may be required to work in a Limited Area whereyou are not permitted to have a personal and/or laboratory mobile devicein your possession. This includes, but not limited to cell phones, tablets, fitness devices, wireless headphones, and other Bluetooth/wireless enabled devices.

Ifyou useamedical device, whichpairs with a mobile device,you must still follow the rules concerningthe mobile device in individual sections within Limited Areas. Sensitive Compartmented Information Facilities requireseparate approval. Hearing aids without wireless capabilities or wireless that has been disabled are allowed in Limited Areas, Secure Space and Transit/Buffer Space within buildings.

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: https://www.llnl.gov/sites/www/files/2023-05/LLNL-Job-Fraud-Statement-Updated-4.26.23.pdf

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 .