[TYPES/announce] Faculty position in Programming Languages/Software Engineering at the New Jersey Institute of Technology
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] The CS Department at the New Jersey Institute of Technology invites applications for tenure-track faculty positions; one of the areas is Programming Languages/Software Engineering. Please see below for the full ad, and feel free to contact me with any questions. Thank you, Iulian Neamtiu Professor Dept. of Computer Science New Jersey Institute of Technology https://web.njit.edu/~ineamtiu/ = Tenure-track Faculty Positions in the Department of Computer Science at NJIT = The Computer Science Department at New Jersey Institute of Technology (NJIT) invites applications for tenure-track faculty positions starting in Fall 2021. Areas of special interest are: • Cybersecurity • Data Science, Machine Learning, and Artificial Intelligence • Programming Languages and Software Engineering Exceptional candidates in other areas will also be considered. While we are interested in hiring at the rank of Assistant Professor, exceptional candidates at higher ranks will also be considered. Senior candidates in the area of Data Science, Machine Learning, and Artificial Intelligence will be expected to play a leadership role as the Associate Director of the new NJIT Institute for Data Science, whose Director is Distinguished Professor David Bader. Applicants must have a Ph.D. degree by Summer 2021 in a relevant discipline, and outstanding academic credentials that demonstrate their ability to conduct independent world-class research and attract external funding. The successful candidate is also expected to show a commitment to both undergraduate and graduate education. NJIT is designated a Carnegie R1 Research University, with $161M research expenditures in FY19. The Computer Science Department is ranked 77 nationally (by CSRankings) and has 33 tenured/tenure track faculty, with seven NSF CAREER awards and one DARPA Young Investigator award. The department conducts research to solve real-world grand challenges in computer and data science such as FinTech, Health, and Cybersecurity and plays a key role in the NJIT Institute for Data Science and the NJIT Cybersecurity Research Center. The department has strong connections with local industry and works closely with many companies through student Capstone projects, internships, co-ops and joint R projects. The Computer Science Department enrolls approximately 1,800 students at all levels across nine programs of study and participates alongside NJIT’s Informatics Department in the Ying Wu College of Computing (YWCC). The College comprises 28% of the NJIT enrollment, educating more than 3,000 students in computing disciplines, and graduating close to 800 computing professionals every year. As such, it is the largest generator of computing talent in the tri-state (NY, NJ, CT) area. The Computer Science Department is housed in a state-of-the art facility renovated in 2018. The department resides within the Ying Wu College of Computing, which is undergoing significant growth as a priority area for NJIT. This growth is an integral part of NJIT’s five-year strategic plan, which calls for consolidating NJIT as a world-class institution of higher education and research. Applied research, collaboration with industry, innovation and entrepreneurship are encouraged and supported. Performance and tenure expectations are aligned with those of the broader academic computing community, with an emphasis on grant funding and publishing in top conferences and journals. NJIT is located in Newark's University Heights, a vibrant sprawling downtown campus close to Rutgers-Newark, New Jersey Innovation Institute, Essex Community College, New Jersey Medical School, University Hospital, and Rutgers School of Dental Medicine. NJIT is just a 30-minute train ride from New York City and its burgeoning Silicon Alley tech sector. NJIT has recently expanded its graduate Data Science programs to Jersey City, just across the Hudson River from the financial district of Lower Manhattan in New York City, where it serves the many working professionals in that region. To Apply Applications received by December 31, 2020 will receive full consideration. However, applications are welcome until the position is filled. 1. Go to: https://njit.csod.com/ats/careersite/JobDetails.aspx?site=1=2541 2. Create your application, and upload your cover letter, CV, Research Statement, and Teaching Statement on that site. The CV must include at least three names along with contact information for references. The applications will be evaluated as they are received and accepted until the positions are filled. Contact address for inquiries: cs-faculty-sea...@njit.edu. To build
[TYPES/announce] Faculty position in Programming Languages/Software Engineering at the New Jersey Institute of Technology
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] The CS Department at the New Jersey Institute of Technology invites applications for tenure-track faculty positions; one of the areas is Programming Languages/Software Engineering. Please see below for the full ad, and feel free to contact me with any questions. Thank you, Iulian Neamtiu Associate Professor Dept. of Computer Science New Jersey Institute of Technology https://web.njit.edu/~ineamtiu/ = Tenure-track Faculty Positions in the Department of Computer Science at NJIT = The Computer Science Department at New Jersey Institute of Technology (NJIT) invites applications for tenure-track faculty positions starting in Fall 2020. Areas of special interest are: • Data Science, Machine Learning, and Artificial Intelligence • Programming Languages and Software Engineering Exceptional candidates in other areas will also be considered. While we are interested in hiring at the rank of Assistant Professor, exceptional candidates at higher ranks will also be considered. Senior candidates in the area of Data Science, Machine Learning, and Artificial Intelligence will be expected to play a leadership role as the Associate Director of the new NJIT Institute for Data Science, whose Director is Distinguished Professor David Bader. Applicants must have a Ph.D. degree by Summer 2020 in a relevant discipline, and outstanding academic credentials that demonstrate their ability to conduct independent world-class research and attract external funding. The successful candidate is also expected to show a commitment to both undergraduate and graduate education. NJIT is ranked 97 nationally (by US News and World Report) and designated a Carnegie R1 Research University, with $162M research expenditures in FY18. The Computer Science Department is ranked 80 nationally (by CSRankings) and has 33 tenured/tenure track faculty, with five NSF CAREER awards and one DARPA Young Investigator award. The department conducts research to solve real-world grand challenges in computer and data science such as FinTech, Health, and Cybersecurity and plays a key role in the NJIT Institute for Data Science and the NJIT Cybersecurity Research Center. The department has strong connections with local industry and works closely with many companies through student Capstone projects, internships, co-ops and joint R projects. The Computer Science Department enrolls approximately 1,800 students at all levels across nine programs of study and participates alongside NJIT’s Informatics Department in the Ying Wu College of Computing (YWCC). The College comprises 26% of the NJIT enrollment, educating more than 3,000 students in computing disciplines, and graduating close to 800 computing professionals every year. As such, it is the largest generator of computing talent in the tri-state (NY, NJ, CT) area. The Computer Science Department is housed in a state-of-the art facility renovated in 2018. The department resides within the Ying Wu College of Computing, which is undergoing significant growth as a priority area for NJIT. This growth is an integral part of NJIT’s five-year strategic plan, which calls for consolidating NJIT as a world-class institution of higher education and research. Applied research, collaboration with industry, innovation and entrepreneurship are encouraged and supported. Performance and tenure expectations are aligned with those of the broader academic computing community, with an emphasis on grant funding and publishing in top conferences and journals. NJIT is located in Newark’s University Heights, a vibrant sprawling downtown campus close to Rutgers-Newark, New Jersey Innovation Institute, Essex Community College, New Jersey Medical School, University Hospital, and Rutgers School of Dental Medicine. NJIT is just a 30-minute train ride from New York City and its burgeoning Silicon Alley tech sector. NJIT has recently expanded its graduate Data Science programs to Jersey City, just across the Hudson River from the financial district of Lower Manhattan in New York City, where it serves the many working professionals in that region. To Apply Applications received by December 31, 2019 will receive full consideration. However, applications are welcome until the position is filled. • Click one of the following link: https://njit.csod.com/ux/ats/careersite/1/requisition/1738/application?c=njit#1 • Create your application, and upload your cover letter, CV, Research Statement, and Teaching Statement on that site. The CV must include at least three names along with contact information for references. The applications will be evaluated as they are received and accepted until the positions
[TYPES/announce] Faculty position in Programming Languages/Software Engineering at the New Jersey Institute of Technology
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] The CS Department at the New Jersey Institute of Technology has multiple faculty openings, and one of the areas is Programming Languages/Software Engineering. Please see below for the full ad, and feel free to contact me with any questions. Thank you, Iulian Neamtiu Associate Professor Dept. of Computer Science New Jersey Institute of Technology https://web.njit.edu/~ineamtiu/ = Tenure-track Faculty Positions in the Department of Computer Science at NJIT = The Computer Science Department at New Jersey Institute of Technology (NJIT) invites applications for multiple tenure-track faculty positions starting in Fall 2019. Areas of special interest are: - Programming Languages; Software Engineering - Computer Graphics, Geometric Modeling and Robotics. Priority will be given to candidates whose research has the potential to leverage NJIT's brand-new, advanced Makerspace facility for 3D Printing, Computational Manufacturing, and Digital Fabrication (https://www.njitmakerspace.com/) - Foundations of Data Science and Machine Learning; Artificial Intelligence - Distributed Systems Exceptional candidates in other areas will also be considered. While we are especially interested in hiring at the rank of Assistant Professor, exceptional candidates at higher ranks will be considered. Applicants must have a Ph.D. degree by Summer 2019 in a relevant discipline, and outstanding academic credentials that demonstrate their ability to conduct independent world-class research and attract external funding. The successful candidate is also expected to show a commitment to both undergraduate and graduate education. NJIT's Computer Science Department has 40 faculty and approximately 1600 students at all levels across nine programs of study. The Computer Science Department participates alongside NJIT's Informatics Department in generating the largest pool of computing talent in the tri-state (CT, NJ, NY) area. The department conducts research in a wide range of areas and plays a key role in the NJIT Center for Big Data and the NJIT Cybersecurity Research Center. The department has strong connections with local industry and works closely with many corporations through student Capstone projects, internships, co-ops and joint R projects. The Computer Science Department is housed in a state-of-the art facility renovated in Fall 2018. The department resides within the Ying Wu College of Computing, which is undergoing significant growth as a priority area for NJIT. This growth is an integral part of NJIT's five-year strategic plan, called Vision 2020, which calls for consolidating NJIT as a world-class institution of higher education and research. Applied research, collaboration with industry, innovation and entrepreneurship are encouraged and supported. Performance and tenure expectations are aligned with those of the broader computing community, with an emphasis on grant funding and publishing in top conferences and journals. The Ying Wu College of Computing comprises 24% of the NJIT enrollment, educating more than 2,800 students in computing disciplines, and graduating close to 800 computing professionals every year. NJIT is located in Newark's University Heights, a vibrant sprawling downtown campus close to Rutgers-Newark, New Jersey Innovation Institute, Essex Community College, New Jersey Medical School, University Hospital, and Rutgers School of Dental Medicine. NJIT is just a 30-minute train ride from New York City and its burgeoning Silicon Alley tech sector. In the near future, NJIT plans to open a facility in Jersey City, just across the Hudson River from the financial district of Lower Manhattan in New York City. To Apply Applications received by December 31, 2018 will receive full consideration. However, applications are welcome until the position is filled. Use the following link: - https://njit.csod.com/ats/careersite/JobDetails.aspx?site=1=898 (Programming Languages; Software Engineering; Distributed Systems) - https://njit.csod.com/ats/careersite/JobDetails.aspx?site=1=897 (Computer Graphics, Geometric Modeling and Robotics; Foundations of Data Science and Machine Learning; Artificial Intelligence) Create your application, and upload your cover letter, CV, Research Statement, and Teaching Statement on that site. The CV must include at least three names along with contact information for references. The applications will be evaluated as they are received and accepted until the positions are filled. Contact: cs-faculty-sea...@njit.edu As an EEO employer NJIT is committed to building a diverse and inclusive teaching, research, and working environment and strongly encourages applications from individuals with disabilities
[TYPES/announce] postdoc position in type systems at NJIT (NYC area)
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] One postdoc position in type systems is available in Prof. Iulian Neamtiu's research group at the New Jersey Institute of Technology, in the New York City metropolitan area. PROJECT SCOPE Using type systems to reason about, and enforce program properties that involve different software versions or different executions, e.g., correctness of program changes or record-and-replay fidelity. APPLICATION REQUIREMENTS Required experience/qualifications: a strong publication record in type systems and/or static analysis, and experience with implementing program analyses for real-world programs. Optional experience/qualifications, that are helpful but insufficient by themselves: • rigorous techniques for reasoning about and manipulating programs, e.g., dynamic analysis or binary/bytecode transformation • research experience in the areas of systems, security, or smartphones • empirical software engineering/mining software repositories APPLICATION Apply here: http://njit.jobs/applicants/Central?quickFind=55021 Your application should contain the following two documents: • A cover letter summarizing your background and justifying how it fits this position. • Your CV, which should include the name and contact info of at least 3 references. To be considered, applications need to include both these documents. AVAILABILITY and DURATION The position is available immediately, and will remain open until filled. While the start date is flexible, please note that the anticipated end date is June 30, 2017. Subsequent appointments might be possible, subject to funding availability and performance. SALARY Annual salaries range from $40,000 to $55,000, depending on qualification and experience. Salary and benefits details: http://www5.njit.edu/research/sites/research/files/lcms/pdf/FY15-Salary-Computation-Guidelines-8-5-14.xlsx GEOGRAPHICAL AREA NJIT is in the greater New York City area, a 20 minute train ride from Manhattan. CONTACT Please contact Iulian Neamtiu for any questions. https://web.njit.edu/~ineamtiu/ ineam...@njit.edu
[TYPES/announce] Call for PLDI 2016 Student Posters
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] PLDI’16 is soliciting poster contributions from both graduate and undergraduate students. Suitable topics are descriptions of work in progress, thesis projects, honors projects, and relevant research being or to be published elsewhere. Poster topics should target areas of interest to the PLDI community as described in the call for research papers. This is not a competition, but an opportunity for students to get feedback and suggestions from world-class researchers and also to market themselves as a future employee, PhD student, postdoc, faculty member, etc. The PLDI’16 student poster session will be held on Wednesday, June 15, 2016 during the PLDI Reception from 6-9pm PST at the conference venue (Fess Parker Doubletree). All students attending PLDI are strongly encouraged to participate, and our goal is to allow as many students as possible to present themselves and their work to the community. Students presenting a paper at PLDI, LCTES, or ISMM are ineligible to participate in the poster session. Students who are authors on a paper being presented at PLDI are eligible to participate, but the poster topic should be distinct from that of the PLDI paper. Students participating in the Student Research Competition (SRC) will contribute posters to this session as part of the SRC and should not apply to present an additional poster. Important Dates: • Submission Deadline: March 25th, 2016 (11:59pm PT) • Notification of Acceptance: April 1st, 2106 • Student Poster Session: June 15, 2016 Students with accepted posters are encouraged to apply for PLDI16 student travel support. Submission Site and Instructions: http://conf.researchr.org/track/pldi-2016/pldi-2016-posters Poster Selection Committee: Iulian Neamtiu (Chair), New Jersey Institute of Technology, USA Matthew Hammer, University of Colorado, Boulder Na Meng, Virginia Tech Zhijia Zhao, UC Riverside
[TYPES/announce] CFP: Second Workshop on Hot Topics in Software Upgrades (HotSWUp 2009)
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Several research teams are using type-based approaches to ensuring software update safety, so this CfP should be of interest to list members. - CALL FOR PAPERS HotSWUp 2009: Second ACM Workshop on Hot Topics in Software Upgrades (co-located with OOPSLA 2009) Orlando, Florida October 25, 2009 http://www.hotswup.org OBJECTIVES The goal of HotSWUp is to identify cutting-edge research ideas for implementing software upgrades. Software must be upgraded regularly to incorporate bug fixes and security patches or to keep up with the evolving requirements. Whether upgrades are applied offline or online, they significantly impact the software's performance and reliability. Recent studies and a large body of anecdotal evidence suggest that, in practice, upgrades are failure-prone, tedious, and expensive. HotSWUp is an interdisciplinary workshop, based on synergies among the areas of programming languages (e.g., as reflected at conferences such as OOPSLA or PLDI), software engineering (e.g., as reflected at ICSE or FSE) and systems (e.g., as reflected at SOSP or OSDI). By seeking contributions from both academic researchers and industry practitioners, HotSWUp aims to combine novel ideas with experience from upgrading real systems. The workshop builds on the success of HotSWUp'08, where the paper presentations and lively discussions attracted a diverse audience of researchers. The topics of interest include, but are not limited to: - Programming language / operating system / database support for software upgrades. - Improving the reliability of upgrades (e.g., support for upgrade validation and for rollback after failures). - Support for system restructuring (e.g., evolving APIs, changes to database schemas). - Identifying dependencies between components and guaranteeing safe interactions among mixed versions. - Coordinating and disseminating upgrades in large-scale distributed systems. - Tools for preparing, testing, and applying software upgrades. - Human factors in software upgrades (e.g., usability of upgrading tools, common operator mistakes). SUBMISSION GUIDELINES We solicit position papers that fall into one of the following categories: - Suggest how a successful approach can be applied in a different context (e.g., static dependency analysis applied to distributed-system upgrades). - Refute an old assumption about software upgrades (e.g., by presenting negative results). - Describe a new problem or propose a novel solution to an old problem. - Present empirical evidence related to the practical implementation of software upgrades. Papers must not exceed 5 pages, in the ACM SIGPLAN 10 point format, and must be submitted electronically at http://www.hotswup.org The workshop proceedings will be published in the ACM Digital Library. IMPORTANT DATES Submission deadline September 4, 2009 Acceptance notification October 4, 2009 Camera-ready deadline October 16, 2009 Workshop date October 25 or 26, 2009 ORGANIZERS Program Co-Chairs - Tudor Dumitras, Carnegie Mellon University, USA (main contact) - Iulian Neamtiu, University of California, Riverside, USA - Eli Tilevich, Virginia Tech, USA Program Committee - Sameer Ajmani, Google, USA - Gustavo Alonso, ETH Zurich, Switzerland - Taweesup Apiwattanapong, National Electronics and Computer Technology Center, Thailand - Umesh Bellur, IIT Bombay, India - Gavin Bierman, Microsoft Research, UK - Dilma da Silva, IBM Research, USA - Danny Dig, University of Illinois at Urbana-Champaign, USA - Jason Nieh, Columbia University, USA - Manuel Oriol, University of York, UK - Mark E. Segal, Laboratory for Telecommunications Sciences, USA - Peter Sewell, Cambridge University, UK - Liuba Shrira, Brandeis University, USA MORE INFORMATION Visit the workshop's homepage at: http://www.hotswup.org
[TYPES/announce] CFP: First Workshop on Hot Topics in Software Upgrades (HotSWUp 2008)
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] CALL FOR PAPERS HotSWUp 2008: First International Workshop on Hot Topics in Software Upgrades (co-located with OOPSLA 2008) Nashville, Tennessee October 19--23, 2008 http://www.hotswup.org OBJECTIVES The goal of HotSWUp is to identify cutting-edge research ideas for implementing software upgrades. Actively-used software is upgraded regularly to incorporate bug fixes and security patches or to keep up with the evolving requirements. Whether upgrades are applied offline or online, they significantly impact the software's performance and reliability. Recent studies and a large body of anecdotal evidence suggest that, in practice, upgrades are failure-prone, tedious, and expensive. HotSWUp is an interdisciplinary workshop, based on synergies among the domains of programming languages (e.g., as reflected at conferences such as OOPSLA or PLDI), software engineering (e.g., as reflected at ICSE or FSE) and systems (e.g., as reflected at SOSP or OSDI). By seeking contributions from both academic researchers and industry practitioners, HotSWUp aims to combine bold, novel ideas, with experience from upgrading real systems. The topics of interest include, but are not limited to: - Programming language / runtime system / operating system support for software upgrades. - Improving the reliability of upgrades (e.g., support for upgrade validation and for rollback after failures). - Support for system restructuring (e.g., evolving APIs, changes to database schemas). - Identifying dependencies between components and guaranteeing safe interactions among mixed versions. - Coordinating and disseminating upgrades in large-scale distributed systems. - Tools for preparing, testing, and applying software upgrades. - Human factors in software upgrades (e.g., usability of upgrading tools, common operator mistakes). SUBMISSION GUIDELINES We solicit position papers on software upgrades. Preferably, submissions to HotSWUp should fall into one of the following categories: - Suggest how a successful approach can be applied in a different context (e.g., static dependency analysis applied to distributed-system upgrades). - Refute an old assumption about software upgrades (e.g., by presenting negative results). - Describe a new problem or propose a novel solution to an old problem. - Present empirical evidence related to the practical implementation of software upgrades. Papers must not exceed 5 pages, in the ACM SIGPLAN 10 point format, and must be submitted electronically at http://www.hotswup.org IMPORTANT DATES Submission deadline July 25, 2008 Acceptance notification September 7, 2008 Camera-ready deadline September 21, 2008 Workshop date October 2008 at OOPSLA (precise date TBD) ORGANIZERS Program Co-Chairs - Tudor Dumitras, Carnegie Mellon University, USA (main contact) - Danny Dig, Massachusetts Institute of Technology, USA - Iulian Neamtiu, University of California, Riverside, USA Program Committee - Ricardo Bianchini, Rutgers University, USA - Gavin Bierman, Microsoft Research, UK - Dilma da Silva, IBM Research, USA - Michael Ernst, Massachusetts Institute of Technology, USA - Ralph Johnson, University of Illinois at Urbana-Champaign, USA - Priya Narasimhan, Carnegie Mellon University, USA - Manuel Oriol, ETH Zurich, Switzerland - Mark E. Segal, Laboratory for Telecommunications Sciences, USA - Peter Sewell, University of Cambridge, UK - Robert Wisniewski, IBM Research, USA MORE INFORMATION Visit the workshop's homepage at: http://www.hotswup.org