We have openings for PhD and Post-doc researchers in Prof. Sayan Mitra <http://mitras.ece.illinois.edu/pubs.html>’s lab at University of Illinois at Urbana-Champaign (UIUC). The projects are related to safe autonomy and security & privacy in controlled networks. Key requirement: ability to prove theorems, to program systems that prove theorems, and so on. Broadly, this lab runs a number of projects in verification<https://publish.illinois.edu/c2e2-tool/>, privacy<http://mitras.ece.illinois.edu/research/2018/TightRope2018.pdf>, and programming languages for robotics<https://cyphyhouse.github.io/>, houses a fun and vibrant community <https://twitter.com/Mitrasayn/status/939270743820562434> of grad students, undergrads, and maintains strong collaborations with several very famous Professors across Electrical & Computer Engineering, Computer Science, and indeed, the whole world. More about UIUC and CSL: This is the sprawling UIUC campus<https://youtu.be/XlOc9pz9qEE>. We are located in the Coordinated Science Lab<https://csl.illinois.edu/research> between the Computer Science<https://youtu.be/-9xx0C0LoCk>and the new ECE building <https://www.youtube.com/watch?v=37uLYMguUNU&feature=youtu.be>. Our building is a cross-disciplinary home for research groups in Networking, Architecture, Security, Control, Signal Processing, Machine learning, and Robotics. It is a dynamic and entrepreneurial environment. You will find it easy to strike-up conversations and collaborative projects with professors and students working across many disciplines. For example, the CSL grad students organize this<http://studentconference.csl.illinois.edu/> event every year. The new Intelligent Robotics Lab<https://robotics.illinois.edu/projects/> is now up and running which will be a state-of-the-art-space for experimental work. The new Siebel Center for Design<https://youtu.be/K4pTi2rr-bg> is launching as we speak. The UIUC research park<http://researchpark.illinois.edu/> is now ranked 10th amongst Venture-backed Entrepreneurs. The ECE Professors are truly invested in the success of our PhD students and Postdocs; there are several year-round mentoring events for academic and research growth (see for example this<https://synrg.csl.illinois.edu/friday/>). See recent news highlights here<http://comperesearch.web.engr.illinois.edu/index_test.php>. Apply now, email your cv to mitras@illinois.edu<mailto:mitras@illinois.edu> with a word on why you’d fit.