UNC Department of Public Safety Research Software Developer in Chapel Hill, North Carolina

Position Summary

A position is available in UNC’s Computer Science department for a Research Engineer to develop a novel computer-security capability. In particular, this person will be central to the further development of this capability and its maturation toward deployment. Prof. Michael Reiter and his research group at UNC are seeking a software developer to assist with the implementation and engineering of tools produced by the group. The group is developing software and techniques to verify the behavior of a system component as being consistent with the software the component is believed to be executing. The goal of this position is to further that research by developing our tool (documented at https://www.usenix.org/conference/nsdi17/technical-sessions/presentation/chi) built on the symbolic execution engine KLEE. As such, the person in the position will work closely with Prof. Michael Reiter and his graduate students conducting research on this topic.

Education Requirements

A B.S. in computer science or software engineering with a minimum of three years of work experience is required. A M.S. in computer science or software engineering is preferred.

Qualifications and Experience

Required skills – C and C++ proficiency (at least 2 years’ experience) – Building or modifying compilers – Git proficiency

Preferred experience – LLVM – Symbolic execution (e.g., KLEE) – Software analysis tools (e.g., program slicing) – SAT (Satisfiability)/SMT (Satisfiability Modulo Theories) solvers – Performance analysis and profiling – Building and conducting unit and regression tests – Scripting languages, e.g., Python or Bash – Exposure to topics in computer security

Special Physical and Mental Requirements

Special Instructions

EEO Contact Information

If you experience any problems accessing the system or have questions about the application process, please contact the Office of Human Resources at (919) 843-2300 or send an email to employment@unc.edu Please note: The Office of Human Resources will not be able to provide specific updates regarding position or application status.

Position Type: Temporary Staff (EHRA NF)

Working Title: Research Software Developer

Department: Computer Science - 318400

Position ID: 20020138

Vacancy ID: N000407

Position Posting Category: Information Technology

Salary Range: $45,125 - $80,000

Full-time/Part-time: Full-Time Temporary

Hours Per Week: 40

Posting Close Date: 06/25/2017

Proposed Start Date: 07/03/2017

Estimated Duration of Appointment: More than 12 months

Stimulus/ARRA Funded: No