PhD/Postdoc position at UIUC on Formal methods, control, autonomy
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
Apply now, email your cv to firstname.lastname@example.org<mailto:email@example.com> with a word on why you’d fit.