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.
Professor 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 http://www.cs.unc.edu/~reiter/papers/2017/NSDI.pdf ). As such, the person in the position will work closely with Professor Michael Reiter and his graduate students conducting research on this topic.
Education and Experience:
Required Skills: - Proficiency in programming in C, C++, and x86-64 assembly (at least 2 years’ experience) - Git proficiency - Experience with compilers, operating systems, and low-level software development - Software analysis tools (e.g., program slicing) - Performance analysis and profiling - Building and conducting unit and regression tests - Scripting languages, e.g., Python or Bash
Preferred Skills: - Familiarity with symbolic execution and SMT/SAT solvers - Familiarity with LLVM
The University of North Carolina at Chapel Hill is an equal opportunity and affirmative action employer. All qualified applicants will receive consideration for employment without regard to age, color, disability, gender, gender expression, gender identity, genetic information, national origin, race, religion, sex, sexual orientation, or status as a protected veteran.
Internal Number: 160342
About The University of North Carolina at Chapel Hill
Carolina rates among the nation’s great institutions of higher education, set on an historic and beautiful campus that celebrates all four seasons. Carolina’s students, faculty and staff come here from around the world, bringing varied cultural, racial and ethnic heritages that help make UNC-Chapel Hill a thriving intellectual center. We’re repeatedly ranked the nation’s best value in higher education for students seeking to earn a college degree – the University has garnered the top spot each time since the ranking’s launch in 1998.Whether you’ve just started your career, are new to academia or are a seasoned professional with assorted campus experiences to draw on, we hope you will find a great place at Carolina.