Postdoctoral Researcher - 12370BR

Postdoctoral Researcher

Info & Telecom Tech Center
University of Kansas - Lawrence
Employee Class: 
U-Unclassified Professional Staff

Position Overview

The Postdoctoral Researcher will join the University of Kansas Science of Security Lablet funded by the National Security Agency Science of Security program. They will assist in the development of tools and semantics for trusted computing and assist with Lablet operations.

Job Description

60% - Perform research on trusted computing systems including: specifying, verifying and synthesizing remote attestation infrastructure; developing TPM and vTPM infrastructure; developing boot and run-time measurement & attestation infrastructure; and writing and presenting technical papers.

20% - Supervising graduate and undergraduate researchers.

20% - Assist in day-to-day operations of the KU Lablet including maintenance of the online presence, production of research reports, and writing proposals.

Required Qualifications

  1. Ph.D. in Computer Science or closely related field with a security and/or formal methods emphasis.
  2. Research experience in one or more of the following areas: Formal specification, verification and synthesis; remote attestation; access control; and cryptographic protocols.
  3. Experience developing code using a strongly-typed functional programming language.
  4. Experience with one or more symbolic analysis tools or theorem proving assistants.
  5. Strong written and oral communication skills as evidenced by application materials and interview
NOTE: To be appointed at the Postdoctoral Researcher title, it is necessary to have the PhD in hand. Appointments made without a diploma or certified transcript indicating an earned doctorate are conditional hires and are appointed on an interim basis not to exceed 6-months.

Preferred Qualifications

  1. Knowledge of Coq, Isabelle, HOL4 or ACL2
  2. Knowledge of Haskell, ML, OCaml or CakeML
  3. Knowledge of remote attestation techniques and tools
  4. Knowledge of access control techniques
  5. Experience with the Trusted Platform Module (TPM)
  6. Experience developing, delivering and maintaining software tools
  7. A record of research accomplishment as reflected in publications in peer-reviewed journals and conferences and presentations at scientific meetings.
  8. Publications or other evidence of scholarly achievement
  9. Evidence of existing scientific collaborations

Additional Candidate Instructions

A complete application consists of the online application, cover letter, resume, & 3 professional references. Only complete applications will be considered.

Application review begins August 18, 2018 and will continue until a pool of qualified applicants is received.

Contact Information to Applicants

Perry Alexander

Advertised Salary Range

$47,476 - $55,000

Application Review Begins


Anticipated Start Date


Search Jobs
Posting Information
Posting ID:
Info & Telecom Tech Center
University of Kansas - Lawrence
Employee Class:
U-Unclassified Professional Staff
Application Review Begins:
One of 34 U.S. public institutions in the prestigious Association of American Universities
44 nationally ranked graduate programs.
—U.S. News & World Report
Top 50 nationwide for size of library collection.
23rd nationwide for service to veterans —"Best for Vets," Military Times
KU Today