Up to 30% off — ends 2 Aug
ONLY00h00m00s
Up to 30% off — ends 2 Aug
ONLY00h00m00s
National Institute of Standards and Technology
2 weeks ago
Postdoctoral Opportunity in Formal Methods and Cybersecurity at NIST National Institute of Standards and Technology in United States
Degree Level
Postdoc
Field of study
Computer Science
Funding
Full funding availableCountry
United States
University
National Institute of Standards and Technology

How do I apply for this?
Sign in for free to reveal details, requirements, and source links.
Apply for this position
Keywords
Suggested positions
About this position
Postdoctoral opportunity at the National Institute of Standards and Technology (NIST) in formal methods and cybersecurity.
The project is titled “Bugs Framework (BF)-Based Formal Methods Systems for Proof of HW & SW Correctness or Existence of Bugs/Faults” and is hosted in the Information Technology Laboratory, Computer Security Division at NIST in Gaithersburg, Maryland.
This research focuses on using the Bugs Framework (BF) to formalize security concepts and build logic-based methods for identifying, specifying, and verifying software and hardware weaknesses, vulnerabilities, and bugs/faults. The work includes program logics, temporal logic, hybrid logic, refinement types, Coq, Z3, and other formal verification or static analysis tools.
Research topics include:
- formalizing BF security concepts and security rules
- proving correctness of hardware/software code
- proving existence of bugs, weaknesses, and vulnerabilities
- bridging BF with CWE/CVE reasoning
- integrating BF-based specifications with proof assistants and SMT solvers
- developing formal methods for cybersecurity analysis
The opportunity is open to postdoctoral applicants and specifically notes U.S. citizenship eligibility. Funding includes a base stipend of $102,415/year plus a $3,000/year travel allowance.
No deadline was stated in the post. Interested applicants should use the NIST RAP opportunity page for full application details and submission instructions.
Funding details
Full funding including tuition fees and living expenses is available for this position. The scholarship covers all educational costs and provides a monthly stipend.
How to apply
Please submit your application including a cover letter, CV, academic transcripts, and contact information for two references. Applications should be sent via the online portal before the deadline.
More information can be found here
Ask ApplyKite AI

How do I apply for this?
Sign in for free to reveal details, requirements, and source links.