<div dir="ltr"><div class="gmail_quote">Hi all,</div><div class="gmail_quote"><br></div><div class="gmail_quote">I have seen postdoc positions related to LLVM being advertised here, so I thought I should do the same with ours :). Please see below for more info.</div><div class="gmail_quote">Oh, I should add that I am looking for PhD students to work on these projects too!</div><div class="gmail_quote"><br></div><div class="gmail_quote">Thanks,</div><div class="gmail_quote">-- Zvonimir</div><div class="gmail_quote"><br><br><div dir="ltr">Applications are invited for a postdoctoral position in the Software Analysis Research Lab (SOARlab, <a href="http://soarlab.org/" target="_blank">http://soarlab.org/</a>), School of Computing, University of Utah.<div><br></div><div>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.</div><div><br></div><div>Candidates should ideally have expertise in symbolic software analysis (e.g., SMT solving, symbolic execution), static analysis, compilers (LLVM), and operating systems (Linux). <span style="font-size:13px;line-height:19.5px">You should also have </span><span style="font-size:13px;line-height:19.5px">experience in building and working with large software systems and </span><span style="font-size:13px;line-height:19.5px">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.</span><br></div><div><br></div><div>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.</div><div><br></div><div><span style="font-size:13px;line-height:19.5px">The position is available now and will be open until filled. </span><span style="font-size:13px;line-height:19.5px">Candidates should have a doctoral degree in computer science.</span><br></div><div><span style="font-size:13px;line-height:19.5px"><br></span></div><div><span style="font-size:13px;line-height:19.5px">If you are interested in this position, please email </span><span style="font-size:13px;line-height:19.5px">your CV, brief research statement, and a list of 2-3 referees (with their emails) to Prof. Zvonimir Rakamaric (</span><a href="mailto:zvonimir@cs.utah.edu" style="font-size:13px;line-height:19.5px" target="_blank">zvonimir@cs.utah.edu</a>)<span style="font-size:13px;line-height:19.5px">.</span></div><div><br></div></div></div></div>