[TYPES/announce] Tenure-Track Faculty Openings at U of Colorado Boulder in Trustworthy Software
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Greetings from CU Boulder! Please consider applying or encourage your students and postdocs to apply for a tenure-track position in the Department of Computer Science at the University of Colorado Boulder in the area of Trustworthy Software. Applications will be evaluated beginning on December 1, 2019 and will continue until the position is filled. Apply at https://jobs.colorado.edu/jobs/JobDetail/21053/. More details appear below. Best Regards, Evan Bor-Yuh Evan Chang (https://www.cs.colorado.edu/~bec/) CU Programming Languages and Verification (CUPLV) (https://plv.colorado.edu/ ) Department of Computer Science (https://www.colorado.edu/cs/) University of Colorado Boulder (https://www.colorado.edu/) --- We currently have an open tenure-track faculty position in the Department of Computer Science at the University of Colorado Boulder (CU) in the area of Trustworthy Software. This includes, but is not limited to, a broad swath of topics, including programming language foundations (e.g., type systems, language design), large-scale distributed systems (e.g., cloud computing), secure software (e.g., language-based security), probabilistic programming (e.g., languages for machine learning), automated reasoning (e.g., program analysis, software verification), industrial-scale computing (e.g., software engineering), and computing education research. The position is open at all levels, with emphasis on applicants at the Assistant Professor level. Candidates whose expertise cuts across engineering and related disciplines are especially encouraged to apply. The position will remain open until filled, though for full consideration applications should be received by December 1, 2019. Find more details and apply through the following link: https://jobs.colorado.edu/jobs/JobDetail/21053/.
[TYPES/announce] SAS 2019: Register Early by Sep 10
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] - CALL FOR PARTICIPATION SAS 2019 26th Static Analysis Symposium Part of the 3rd World Congress on Formal Methods Porto, Portugal, October 8-11, 2019 http://staticanalysis.org/sas2019 - ABOUT Static Analysis is widely recognized as a fundamental tool for program verification, bug detection, compiler optimization, program understanding, and software maintenance. The series of Static Analysis Symposia has served as the primary venue for the presentation of theoretical, practical, and application advances in the area. The 26th Static Analysis Symposium, SAS 2019, will be held in Porto, Portugal. REGISTRATION Register via the FM'19 World Congress at http://bit.ly/fm19-register: - Early until Sep 10 (AoE) - Late from Sep 11 until 5 Oct (AoE) - On site from Oct 6 to Oct 11 (AoE) INVITED TALKS - Mayur Naik (University of Pennsylvania): Rethinking Static Analysis by Combining Discrete and Continuous Reasoning. - Caterina Urban (INRIA/ENS): Static Analysis of Data Science Software. - Somesh Jha (University of Wisconsin-Madison): Towards Semantic Adversarial Examples. - Suresh Jagannathan (Purdue University): Learning Verifiers and Verifying Learners. PROGRAM The conference program is available at https://easychair.org/smart-program/SAS2019/. AFFILIATED EVENTS - 10th Workshop on Static Analysis and Systems Biology (SASB 2019). Chairs: Pedro T. Monteiro (INESC-ID / IST - Universidade de Lisboa) and Jean Krivine (CNRS) - 10th Workshop on Tools for Automatic Program Analysis (TAPAS 2019). Chair: David Delmas (Airbus and Sorbonne Université) - 8th Workshop on Numerical and Symbolic Abstract Domains (NSAD 2019). Chair: Laure Gonnord (Université de Lyon) FM'19 WORLD CONGRESS For additional information about the 3rd World Congress on Formal Methods, visit http://formalmethods2019.inesctec.pt/. Hope to see you in Porto! Bor-Yuh Evan Chang, Program Chair
[TYPES/announce] SAS 2019, EXTENDED Deadline: April 22 Abstract, April 25 Paper and Artifact: 26th Static Analysis Symposium, CfP
ubmit your artifact: - Make the VM image and the instruction document into single compressed archive file using zip or gzip. Use your paper number for the name of the archive file. - Upload the archive file to well-known storage service such as Dropbox or Google Drive and get the sharable link of it. - Run a checksum function with the archive file and make a text file that contains the link to the archive file and the checksum the result. Submit the text file via the submission page. The submission form has a place for the artifact submission. LIGHTWEIGHT DOUBLE-BLIND REVIEWING PROCESS SAS 2019 will use a lightweight double-blind reviewing process. Following this process means that reviewers will not see the authors’ names or affiliations as they initially review a paper. The authors’ names will then be revealed to the reviewers only once their reviews have been submitted. To facilitate this process, submitted papers must adhere to the following: - Author names and institutions must be omitted and - References to the authors’ own related work should be in the third person (e.g., not “We build on our previous work …” but rather “We build on the work of …”). The purpose of this process is to help the reviewers come to an initial judgment about the paper without bias, not to make it impossible for them to discover the authors if they were to try. Nothing should be done in the name of anonymity that weakens the submission, makes the job of reviewing the paper more difficult, or interferes with the process of disseminating new ideas. For example, important background references should not be omitted or anonymized, even if they are written by the same authors and share common ideas, techniques, or infrastructure. Authors should feel free to disseminate their ideas or draft versions of their paper as they normally would. For instance, authors may post drafts of their papers on the web or give talks on their research ideas. AUTHOR RESPONSE PERIOD During the author response period, authors will be able to read reviews and respond to them as appropriate. RADHIA COUSOT YOUNG RESEARCHER AWARD Since 2014, the program committee of each SAS conference selects a paper for the Radhia Cousot Young Researcher Best Paper Award, in memory of Radhia Cousot, and her fundamental contributions to static analysis, as well as being one of the main promoters and organizers of the SAS series of conferences. PROGRAM CHAIR - Bor-Yuh Evan Chang (University of Colorado Boulder) PROGRAM COMMITTEE - Josh Berdine (Facebook) - Marc Brockschmidt (Microsoft Research) - Yu-Fang Chen (Academia Sinica) - Roberto Giacobazzi (Università di Verona) - Ben Hardekopf (University of California, Santa Barbara) - Thomas Jensen (INRIA) - Ranjit Jhala (University of California, San Diego) - Andy King (University of Kent) - Shuvendu Lahiri (Microsoft Research) - Akash Lal (Microsoft Research, India) - Francesco Logozzo (Facebook) - Jan Midtgaard (University of Southern Denmark) - Antoine Miné (Sorbonne Université) - Anders Møller (Aarhus University) - David Monniaux (VERIMAG/CNRS/Université Grenoble Alpes) - Kedar Namjoshi (Bell Labs, Nokia) - Sylvie Putot (LIX, École polytechnique) - Veselin Raychev (DeepCode AG) - Xavier Rival (INRIA/CNRS/ENS/PSL*) - Sriram Sankaranarayanan (University of Colorado Boulder) - Tachio Terauchi (Waseda University) - Aditya V. Thakur (University of California, Davis) - Tomas Vojnar (FIT, Brno University of Technology) - Kwangkeun Yi (Seoul National University) - Xin Zhang (Massachusetts Institute of Technology) - Florian Zuleger (TU Wien) ARTIFACT EVALUATION CHAIR - Hakjoo Oh (Korea University) ARTIFACT EVALUATION COMMITTEE - Francois Bidet (LIX, École polytechnique) - Liqian Chen (National University of Defense Technology) - Mehmet Emre (University of California, Santa Barbara) - John K. Feser (Massachusetts Institute of Technology) - Kihong Heo (University of Pennsylvania) - Maxime Jacquemin (LIX, École polytechnique) - Sehun Jeong (Korea University) - Matthieu Journault (Sorbonne Université) - Yue Li (Aarhus University) - Viktor Malik (Brno University of Technlogy) - Suvam Mukherjee (Microsoft Research) - Abdelraouf Ouadjaout (Sorbonne Université) - Saswat Padhi (University of California, Los Angeles) - Jiasi Shen (Massachusetts Institute of Technology) - Gagandeep Singh (ETH Zurich) - Benno Stein (University of Colorado Boulder) - Yulei Sui (University of Technology Sydney) - Tian Tan (Aarhus University) - Xinyu Wang (University of Texas at Austin)
[TYPES/announce] SAS 2019 in Porto, April 18 submission: 26th Static Analysis Symposium, CfP
is process, submitted papers must adhere to the following: - Author names and institutions must be omitted and - References to the authors’ own related work should be in the third person (e.g., not “We build on our previous work …” but rather “We build on the work of …”). The purpose of this process is to help the reviewers come to an initial judgment about the paper without bias, not to make it impossible for them to discover the authors if they were to try. Nothing should be done in the name of anonymity that weakens the submission, makes the job of reviewing the paper more difficult, or interferes with the process of disseminating new ideas. For example, important background references should not be omitted or anonymized, even if they are written by the same authors and share common ideas, techniques, or infrastructure. Authors should feel free to disseminate their ideas or draft versions of their paper as they normally would. For instance, authors may post drafts of their papers on the web or give talks on their research ideas. AUTHOR RESPONSE PERIOD During the author response period, authors will be able to read reviews and respond to them as appropriate. RADHIA COUSOT YOUNG RESEARCHER AWARD Since 2014, the program committee of each SAS conference selects a paper for the Radhia Cousot Young Researcher Best Paper Award, in memory of Radhia Cousot, and her fundamental contributions to static analysis, as well as being one of the main promoters and organizers of the SAS series of conferences. PROGRAM CHAIR - Bor-Yuh Evan Chang (University of Colorado Boulder) PROGRAM COMMITTEE - Josh Berdine (Facebook) - Marc Brockschmidt (Microsoft Research) - Yu-Fang Chen (Academia Sinica) - Roberto Giacobazzi (Università di Verona) - Ben Hardekopf (University of California, Santa Barbara) - Thomas Jensen (INRIA) - Ranjit Jhala (University of California, San Diego) - Andy King (University of Kent) - Shuvendu Lahiri (Microsoft Research) - Akash Lal (Microsoft Research) - Francesco Logozzo (Facebook) - Jan Midtgaard (University of Southern Denmark) - Antoine Miné (Sorbonne Université) - Anders Møller (Aarhus University) - David Monniaux (CNRS/VERIMAG) - Kedar Namjoshi (Bell Labs, Nokia) - Sylvie Putot (LIX, Ecole Polytechnique) - Veselin Raychev (DeepCode AG) - Xavier Rival (INRIA/CNRS/ENS/PSL) - Sriram Sankaranarayanan (University of Colorado Boulder) - Tachio Terauchi (Waseda University) - Aditya V. Thakur (University of California, Davis) - Tomas Vojnar (FIT, Brno University of Technology) - Kwangkeun Yi (Seoul National University) - Xin Zhang (Massachusetts Institute of Technology) - Florian Zuleger (TU Wien) ARTIFACT EVALUATION CHAIR - Hakjoo Oh (Korea University)
[TYPES/announce] Postdoc position at Colorado in data-driven program analysis with potential industrial applications
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] The Programming Languages and Verification Group at the University of Colorado Boulder (CUPLV) is looking for exceptional candidates for a postdoctoral research associate working in the area of data-driven program analysis. This position presents a unique opportunity for potential industrial application in collaboration with GitHub. The ideal candidate has a background in the area of programming languages and verification, as well as being interested in extending his or her research to machine learning. The postdoctoral research associate will collaborate with professors Bor-Yuh Evan Chang, Sriram Sankaranarayanan, and Sergio Mover, as well as engineers at GitHub. The researcher will have an opportunity to lead a project on program repair and will contribute to potential technology transfer with our industrial partner. To apply, please send an email to Bor-Yuh Evan Chang < evan.ch...@colorado.edu> or Sriram Sankaranarayanan with a CV and contact information for two or three references. Our group has active projects in areas such as the following: - program analysis - program synthesis - cyberphysical systems Compensation is highly competitive and commensurate with experience. Teaching opportunities will be available. For more information about our group, please see <https://plv.colorado.edu>. Boulder, located at the base of the Rocky Mountains, is consistently awarded top-rankings for health, education, and quality of life. It is also home to a concentration of high-tech industry and to a vibrant start-up community. It is located 30 miles from downtown Denver.
[TYPES/announce] APLAS 2017: June 13 deadline, Final CfP, Asian Symposium on Programming Languages and Systems
. Submitted papers must be unpublished and not submitted for publication elsewhere. Papers must be written in English. The proceedings will be published as a volume in Springer's LNCS series. Accepted papers must be presented at the conference. # Review Process *New for APLAS 2017* ## Lightweight Double-Blind Reviewing Process APLAS 2017 will use a lightweight double-blind reviewing process. Following this process means that reviewers will not see the authors' names or affiliations as they initially review a paper. The authors' names will then be revealed to the reviewers only once their reviews have been submitted. To facilitate this process, submitted papers must adhere to the following: - **Author names and institutions must be omitted** and - References to the authors' own related work should be in the third person (e.g., not "We build on our previous work ..." but rather "We build on the work of ..."). The purpose of this process is to help the reviewers come to an initial judgement about the paper without bias, not to make it impossible for them to discover the authors if they were to try. Nothing should be done in the name of anonymity that weakens the submission, makes the job of reviewing the paper more difficult, or interferes with the process of disseminating new ideas. For example, important background references should *not* be omitted or anonymized, even if they are written by the same authors and share common ideas, techniques, or infrastructure. Authors should feel free to disseminate their ideas or draft versions of their paper as they normally would. For instance, authors may post drafts of their papers on the web or give talks on their research ideas. ## Author Response Period During the author response period, authors will be able to read reviews and respond to them as appropriate. ## Research Integrity The Program Committee reserves the right, up until the time of publication, to reverse a decision of paper acceptance. Reversal is possible if fatal flaws are discovered in the paper, or research integrity is found to have been seriously breached. # Organizers ## General Chair Xinyu Feng (University of Science and Technology of China) ## Program Chair Bor-Yuh Evan Chang (University of Colorado Boulder) ## Program Committee Andreas Abel (Gothenburg University) Aws Albarghouthi (University of Wisconsin-Madison) Sam Blackshear (Facebook) Yu-Fang Chen (Academia Sinica) Yuting Chen (Shanghai Jiao Tong University) Stephen Chong (Harvard University) Vijay D'Silva (Google) Benjamin Delaware (Purdue University) Rayna Dimitrova (MPI-SWS) Cezara Dragoi (INRIA, ENS, CNRS) William Harris (Georgia Institute of Technology) Guoliang Jin (North Carolina State University) Akash Lal (Microsoft Research, India) Vu Le (Microsoft) Akimasa Morihata (University of Tokyo) Sergio Mover (University of Colorado Boulder) Santosh Nagarakatte (Rutgers University) Hakjoo Oh (Korea University) Bruno C. D. S. Oliveira (The University of Hong Kong) Xiaokang Qiu (Purdue University) Arjun Radhakrishna (University of Pennsylvania) Aseem Rastogi (Microsoft Research) Sukyoung Ryu (KAIST) Ilya Sergey (University College London) Makoto Tatsuta (National Institute of Informatics) Tachio Terauchi (JAIST) Bow-Yaw Wang (Academia Sinica) Yingfei Xiong (Peking University) Kwangkeun Yi (Seoul National University) Danfeng Zhang (Pennsylvania State University) Xin Zhang (Georgia institute of Technology) Kenny Zhu (Shanghai Jiao Tong University) ## Local Organization Chair Ming Fu (University of Science and Technology of China)
[TYPES/announce] APLAS 2017: Asian Symposium on Programming Languages and Systems, CfP, June 13 deadline
be presented at the conference. # Review Process *New for APLAS 2017* ## Lightweight Double-Blind Reviewing Process APLAS 2017 will use a lightweight double-blind reviewing process. Following this process means that reviewers will not see the authors' names or affiliations as they initially review a paper. The authors' names will then be revealed to the reviewers only once their reviews have been submitted. To facilitate this process, submitted papers must adhere to the following: - **Author names and institutions must be omitted** and - References to the authors' own related work should be in the third person (e.g., not "We build on our previous work ..." but rather "We build on the work of ..."). The purpose of this process is to help the reviewers come to an initial judgement about the paper without bias, not to make it impossible for them to discover the authors if they were to try. Nothing should be done in the name of anonymity that weakens the submission, makes the job of reviewing the paper more difficult, or interferes with the process of disseminating new ideas. For example, important background references should *not* be omitted or anonymized, even if they are written by the same authors and share common ideas, techniques, or infrastructure. Authors should feel free to disseminate their ideas or draft versions of their paper as they normally would. For instance, authors may post drafts of their papers on the web or give talks on their research ideas. ## Author Response Period During the author response period, authors will be able to read reviews and respond to them as appropriate. ## Research Integrity The Program Committee reserves the right, up until the time of publication, to reverse a decision of paper acceptance. Reversal is possible if fatal flaws are discovered in the paper, or research integrity is found to have been seriously breached. # Organizers ## General Chair Xinyu Feng (University of Science and Technology of China) ## Program Chair Bor-Yuh Evan Chang (University of Colorado Boulder) ## Program Committee Andreas Abel (Gothenburg University) Aws Albarghouthi (University of Wisconsin-Madison) Sam Blackshear (Facebook) Yu-Fang Chen (Academia Sinica) Yuting Chen (Shanghai Jiao Tong University) Stephen Chong (Harvard University) Vijay D'Silva (Google) Benjamin Delaware (Purdue University) Rayna Dimitrova (MPI-SWS) Cezara Dragoi (INRIA, ENS, CNRS) William Harris (Georgia Institute of Technology) Guoliang Jin (North Carolina State University) Akash Lal (Microsoft Research, India) Vu Le (Microsoft) Akimasa Morihata (University of Tokyo) Sergio Mover (University of Colorado Boulder) Santosh Nagarakatte (Rutgers University) Hakjoo Oh (Korea University) Bruno C. D. S. Oliveira (The University of Hong Kong) Xiaokang Qiu (Purdue University) Arjun Radhakrishna (University of Pennsylvania) Aseem Rastogi (Microsoft Research) Sukyoung Ryu (KAIST) Ilya Sergey (University College London) Makoto Tatsuta (National Institute of Informatics) Tachio Terauchi (JAIST) Bow-Yaw Wang (Academia Sinica) Yingfei Xiong (Peking University) Kwangkeun Yi (Seoul National University) Danfeng Zhang (Pennsylvania State University) Xin Zhang (Georgia institute of Technology) Kenny Zhu (Shanghai Jiao Tong University) ## Local Organization Chair Ming Fu (University of Science and Technology of China)
[TYPES/announce] Tenure-Track Faculty Openings at the University of Colorado Boulder
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Dear Colleagues: Please consider applying or encourage your students and postdocs to apply for a tenure-track position in the Department of Computer Science at the University of Colorado Boulder. We have multiple openings with one particular interest area being "secure and reliable software systems" (with an emphasis on software engineering and security). Applications will be evaluated beginning on November 9, 2015 with priority given to applications received by December 7, 2015, although applications will continue to be evaluated until the position is filled. Apply at http://www.jobsatcu.com/postings/109940. More details appear below. Best Regards, Bor-Yuh Evan Chang --- The Department of Computer Science (CS) at the University of Colorado Boulder seeks applications for multiple tenure-track positions. The openings are targeted at the level of Assistant Professor, but experienced candidates may be considered for Associate or Full Professor. Research areas of particular interest include, but are not limited to, the areas of secure and reliable software systems (with an emphasis in software engineering and/or security), network science, scientific data analysis and visualization, computer systems as applied to autonomous and networked devices, and theoretical computer science. Our department values inclusive excellence and we seek candidates that understand the benefits that diversity brings to scientific innovation and who, through their work, develop technologies that impact a wide range of communities. Our department is also responsive to dual career situations. Our vision of successful candidates are those who demonstrate the potential for excellence in both research and teaching, have a strong interest in interdisciplinary collaboration, and aim to lead a visible, externally funded research program. Candidates must have a Ph.D. in computer science or a related discipline and must show promise in their ability to develop an independent and internationally recognized research program. They must also display an ability, a record of excellence, and/or a commitment to teaching and working with undergraduate and graduate students of diverse backgrounds. Applications will be evaluated beginning on November 9, 2015 with priority given to applications received by December 7, 2015, although applications will continue to be evaluated until the position is filled. Applications must include a cover letter specifying the applicant's areas of specialization and describing their interest in the Department of Computer Science at CU Boulder. Applications must also include a curriculum vita, statements of research and teaching interests, and names and contact information for three references. In their statements, candidates should describe and include specific examples of how their experience would contribute to the department's mission and values, including, but not limited to, their research record, pedagogical approaches, teaching content, mentoring and recruiting activities, community engagement, and experiences working with underrepresented communities. The Department's research and education efforts interact broadly with many interdisciplinary programs and collaborators in the Boulder area, including national labs at NIST, NOAA, NREL, and NCAR, and CU Boulder research institutes including the ATLAS Institute, the BioFrontiers Institute, and the Institute for Cognitive Science. The Department has a long-standing partnership with the National Center for Women and IT and has faculty active in increasing the broadening of participation in computer science via their research, teaching, and service. The Department also has extensive ties with the thriving local tech community and inhabits a picturesque location in the foothills of the Rocky Mountains. Applications are to be submitted on-line at http://www.jobsatcu.com/postings/109940.
[TYPES/announce] Postdoc position at Colorado in program analysis and program synthesis
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] The Programming Languages and Verification Group at the University of Colorado Boulder (CUPLV) is looking for exceptional candidates for a postdoctoral research associate in the area of program analysis and program synthesis. The position is on the Fixr project, a large project examining approaches to automatically mine, understand, and transfer bug fixes in large application frameworks, such as Android. The ideal candidate has a strong background in the area of programming languages, software engineering and/or formal methods, as well as an enthusiasm for mentoring junior researchers. The postdoctoral researcher would collaborate with Profs. Bor-Yuh Evan Chang, Sriram Sankaranarayanan, and Pavol Cerny and have the opportunity to lead this ambitious project that combines program analysis, probabilistic reasoning, and program synthesis. The position is for two years, with a possible extension for additional years. A transition plan to a research assistant professor position is possible for highly-qualified candidates. While not required, teaching opportunities will also be available. Compensation is highly competitive and commensurate with experience. To apply, please send an email to Bor-Yuh Evan Chang (b...@cs.colorado.edu) with a CV and contact information for two to three references. Please apply by May 8 for full consideration, though applications will be considered until the position is filled. Our group has active projects in areas such as the following: - program analysis - model checking - verification and synthesis of hybrid and embedded systems - program synthesis For more information about our projects, please see: http://pl.cs.colorado.edu/ Boulder, located at the base of the Rocky Mountain foothills, is consistently awarded top-rankings for health, education, and quality of life. It is also home to a concentration of high-tech industry and its vibrant startup community. Located 30 miles from downtown Denver, there are convenient public transportation options between Boulder and the Denver metro area. The University of Colorado is an Equal Opportunity Employer committed to building a diverse workforce. We encourage applications from women, minorities candidates, people with disabilities, and veterans.
[TYPES/announce] Postdoctoral Research Associate Position in Analysis, Probabilistic Reasoning, and Synthesis at the University of Colorado Boulder
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] The Programming Languages and Verification Group at the University of Colorado Boulder (CUPLV) is looking for exceptional candidates for a postdoctoral research associate in the area of program analysis and program synthesis. The ideal candidate has a strong background in the general area of programming languages and verification, as well as a enthusiasm in mentoring junior researchers. The postdoctoral researcher would collaborate with Profs. Bor-Yuh Evan Chang, Sriram Sankaranarayanan, and Pavol Cerny and have the opportunity to lead an ambitious new project that combines program analysis, probabilistic reasoning, and program synthesis. To apply, please send an email to any of us with a CV and contact information for two or three references. Our group has active projects in areas such as the following: - program analysis - model checking - verification and synthesis of hybrid and embedded systems - program synthesis For more information about our projects, please see: http://pl.cs.colorado.edu/ The position is for one year, with a possible extension for additional years. Highly-qualified candidates may be considered for a research assistant professor position. Teaching opportunities will be available. Compensation is highly competitive and commensurate with experience. Boulder, located at the base of the Rocky Mountain foothills, is consistently awarded top-rankings for health, education, and quality of life. It is also home to a concentration of high-tech industry and its vibrant startup community. Located 30 miles from downtown Denver, there are convenient public transportation options between Boulder and the Denver metro area. The University of Colorado is an Equal Opportunity Employer committed to building a diverse workforce. We encourage applications from women, minorities candidates, people with disabilities, and veterans.
[TYPES/announce] Tenure-Track Faculty Openings at the University of Colorado Boulder
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Dear Colleagues: Please consider applying or encourage your students and postdocs to apply for a tenure-track position in the Department of Computer Science at the University of Colorado Boulder. We have multiple openings with one particular interest area being “secure and reliable software systems.” Applications will be evaluated beginning on December 1, 2014 and will continue until the position is filled. Applications are to be submitted on-line at http://www.jobsatcu.com/postings/89652. More details appear below. Best Regards, Bor-Yuh Evan Chang (http://www.cs.colorado.edu/~bec/) --- The Department of Computer Science (CS) at the University of Colorado Boulder seeks outstanding candidates, for multiple tenure-track positions. The openings are targeted at the level of Assistant Professor, although exceptional candidates at higher ranks may be considered. Research areas of particular interest include the areas of secure and reliable software systems, numerical optimization and high-performance scientific computing, and network science and machine learning. Candidates for these positions must demonstrate excellence in both research and teaching, have a strong interest in interdisciplinary collaboration, and aim to lead a highly visible, externally funded research program. Candidates must have a Ph.D. in computer science or a related discipline and must show promise in their ability to develop an independent and internationally recognized research program. They must also display a demonstrated commitment to teaching and working with both undergraduate and graduate students. Applications will be evaluated beginning on December 1, 2014 and will continue until the position is filled. Applications must include a cover letter specifying the applicant’s areas of specialization and describing their interest in the Department of Computer Science at CU Boulder. Applications must also include a curriculum vitae, statements of research and teaching interests, and names and contact information for three references. The Department’s research and education efforts interact broadly with many interdisciplinary programs and collaborators in the Boulder area, including national labs at NIST, NOAA, NREL, and NCAR, and CU Boulder research institutes including the BioFrontiers Institute and the Institute for Cognitive Science. The Department also has extensive ties with the thriving local tech community and inhabits a picturesque location in the foothills of the Rocky Mountains. The University of Colorado Boulder is an Equal Opportunity Employer committed to building a diverse workforce. We encourage applications from women, racial and ethnic minorities, individuals with disabilities and veterans. Alternative formats of this ad can be provided upon request for individuals with disabilities by contacting the ADA Coordinator at hr...@colorado.edu. The University of Colorado Boulder is committed to providing a safe and productive learning and living community. To achieve that goal, we conduct background investigations for all final applicants being considered for employment. Background investigations include reference checks, a criminal history record check, and when appropriate, a financial and/or motor vehicle history. Applications must be submitted on-line at http://www.jobsatcu.com/postings/89652.
[TYPES/announce] Call for Analyzer Pearls: TAPAS 2013 (a SAS 2013 affiliated event and co-located with PLDI 2013)
Notes in Theoretical Computer Science series. Program Chair Bor-Yuh Evan ChangUniversity of Colorado Boulder, USA Program Committee Dino DistefanoQueen Mary, University of London, UK Ben Hardekopf University of California, Santa Barbara, USA Franjo IvancicNEC Labs America, USA Roman ManevichBen-Gurion University of the Negev, Israel Michał Moskal Microsoft Research, USA Steering Committee Radhia Cousot CNRS and Ecole Normale Supérieure, France Xavier Rival INRIA and Ecole Normale Supérieure, France Affiliated Events NSAD: The 5th Workshop on Numerical and Symbolic Abstract Domains 19 June 2013 SASB: The 4th Workshop on Static Analysis and Systems Biology 19 June 2013 SAS : The 20th International Static Analysis Symposium 20-22 June 2013 Venue TAPAS 2013 is an affiliated event of SAS 2013. It will be co-located with ACM PLDI 2013 and will take place at the Red Lion Hotel on 5th Ave in downtown Seattle, Washington, USA. Seattle, home to Amazon, Starbucks, Microsoft, and Boeing is famous for its coffee houses and its beautiful surroundings such as Puget Sound and its numerous islands, as well as the Olympic Peninsula and the nearby Cascade Range. ** [1] http://www.cs.ox.ac.uk/people/jeremy.gibbons/pearls/ [2] Richard Bird. How to Write a Functional Pearl. http://icfp06.cs.uchicago.edu/bird-talk.pdf