[klee-dev] Research Software Developer position at UNC Chapel Hill

Mike Reiter reiter at cs.unc.edu
Sat Mar 18 19:57:17 GMT 2017

Previous message: [klee-dev] Save data in the same way of KTestObject
Next message: [klee-dev] LLVM3.4 installation problem on Ubuntu 16.04 LTS
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

We have an opening for a Research Software Developer that might be of 
interest to some on this list.   Please see

http://unc.peopleadmin.com/postings/116160

- Mike

Previous message: [klee-dev] Save data in the same way of KTestObject
Next message: [klee-dev] LLVM3.4 installation problem on Ubuntu 16.04 LTS
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the klee-dev mailing list