UNC Department of Public Safety Research Software Developer in Chapel Hill, North Carolina
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.
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
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 firstname.lastname@example.org 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