Job Title

Postdoctoral Researcher

Agency

Texas A&M Engineering

Department

Electrical Engineering

Proposed Minimum Salary

Commensurate

Job Location

College Station, Texas

Job Type

Staff

Job Description

The Adaptive and Secure Computing Systems (ASCS) Laboratory in the Electrical and Computer Engineering Department has a funded project to define a new design methodology for secure architecture and computing. Specifically, the laboratory recently introduced the concept of “micro-contract" to secure computing. "Security micro-contract" or simply "micro-contract" paradigm is a secure computer systems design approach through minimal formal contracts (i.e., micro-contracts) between adjacent layers or modules of the architecture. As part of this research effort, the laboratory currently has an opening for postdoctoral or research scientist with a strong formal methods background. To see the laboratory’s research activities, please visit the website at: https://ascslab.org/research.html.

Responsibilities:

• Undertake original high-quality research within the research group in the area of computer systems research with emphasis on security, in line with objectives agreed upon appointment and reviewed periodically

• Produce publications, conference papers and other research outputs, according to agreed objectives, and present research findings at appropriate conferences and meetings

• Actively participate in internal and external seminars, conferences and workshops aimed at sharing research outcomes, building interdisciplinary collaboration within and outside group, and mutual education

• Deliver short courses on personal and group research and/or provide consultancy on their usage to other researchers

• Assist with the mentoring of research students in the laboratory

Required Education:

• Doctorate Degree

Required Experience:

• No required experience.

Preferred Education:

• PhD in computer science, computer engineering, applied mathematics, or similar discipline.
• Strong academic background in either formal methods, programming languages, systems software, and architecture.

Preferred Experience:

• Extensive knowledge of formal method techniques, type systems, and functional programming languages.
• Symbolic logic and theorem proving.
• Practical formal verification experience including abstraction and end-to-end checking using formal engines or simulators.
• Develop checking algorithms, assertions, program analysis, constraint-solving, and FV models
• Strong communications skills.
• Ability to work cooperatively with others.

Knowledge, Skills and Abilities:

• Application of mathematic, statistics, and linguistics to semantic-preserving program compilation and execution
• Experience in software design and development
• Experience with SMT/SAT solvers
• Experience in software reverse engineering and malware analysis
• Familiarity with secure-system design principles
• Practical understanding of micro-architecture design.

All positions are security-sensitive. Applicants are subject to a criminal history investigation, and employment is contingent upon the institution’s verification of credentials and/or other information required by the institution’s procedures, including the completion of the criminal history check.

Equal Opportunity/Affirmative Action/Veterans/Disability Employer committed to diversity.

Job Title

Postdoctoral Researcher

Agency

Texas A&M Engineering

Department

Electrical Engineering

Proposed Minimum Salary

Commensurate

Job Location

College Station, Texas

Job Type

Staff

Job Description

The Adaptive and Secure Computing Systems (ASCS) Laboratory in the Electrical and Computer Engineering Department has a funded project to define a new design methodology for secure architecture and computing. Specifically, the laboratory recently introduced the concept of “micro-contract" to secure computing. "Security micro-contract" or simply "micro-contract" paradigm is a secure computer systems design approach through minimal formal contracts (i.e., micro-contracts) between adjacent layers or modules of the architecture. As part of this research effort, the laboratory currently has an opening for postdoctoral or research scientist with a strong formal methods background. To see the laboratory’s research activities, please visit the website at: https://ascslab.org/research.html.

Responsibilities:

• Undertake original high-quality research within the research group in the area of computer systems research with emphasis on security, in line with objectives agreed upon appointment and reviewed periodically

• Produce publications, conference papers and other research outputs, according to agreed objectives, and present research findings at appropriate conferences and meetings

• Actively participate in internal and external seminars, conferences and workshops aimed at sharing research outcomes, building interdisciplinary collaboration within and outside group, and mutual education

• Deliver short courses on personal and group research and/or provide consultancy on their usage to other researchers

• Assist with the mentoring of research students in the laboratory

Required Education:

• Doctorate Degree

Required Experience:

• No required experience.

Preferred Education:

• PhD in computer science, computer engineering, applied mathematics, or similar discipline.
• Strong academic background in either formal methods, programming languages, systems software, and architecture.

Preferred Experience:

• Extensive knowledge of formal method techniques, type systems, and functional programming languages.
• Symbolic logic and theorem proving.
• Practical formal verification experience including abstraction and end-to-end checking using formal engines or simulators.
• Develop checking algorithms, assertions, program analysis, constraint-solving, and FV models
• Strong communications skills.
• Ability to work cooperatively with others.

Knowledge, Skills and Abilities:

• Application of mathematic, statistics, and linguistics to semantic-preserving program compilation and execution
• Experience in software design and development
• Experience with SMT/SAT solvers
• Experience in software reverse engineering and malware analysis
• Familiarity with secure-system design principles
• Practical understanding of micro-architecture design.

All positions are security-sensitive. Applicants are subject to a criminal history investigation, and employment is contingent upon the institution’s verification of credentials and/or other information required by the institution’s procedures, including the completion of the criminal history check.

Equal Opportunity/Affirmative Action/Veterans/Disability Employer committed to diversity.