I am always looking for motivated and curious new students to join my lab. If you are interested in inventing techniques and tools to help developers write better software, feel free to drop me an email and apply to our PhD program. Please make sure to browse through our more recent published papers before emailing me, and make sure to include your thoughts on one of these papers in your email.
Postdoc Position in Software Verification and Analysis
Applications are invited for a postdoctoral position in the Software Analysis Research Lab (SOARlab), School of Computing, University of Utah.
The position is primarily tied to two projects on verification of operating systems code, and in particular protocol stacks (e.g., Android Bluetooth stack) and concurrent Linux kernel modules (e.g., novel file systems). The projects involve developing novel symbolic verification techniques for low-level concurrent OS codes. An effort is already underway by our OS collaborators to develop an approach for decomposing parts of the Linux kernel into isolated modules, which we plan to leverage by performing composition verification. The ultimate goal is to release verified versions of real world OS components. We expect to rely on and extend our mature LLVM-based software verifier to achieve this. See SOARlab webpage for more information.
Candidates should ideally have expertise in symbolic software analysis (e.g., SMT solving, symbolic execution), static analysis, compilers (LLVM), and operating systems (Linux). You should also have experience in building and working with large software systems and tools, such as LLVM and the Linux kernel. The goal of both projects is to develop practical verification techniques and apply them on real-world OS codes. Hence, being able to quickly understand code and program in C/C++ would be beneficial. Candidates are expected to work closely with OS experts who are involved in these projects. You will also have a chance to mentor and work with our graduate students.
Finally, the School of Computing is a fast-growing, vibrant department with around 40 faculty members and 200 graduate students. It is situated in beautiful, and yet very affordable, Salt Lake City, next to lively downtown, but also with mountains and various outdoor activities close by.
The position is available now and will be open until filled. Candidates should have a doctoral degree in computer science.
If you are interested in this position, please email your CV, brief research statement, and a list of 2-3 referees (with their emails) to Prof. Zvonimir Rakamaric.