[TYPES/announce] Postdoc Opening at HRL Labs

[George Kuan]

We are currently seeking applicants for a post-doc position in the
Cybersecurity group at HRL Laboratories (http://www.hrl.com) 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.