[TYPES/announce] Tenure-track PL faculty position at Tufts University
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] I'm pleased to announce that Tufts University's CS Department is seeking faculty candidates in Programming Languages. Review of applications will begin Dec 15, 2023. I've pasted the full position description below, which you can also find at the application site: https://urldefense.com/v3/__https://apply.interfolio.com/129454__;!!IBzWLUs!TD9z3z_h4lJAlwcWdajJ7CoEWADC-QO85AMvMpNLy5VOg-KzcFaZC8ec22mp_Py-oUs9bsRTd4wC-Mb1mwC4OwMxOwa_zm5ybX3r8XOB2w$ We also have a leadership-oriented position open for mid-career faculty (see job description below). I really enjoy being at Tufts, and I strongly encourage you to apply if you are interested in joining us! Please feel free to reach out to me with any questions or to discuss the search further. Thanks, Jeff Foster https://urldefense.com/v3/__https://www.cs.tufts.edu/*jfoster/__;fg!!IBzWLUs!TD9z3z_h4lJAlwcWdajJ7CoEWADC-QO85AMvMpNLy5VOg-KzcFaZC8ec22mp_Py-oUs9bsRTd4wC-Mb1mwC4OwMxOwa_zm5ybX3QOVZpMA$ The Department of Computer Science at Tufts University invites applications for multiple tenure-track faculty positions to begin September 2024, as follows. Programming Languages (PL): The department seeks candidates who conduct research in programming languages, including software engineering researchers whose work is adjacent to programming languages. Candidates who can connect to and build on the department’s and/or university’s strengths in related areas are strongly encouraged to apply. While candidates at the Assistant or Associate Professor level are preferred, candidates at all levels will also be considered. Artificial Intelligence (AI): The department seeks candidates who conduct research in artificial intelligence, especially those with interests in neuro-symbolic AI, language processing with large language models (LLM), formal methods for safe learning, cognitive systems, and multi-agent planning and reasoning. Candidates in areas of artificial intelligence that connect to and build on the department’s and/or university’s strengths are particularly encouraged to apply. While candidates at the Associate Professor level are preferred, candidates at all levels will also be considered. Any Area, with Leadership Potential: The department seeks candidates for the Ada Lovelace Professorship of Computer Science. Candidates for this professorship must demonstrate strong leadership potential and may be in any area of computing. This is a regular, permanent position, for which the Lovelace Professorship will apply for the first five years, after which the candidate will automatically continue as a regular faculty member. Mid-career, new or established Associate Professors, or recently promoted Full Professors are preferred. Exceptional candidates not matching the above position descriptions will also be considered. We welcome candidates with a variety of life experiences and perspectives that will add value to our department. Women, Black/African Descent, Indigenous/Native American, Hispanic/Latinx, People of Color, LGBTQ , individuals with disabilities, and others with intersecting marginalized identities are strongly encouraged to apply. The department especially values candidates who have an interest in civic engagement, social impact, and the betterment of society. Tufts Computer Science has grown significantly in the past decade in terms of faculty count, number of students, and research funding. The department recently moved into the brand-new Joyce Cummings Center, which is also the home of Math, Economics, the Data Intensive Studies Center, and the Derby Entrepreneurship Center. The department benefits from outstanding undergraduate and graduate students, collaborative faculty, and cross-disciplinary research opportunities. Tufts University, a member of the AAU, is one of the smallest universities ranked as an R1 university, so it offers the best of a liberal arts college atmosphere coupled with the intellectual and technological resources of a major research university. Tufts University supports and encourages a culture of interdisciplinary research, and there are numerous such opportunities across the School of Engineering, the School of Arts and Sciences, the Fletcher School of Law and Diplomacy, the School of Medicine, and our other graduate and professional schools. Located only six miles from historic downtown Boston, faculty members on the Tufts Medford/Somerville campus have extensive opportunities for academic and industrial collaboration as well as participation in the rich intellectual life of the area. The new Medford/Tufts MBTA stop on the Green Line opened recently and is located immediately adjacent to the Joyce Cummings Center. The Tufts School of Engineering is in the midst of a period of exciting growth that has seen the recruitment of outstanding new faculty, a quadrupling of funded research over the last ten years
[TYPES/announce] Postdoc position at Tufts in Program Synthesis
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] The Tufts University Department of Computer Science invites applications for a postdoctoral research position. The candidate will work with Prof. Jeff Foster on a DARPA-funded project on program synthesis using symbolic solving and evolutionary algorithms. Applicants should have expertise in at least one of those areas, though those with closely related expertise will also be considered. Strong applicants will also have demonstrated strong programming and organizational skills. The postdoctoral researcher will join the Tufts University Programming Languages group (TuPL), a collaborative, highly collegial group of PL researchers. More information about Prof. Foster (https://www.cs.tufts.edu/~jfoster/) and TuPL (https://tupl.cs.tufts.edu) can be found on the web. For more information about the position, please contact Prof. Foster (jfos...@cs.tufts.edu). Interested candidates should send their CV, including the names of two references, to Prof. Foster at jfos...@cs.tufts.edu. Applications will be considered immediately, and application review will continue until the position is filled. The starting date is negotiable, and the position will last from 1-4 years, depending on funding availability and preferences of the applicant. Equal Employment Opportunity Statement Tufts University, founded in 1852, prioritizes quality teaching, highly competitive basic and applied research, and a commitment to active citizenship locally, regionally, and globally. Tufts University also prides itself on creating a diverse, equitable, and inclusive community. Current and prospective employees of the university are expected to have and continuously develop skill in, and disposition for, positively engaging with a diverse population of faculty, staff, and students. Tufts University is an Equal Opportunity/Affirmative Action Employer. We are committed to increasing the diversity of our faculty and staff and fostering their success when hired. Members of underrepresented groups are welcome and strongly encouraged to apply. See the University’s Non-Discrimination statement and policy here https://oeo.tufts.edu/policies-procedures/non-discrimination/. If you are an applicant with a disability who is unable to use our online tools to search and apply for jobs, please contact us by calling Johny Laine in the Office of Equal Opportunity (OEO) at 617-627-3298 or at johny.la...@tufts.edu. Applicants can learn more about requesting reasonable accommodations at http://oeo.tufts.edu.
[TYPES/announce] Postdoc in PL/SE and security at the University of Maryland, College Park
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] The programming languages group in the Department of Computer Science and UMIACS at the University of Maryland, College Park is offering a post doctoral position. We are looking for a researcher interested in applying programming languages techniques (of all kinds, from systems to theory) to reasoning about security, privacy, and malware on mobile systems, particularly Android. We are interested in behavior of the systems themselves as well as their interactions with the cloud. Prior background with Android is helpful, but not required. Applicants to this position must have received their PhD, or completed the requirements for their PhD, when the appointment begins. • Applications will be accepted until the position is filled. • Start date: position available immediately; ideally we would like to fill the position by the end of the summer. • Duration: 1-3 years, depending on funding availability. Interested candidates should send their CV to jfos...@cs.umd.edu and m...@cs.umd.edu and arrange to have two letters of recommendation emailed to the same addresses. Questions about the position may be sent to the same addresses. For more information about the Maryland PL group, please visit http://www.cs.umd.edu/projects/PL/. The University of Maryland, College Park actively subscribes to a policy of equal employment opportunity, and will not discriminate against any employee or applicant because of race, age, sex, color, sexual orientation, physical or mental disability, religion, ancestry or national origin, marital status, genetic information, or political affiliation. Minorities and women are encouraged to apply. Jeff
[TYPES/announce] Postdoc in programming languages and security at the University of Maryland, College Park
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] The programming languages group in the Department of Computer Science at the University of Maryland, College Park is offering a post doctoral position in programming languages, with an emphasis on security and privacy on mobile devices. Prior background in security/mobile systems is helpful but not required. Applicants to this position must have received their PhD, or completed the requirements for their PhD, when the appointment begins. * Application deadline: February 15, 2012 for full consideration. The position will remain open until filled. * Start date: July 1, 2012 (negotiable) * Duration: 1-2 years, depending on funding availability Interested candidates should send their CV to m...@cs.umd.edu and jfos...@cs.umd.edu and arrange to have two letters of recommendation emailed to the same addresses. Questions about the position may be sent to the same addresses. For more information about the Maryland PL group, please visit http://www.cs.umd.edu/projects/PL/ The University of Maryland, College Park actively subscribes to a policy of equal employment opportunity, and will not discriminate against any employee or applicant because of race, age, sex, color, sexual orientation, physical or mental disability, religion, ancestry or national origin, marital status, genetic information, or political affiliation. Minorities and women are encouraged to apply. Jeff
[TYPES/announce] Postdoctoral position in program analysis and security at the University of Maryland, College Park
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] The programming languages group in the Department of Computer Science at the University of Maryland, College Park is offering a post doctoral position in language-based security, with an emphasis on static and dynamic analysis. Description --- The aim of the project is to apply programming language-based techniques to improve the security of modern software. Our focus is on software running on embedded devices, including Android mobile phones and distributed sensor networks. While many aspects of security are in play, our core interest is developing novel and expressive protections of resource and data privacy, in particular by employing mechanisms to authorize, minimize, and audit (reason about) the flow of information between an application and its environment. The work will include both theoretical development and implementation of practical tools. Requirements Applicants to this position must have received their PhD, or completed the requirements for their PhD, when the appointment begins. A strong background in at least two of the following research areas is desired (the more, the better!): - Program analysis (with some background in abstract interpretation preferred), including those based on type systems - Formal methods - Software security - Program transformation We also expect that applicants to be good programmers, preferably in either Java or Objective Caml, and with some experience building non-trival software. Some knowledge of Android development or sensor network programming would also be desirable, but is not required. * Application deadline: November 15, 2011 for full consideration. The position will remain open until filled. * Start date: January 31, 2012 (at the earliest; negotiable) * Duration: 1-2 years, depending on funding availability Interested candidates should send their CV to m...@cs.umd.edu and jfos...@cs.umd.edu and arrange to have two letters of recommendation emailed to the same addresses. Additional information -- Questions about this position should be directed to Jeff Foster (jfos...@cs.umd.edu) and Michael Hicks (m...@cs.umd.edu). For more information about the Maryland PL group, please visit http://www.cs.umd.edu/projects/PL/ The University of Maryland is an equal opportunity, affirmative action employer. Women and minorities are strongly encouraged to apply.
[TYPES/announce] PASTE 2011 Call for Participation, Lightning Talks, and Posters
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] [PASTE welcomes submissions for lightning talks and posters on topics related to types.] 10th ACM SIGPLAN/SIGSOFT Workshop on Program Analysis for Software Tools and Engineering (PASTE) Call for Participation in PASTE 2011 featuring technical papers, keynote, lightning talks, and posters Szeged, Hungary September 5-6, 2011 co-located with ESEC/FSE'11 https://sites.google.com/site/paste2011/ PASTE 2011 is the tenth workshop in a series that brings together the program analysis, software tools, and software engineering communities to focus on applications of program analysis techniques in software tools. This year, PASTE will include both a lightning talks session and a poster session; see the call at the bottom of this message for more details. --- KEYNOTE: SUMIT GULWANI, Microsoft Research Program Synthesis for Automating End-user Programming and Education Recent research in program synthesis has made it possible to effectively synthesize small programs in a variety of domains. In this talk, I will describe two useful applications of this technology that have the potential to influence daily lives of billions of people. One application involves automating end-user programming using examples, which can allow non-programmers to effectively use computational devices such as computers, cell-phones (and in the future robots) to perform a variety of repetitive tasks. Another application involves building automated tutoring systems that can help students with problem solving in math and science domains. BIO: Sumit Gulwani is a senior researcher in the RiSE group at Microsoft Research, Redmond. His primary research interest is in the area of program synthesis with applications to automating end user programming and building intelligent tutoring systems. Sumit obtained his PhD in computer science from UC-Berkeley in 2005, and was awarded the C.V. Ramamoorthy Award and the ACM SIGPLAN Outstanding Doctoral Dissertation Award. He obtained his BTech in computer science and engineering from the Indian Institute of Technology (IIT) Kanpur in 2000 and was awarded the President's Gold Medal. --- ACCEPTED PAPERS Labeling Library Functions in Stripped Binaries E. Jacobson, N. Rosenblum, B. Miller An Evaluation of Change-Based Coverage Criteria M. Fisher II, J. Wloka, F. Tip, B. Ryder, A. Luchansky Anywhere, Any-Time Binary Instrumentation A. Bernat, B. Miller Towards Systematic, Comprehensive Trace Generation for Behavioral Pattern Detection through Symbolic Execution M. von Detten Locating Failure-Inducing Environment Changes D. Qi, M. Ngo, T. Sun, A. Roychoudhury Assessing Modularity via Usage Changes Y. Mileva, A. Zeller --- CALL FOR LIGHTNING TALKS AND POSTERS This year, PASTE will include both a lightning talks session and a poster session. Lightning talks and posters can describe early research ideas or results, research perspectives or positions, and other topics of interest to the PASTE community. Tool demonstrations are also welcome. Students are strongly encouraged to participate in the poster session, which will be held during lunch. Lightning talks will be allocated 10 minute slots, which will consist of 5 minutes for presentation and 5 minutes for discussion. Submissions Researchers who would like to present a lightning talk should send the following information to past...@cs.umd.edu by Friday, June 24, 2011: * Presenter name, affiliation, and email address * Proposed title * A short paragraph describing the talk * Please include PASTE lightning talk submission in the email title Researchers who would like to present a poster should send the following information to past...@cs.umd.edu by Friday, June 24, 2011: * Title, author names, and affiliations * Name and email address of the presenter * A PDF abstract of the research to be described in the poster. The abstract should be at most 1 page in the normal PASTE submission format. * Please include PASTE poster submission in the email title Lightning talks and posters will be accepted based on relevance to the workshop. Selected presenters will be notified via email by July 1, 2011. Presenters may, at their option, have their abstract included in the official PASTE proceedings.