PostDoc on Language-based Security, Formal Methods, and Verification (HRL, Malibu, CA, United-States)

We are currently seeking applicants for a post-doc position in the Cybersecurity group at HRL Laboratories in Malibu, California, to work on research in language-based security, formal methods, and verification.

For more information, please contact George Kuan (gkuan at [hrl dot com]). Apply via the website www.hrl.com (click on Careers, Current Openings, and 1221.04).

Note: U.S. citizenship or permanent resident status required.

About the Position

Education Desired: Ph.D. in Computer Science, Applied Math, EE or related fields

Essential Job Functions: Primary job function is to apply modern computer science and mathematical theory, analysis, and modeling techniques to problems and applications in secure computation, applied cryptography, software verification, information security, computer security and network security. Tasks will include the development, simulation, evaluation and implementation of modeling techniques, models and algorithms. Additional job functions include solving customer problems, writing invention disclosures, publishing papers, briefing customers, and assisting in marketing HRL expertise.

Experience Desired: Research experience in one or more of the following areas: secure computation, homomorphic encryption, multiparty computation, applied cryptography, software verification, software reliability, programming language based security, formal methods, information security, software security, network security, computer security, secure operating systems, intrusion detection, and security threat assessment. Experience developing innovative solutions based upon the application of relevant research results from a wide variety of sources.

Knowledge Desired: Background in one or more of the following areas: secure computation, homomorphic encryption, multiparty computation, applied cryptography, software verification, software reliability, formal methods, programming language based security, reliable software design software, network, operating system, or computer security, intrusion detection, and security threat assessment.

Essential Physical/ Mental Requirements: Good communication (verbal and written) skills, active participation in R & D team activities is required. Able and willing to occasionally travel.

SPECIAL REQUIREMENTS: U.S. citizenship or permanent resident status required.

We are proud to be an EEO/AA employer M/F/D/V. We maintain a drug-free workplace and perform pre-employment substance abuse testing.

About HRL Laboratories

For more than 60 years, HRL’s scientists and engineers have been on the leading edge of technology, conducting pioneering research, providing real-world technology solutions, and advancing the state of the art. We continue to be recognized as one of the world’s premier physical science and engineering research laboratories.

Our research collaborations with our LLC Member companies (Boeing and General Motors), government, commercial and academic institutions are realizing groundbreaking advances in ultra-high-performance circuitry, robust computing and communications, automated data extraction, and innovative architected materials. Our technologies operate in space, on aircraft, in automobiles, and in a variety of consumer products. These technologies make us safer, support our national security and improve our quality of life.

Our success is the result of our collaborative team of researchers, many of whom are the leading experts in their fields. Through their insights in support for our customers, we are finding the unique opportunities in technology. As we look to the future, the technologies we are enabling today will be integral to a prosperous, secure, sustainable world.

This entry was posted in PostDoc. Bookmark the permalink.

Comments are closed.