[TYPES/announce] Postdoc position in SE/PL for AI (modular deep learning, robust AI)
[ 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$
[TYPES/announce] Faculty positions at Iowa State University
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Dear Colleagues, We are hiring for three faculty positions at Iowa State University. One of them includes programming languages as an area. If you have any questions, please do feel free to contact me or search committee chair Prof. Gianfranco Ciardo. We appreciate your referrals as we find they are so often some of our strongest candidates. We will be sure to follow-up. Best wishes, Hridesh Dr. Hridesh Rajan Professor and Department Chair Department of Computer Science Iowa State University https://urldefense.com/v3/__https://www.cs.iastate.edu/hridesh/__;!!IBzWLUs!XGBazoQ-CRk4qCw6YaSlKaAGV2IAr98GwqkmP_7aKp6XMxKBMpDindLjJrKE0ofQ1tX81IvnWjnyLTcqi4Y-kbSw5czzOTEAPQ$ * Multiple Tenure-Track Faculty Positions in Computer Science * The Department of Computer Science in the College of Liberal Arts and Sciences at Iowa State University in Ames, Iowa, seeks outstanding applicants for three tenure-track faculty positions at the rank of Assistant Professor. We are looking for candidates in all areas of Computer Science who complement and expand our current research strengths, including but not limited to, broad areas of software engineering and programming languages, systems and networks including cybersecurity, bioinformatics and computational biology, and theoretical foundations. The successful candidate will be expected to develop and sustain a strong Computer Science research program; develop collaborative and interdisciplinary research; publish in top venues; provide outstanding graduate student supervision; teach undergraduate and graduate Computer Science courses; and enhance ISU through professional and institutional service. We are interested in exceptional candidates who can expand our research profile in new areas. Iowa State University strives to be the university that cultivates a diverse, equitable and inclusive environment where students, faculty and staff flourish. To that end, we welcome candidates from diverse and underrepresented backgrounds to apply. We are dedicated to work-life balance through an array of flexible policies. We are responsive to the needs of dual-career couples. The Department of Computer Science resides in the College of Liberal Arts and Sciences offering B.S., B.A., M.S., and Ph.D. degrees in Computer Science and a brand-new M.S. degree in Artificial Intelligence. The department is proud to be one of the founding departments for the B.S. in Software Engineering, B.S. in Data Science, Data Science Minor and Certificate along with the B.S. and Ph.D. degrees in Bioinformatics and Computational Biology. We are active in interdepartmental graduate programs in Bioinformatics and Computational Biology, Human-Computer Interactions, and Information Assurance. The department participates in many interdisciplinary research collaborations, including partnerships with faculty in bio-sciences, mathematical sciences, and engineering. The Department of Computer Science has 38 faculty professionals, 150 Ph.D. students, 71 M.S. students, and 1530 B.S. students. All admitted Ph.D. students are offered a two-year teaching assistantship from the department, and almost all are supported by research or teaching assistantships after that. We have strong research and educational programs in Artificial Intelligence, Machine Learning and Data Science, Bioinformatics and Computational Biology, Human Computer Interaction, Robotics and Autonomous Systems, Software Engineering and Programming Languages, Systems and Networking, and Theoretical Foundations. Our department has over $16 million in active research grants, including the interdisciplinary activities mentioned, and we contribute to active research and training grants totaling approximately $25 million. All interested, qualified persons can find more information, including required and preferred qualifications and where to apply, at https://urldefense.com/v3/__https://www.cs.iastate.edu/open-positions__;!!IBzWLUs!XGBazoQ-CRk4qCw6YaSlKaAGV2IAr98GwqkmP_7aKp6XMxKBMpDindLjJrKE0ofQ1tX81IvnWjnyLTcqi4Y-kbSw5cx0HAsjjg$ . To ensure full consideration, applications should be received by November 21, 2022, but will be accepted until the position is filled. Iowa State University is an Equal Opportunity/Affirmative Action employer. All qualified applicants will receive consideration for employment without regard to race, color, age, religion, sex, sexual orientation, gender identity, genetic information, national origin, marital status, disability, or protected veteran status and will not be discriminated against. Inquiries can be directed to the Office of Equal Opportunity, 3410 Beardshear Hall, 515 Morrill Road, 515 294-7612, email eooff...@iastate.edu.
