High-Assurance Cryptography for Secure Distributed Applications
The programming languages and security groups at Purdue University are seeking applications for multiple post-doc positions in the intersection of programming languages, formal methods, performance optimization, compilers, applied cryptography, and secure distributed systems. The overall goal of the project is to develop a broad spectrum of techniques to support secure distributed applications that use advanced cryptographic techniques, and in particular, to develop a comprehensive set of design tools, programming languages, and verification tools to enable advances in the security and performance of such systems.
More details can be found here.
Formal Methods for Robust Machine Learning
The programming languages and machine learning groups at Purdue University are seeking applications for multiple post-doc positions in the intersection of programming languages, formal methods and machine learning. While there has been a great deal of success recently in the development of machine learning methods and systems for real world applications, much of the success has been in relatively restricted domains where there is (i) a clearly defined task, with (ii) clearly defined measures of success, (iii) large amounts of labeled training examples, (iv) limited structural variation, and (v) few system constraints. This project is looking for a postdoc to work on building more robust and efficient ML systems by using systems engineering principles and practices to improve the deployment of ML systems, and developing foundational methodology, analysis tools, and algorithms in machine learning to enable deployment in more realistic applications.
GoBoiler Internship Program
For the summer of 2019 the GoBoiler internship program targets European undergraduate students with specialization in Computing. Students who are interested in research and curious about graduate studies at Purdue in Computer Science will benefit most from this opportunity. Interns will be working closely with a Purdue research team on cutting-edge projects. They will be involved in the day to day life of a research lab and get to take part in all aspects of CS research. They will also enjoy opportunities to socialize with graduate students and explore Indiana in the summer.
More information can be found here.
Postdoctoral positions with individual faculty
Roopsha Samanta is seeking a postdoc to work on topics such as program synthesis, relational reasoning and reliable AI. Applications and questions can be sent to email@example.com.
More information can be found here: https://www.cs.purdue.edu/homes/roopsha/index.html