Research_Assistant Jobs
 
 
 
Log-in
Username
Password
Forgot Your Password?
 
 
 
Job Seekers
Register
Post Resume
Find Jobs
Get jobs by email
 
 
Employers
Register
Post Jobs
Find Resumes
Get resumes by email
 
 
 
 
 
 
 
 
 
 
Postdoctoral Researcher
Texas A&m Engineering in College Station, Texas
 
 
Apply
 
Date Posted 01/18/2021
Category
Admin-Other Administrative Positions
Employment Type FullTime
Application Deadline Open until filled
 
 
 
 
 

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.


Apply
*Please mention DiversePhds.com to employers when applying for this job*
 
 
 
DiversePhds.com
Academic Advertising
260 Peachtree Street, N.W.
Suite 2200
Atlanta, GA 30303
 
Twitter
LinkedIn
Facebook
Google Plus
 
About DiversePhds.com
Advertise Jobs
Contact Us
 
Site Map
Privacy Policy
Terms of Use
Resources / Links
Copyright © 2010 DiversePhds.com - All Rights Reserved.