[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
Postdoctoral position in SE/PL for AI
(Focus on modular deep learning, robust/dependable AI)
Iowa State University's Department of Computer Science is seeking applications
for a postdoctoral position in the Laboratory for Software Design
(https://urldefense.com/v3/__https://design.cs.iastate.edu__;!!IBzWLUs!Vh535WVrdds45NJ40T-N-iFY63U2H66s_7tHBMKoNPlNYFydl_0lOXzs4bxdO-Z9Lu2zmuIXiCPBQhKeawxHUUr5aBfB6w4Qwg$
). This two-year position, which may begin as early as July 2023, involves
conducting research in the areas of Programming Languages (PL) and Software
Engineering (SE), with a specific emphasis on SE/PL techniques for AI/ML
systems. Our recent research has focused on decomposing deep learning models
into modules for reuse and replacement [1-3] and on more modular techniques for
verifying/reasoning about properties of deep learning models [4-5].
The successful candidate will contribute to the ongoing modular deep learning
and Dependable Data Driven Discovery (D4) projects, aimed at improving the
trustworthiness and quality of AI-enabled systems. The role includes creating
and maintaining a robust research program, developing collaborative research,
publishing in top-tier venues, mentoring graduate students, and contributing to
ISU's professional and institutional service. Candidates with a background in
SE/PL for AI/ML systems will be given preference.
The role also offers the chance to contribute to both undergraduate and
graduate education. To apply
https://urldefense.com/v3/__https://isu.wd1.myworkdayjobs.com/IowaStateJobs/job/Ames-IA/Postdoc-Research-Associate---Computer-Science_R12072__;!!IBzWLUs!Vh535WVrdds45NJ40T-N-iFY63U2H66s_7tHBMKoNPlNYFydl_0lOXzs4bxdO-Z9Lu2zmuIXiCPBQhKeawxHUUr5aBc8cqmGyA$
. The guaranteed consideration date is July 16, 2023.
Could you please assist by sharing this information with potential candidates
you deem suitable for the position? Thanks for your help.
Best wishes,
Hridesh
Dr. Hridesh Rajan
Kingland Professor and Department Chair
Department of Computer Science
Iowa State University of Science and Technology
https://urldefense.com/v3/__https://www.cs.iastate.edu/hridesh__;!!IBzWLUs!Vh535WVrdds45NJ40T-N-iFY63U2H66s_7tHBMKoNPlNYFydl_0lOXzs4bxdO-Z9Lu2zmuIXiCPBQhKeawxHUUr5aBf9JY5hvw$
[1] Rangeet Pan, and Hridesh Rajan, "On Decomposing a Deep Neural Network into
Modules," ESEC/FSE’2020: The 28th ACM Joint European Software Engineering
Conference and Symposium on the Foundations of Software Engineering (Nov.
2020).
https://urldefense.com/v3/__https://design.cs.iastate.edu/papers/ESEC-FSE-20b/__;!!IBzWLUs!Vh535WVrdds45NJ40T-N-iFY63U2H66s_7tHBMKoNPlNYFydl_0lOXzs4bxdO-Z9Lu2zmuIXiCPBQhKeawxHUUr5aBfbufF5EA$
[2] Rangeet Pan and Hridesh Rajan, "Decomposing Convolutional Neural Networks
into Reusable and Replaceable Modules," ICSE’22: The 44th International
Conference on Software Engineering (May 2022).
https://urldefense.com/v3/__https://design.cs.iastate.edu/papers/ICSE-22b/__;!!IBzWLUs!Vh535WVrdds45NJ40T-N-iFY63U2H66s_7tHBMKoNPlNYFydl_0lOXzs4bxdO-Z9Lu2zmuIXiCPBQhKeawxHUUr5aBerO0vUBA$
[3] Sayem Mohammad Imtiaz, Fraol Batole, Astha Singh, Rangeet Pan, Breno Dantas
Cruz, and Hridesh Rajan, "Decomposing a Recurrent Neural Network into Modules
for Enabling Reusability and Replacement," ICSE’23: The 45th International
Conference on Software Engineering, May, 2023.
https://urldefense.com/v3/__https://design.cs.iastate.edu/papers/ICSE-23b/__;!!IBzWLUs!Vh535WVrdds45NJ40T-N-iFY63U2H66s_7tHBMKoNPlNYFydl_0lOXzs4bxdO-Z9Lu2zmuIXiCPBQhKeawxHUUr5aBf3QL6GAg$
[4] Sumon Biswas and Hridesh Rajan, "Fairify: Fairness Verification of Neural
Networks," ICSE’23: The 45th International Conference on Software Engineering,
May, 2023.
https://urldefense.com/v3/__https://design.cs.iastate.edu/papers/ICSE-23a/__;!!IBzWLUs!Vh535WVrdds45NJ40T-N-iFY63U2H66s_7tHBMKoNPlNYFydl_0lOXzs4bxdO-Z9Lu2zmuIXiCPBQhKeawxHUUr5aBcF8ZQ54g$
[5] Usman Gohar, Sumon Biswas, and Hridesh Rajan, "Towards Understanding
Fairness and its Composition in Ensemble Machine Learning," ICSE’23: The 45th
International Conference on Software Engineering, May, 2023.
https://urldefense.com/v3/__https://design.cs.iastate.edu/papers/ICSE-23c/__;!!IBzWLUs!Vh535WVrdds45NJ40T-N-iFY63U2H66s_7tHBMKoNPlNYFydl_0lOXzs4bxdO-Z9Lu2zmuIXiCPBQhKeawxHUUr5aBdnoe5Tvg$
[6] Sumon Biswas and Hridesh Rajan, "Fair Preprocessing: Towards Understanding
Compositional Fairness of Data Transformers in Machine Learning Pipeline,"
ESEC/FSE’2021: The 29th ACM Joint European Software Engineering Conference and
Symposium on the Foundations of Software Engineering, August, 2021.
https://urldefense.com/v3/__https://design.cs.iastate.edu/papers/ESEC-FSE-21/__;!!IBzWLUs!Vh535WVrdds45NJ40T-N-iFY63U2H66s_7tHBMKoNPlNYFydl_0lOXzs4bxdO-Z9Lu2zmuIXiCPBQhKeawxHUUr5aBcMUFcCtA$
