Search for University Jobs in Engineering

Job ID: 165641

Post Doc Research Associate, Formal Methods for Autonomous Systems
North Carolina A & T State University


Date Posted Aug. 20, 2021
Title Post Doc Research Associate, Formal Methods for Autonomous Systems
University North Carolina A & T State University
Greensboro, NC, United States
Department Electrical & Computer Engineering
Application Deadline Open until filled
Position Start Date Available immediately
 
 
  • Post-Doc
  • Electrical and/or Electronics
    Computer Engineering
 
 

Primary Purpose of Position
The Autonomous Control and Information Technology (ACIT) Institute at NC A&T State University’s Electrical Engineering Department, invites applications for a full-time, post-doctoral research associate position in Model Checking and Formal Methods for verification and control of autonomous vehicles which provides Urban Air Mobility (UAM) applications. This is a non-tenure-track, year-to-year appointment, renewable annually for up to two
years subjected to satisfactory performance, availability of resources, and the needs of the Department. We thus look for
applicants that have a demonstrated track record in formal methods, model checking, control and computation for autonomous
vehicles. The employee will carry out research on testing, evaluation, model checking, and control of autonomous vehicles and their applications. The employee will be a member
of a research group at ACIT Institute, S2A2 ULI team, and ACCESS Laboratory, supporting projects through original
research, collaboration with other team members, development and internal evaluation of reports, facilitating the research
meetings within the team, mentoring of students, and technically and financially overseeing projects’ milestones. The employee
will also contribute to additional proposal efforts, thereby strengthening North Carolina A&T State University’s ability to attract
external funding. The employee will publish research results, in collaboration with Professor, in recognized journals. The
employee will mentor students and will participate in departmental seminars and other professional
activities as assigned. The candidate will be also working with both graduate and undergraduate students in a mentoring role,
and will be involved in conducting workshops, and seminars. The candidate will enjoy a dynamic and collaborative working
environment.

Primary Function of Organizational Unit
The Autonomous Control and Information Technology (ACIT) Institute fosters interdisciplinary research in the field of autonomous control engineering and its applications. ACIT Institute researchers study the intersection of control systems, robotics, data analytics and emerging technologies that provide cutting-edge solutions from the laboratory to industry. Most of ACIT research projects are industry-oriented and funded by government agencies and private companies. ACIT activities are increasing regional economic growth through research and development projects, adoption and effective use of new engineering technologies.

Working Title Post Doc Research Associate, Formal Methods for Autonomous Systems


 
Please reference AcademicKeys.com in your cover letter when
applying for or inquiring about this job announcement.
 
 

Contact Information

 
Please see the job description for contact details
pertaining to this university job announcement.

 

Refer this job to a friend or colleague!



New Search | Previous



RSS for the latest higher education jobs
Atom for the latest higher education jobs
Need a Sabbatical Home?
AcademicHomes.com