Summer Sale

Up to 30% off — ends 2 Aug

ONLY00h00m00s

Publisher
source

National Institute of Standards and Technology

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 available
Country flag

Country

United States

University

National Institute of Standards and Technology

Social connections

How do I apply for this?

Sign in for free to reveal details, requirements, and source links.

Apply for this position

Keywords

Computer Science
Electrical Engineering
Information Technology
Mathematics
Cybersecurity
Formal Methods
Hardware Security

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

Start chatting
Can you summarize this position?
What qualifications are required for this position?
How should I prepare my application?