[TYPES/announce] Ph.D and Postdoc Positions available in Durham, UK
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] * A 3.5year Ph.D Position and a Postdoc Position * available in the area of Program Analysis and Verification * funded by the EPSRC project entitled Inference Mechanisms * for a Separation and Numerical Domain * in Department Of Computer Science, Durham University, UK Applications are invited for a Ph.D. student and a Postdoctoral Research Associate to work on an EPSRC funded project entitled Inference Mechanisms for a Separation and Numerical Domain in the group led by Dr. Shengchao Qin in the Department of Computer Science. The aim of the project is to develop advanced static analysis techniques based on separation logic for automated verification of memory safety as well as functional correctness of substantial heap-manipulating imperative programs. The key objective is to develop advanced inference/abstraction mechanisms in the combined separation and numerical domain with user-defined inductive predicates, so that loop invariants and method pre/post-conditions can be automatically synthesised, where possible. About the Ph.D Position: = Prospective Ph.D candidates must have (or expect to have) a good honours (or equivalent) degree in Computer Science or other relevant subjects. The studentship requires good background knowledge in most of the following areas: logic and discrete mathematics related to computer science, computer-aided verification, compilers, and program analysis. Strong programming skills will also be essential for the studentship. This fully funded studentship provides a tax-free living allowance at the standard EPSRC rate (GBP 13,290 p.a. for 09/10) and student tuition fees at the UK/EU student rate (non-EU students will require supplementary funding). The successful candidate is expected to start on 1st September 2009. Closing date (the Ph.D Position): 15 May 2009 Applications (such as CV, references, a transcript and a statement of research interests) should be sent to Dr Shengchao Qin, Computer Science Department, Durham University, Science Labs, South Road, Durham, DH1 3LE, United Kingdom. Applicants are also required to register their interest of pursuing a Ph.D in Durham at https://bannerss.dur.ac.uk/blive_ssb/bwskalog.P_DispLoginNon About the Postdoc Position: === The successful applicant should have received (or expect to receive) a Ph.D in Computer Science or a closely related subject. Suitable candidates should be able to demonstrate research skills or potential at an international level in the field of program analysis and computer-aided verification. Key responsibilities: the Postdoctoral Research Associate(PDRA) is expected to conduct research in program analysis and verification using separation logic. Working closely with the team leader, the PDRA is expected to develop advanced inference/abstraction mechanisms in an abstract domain combined with separation and numerical information and in the presence of user-specified inductive predicates and lemmas. More specifically, the PDRA is expected to make significant contributions in (1) automatic inference/analysis of loop invariants and method pre/post-specifications in the combined domain, (2) the construction of an analysis/verification tool and the integration of the developed tool with the verification tool HIP/SLEEK developed in National University of Singapore, and (3) the application of the tool to verify memory safety of substantial system software such as the Linux distribution. The RA is expected to write and publish research papers in good quality conferences and journals every year. Closing date (the Postdoc postioin): 31 May 2009 Details about this position including the application procedure can be found at https://jobs.dur.ac.uk/jobdtls.asp?Session_in=Uid=vref=3164 More project information can be obtained by contacting Dr Shengchao Qin at shengchao@durham.ac.uk, or by visiting http://www.dur.ac.uk/shengchao.qin
[TYPES/announce] TASE 2009 - CALL FOR POSTER PRESENTATIONS
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] TASE 2009 - CALL FOR POSTER PRESENTATIONS ** * 3rd IEEE International Symposium on * Theoretical Aspects of Software Engineering * (TASE 2009) * 29-31 July 2009, Tianjin, China * http://www.dur.ac.uk/ieee.tase2009 * * For more information email: ieee.tase2...@durham.ac.uk ** TASE 2009 will include a poster session during the conference. The session aims to give students and researchers an opportunity to present their research to the community, and to get responses from other researchers. SCOPE: Poster presentations are sought in all theoretical aspects of software engineering, including (but not limited to): * Requirements Engineering * Specification and Verification * Program Analysis * Software Testing * Model-Driven Engineering * Software Architectures and Design * Aspect and Object Orientation * Embedded and Real-Time Systems * Software Processes and Workflows * Component-Based Software Engineering * Software Safety, Security and Reliability * Reverse Engineering and Software Maintenance * Service-Oriented Computing * Semantic Web and Web Services * Type System and Theory * Program Logics and Calculus * Dependable Concurrency * Software Model Checking SUBMISSION PROCESS: A Poster proposal consists of: - a 50 word or less short abstract that summarizes the content of the poster - a set of keywords describing the technical area of the work - a two-page extended abstract, suitable for inclusion in the TASE 2009 conference proceedings. All abstracts must adhere to the two-column IEEE format. All Poster proposals are to be submitted by email to ieee.tase2...@durham.ac.uk. The file containing the two-page extended abstract must be in .pdf or .ps format. Upon acceptance, at least one of the authors must register with the TASE2009 conference in order to have their extended abstract included in the conference proceedings. Once registered, a bulletin board space of A1 paper size (594 mm wide and 841 mm high) will be provided for each presentation. In addition to the camera-ready version of the extended abstract, the authors are also requested to submit their poster of A1 paper size (594 mm wide and 841 mm high) for backup. An A1 poster sample template is available at http://www.dur.ac.uk/ieee.tase2009/poster.a1.ppt for authors to download. The authors can prepare 8 individual slides, save them in .jpg format and then place them on the above A1 sample. The Poster presenter will need to print out their Poster in advance and bring it to the conference for the Poster session. POSTER CONTENT: A small selection committee led by the Poster Chair will evaluate the poster proposals based on their contributions and on how effectively they communicate those contributions. All posters should include the following information: - The purpose and goals of the work. - Any background and motivation information needed to understand the work. - A summary of the contribution and/or results, in sufficient detail for a viewer to understand the work and/or results; especially key details, results and contributions, or the anticipated contributions if the work is at an early stage. - The relationship to other related efforts, where appropriate. - Where to find additional information. This should include (but is not restricted to): a web site where viewers can go to find additional information about the work, how to contact the authors (including email addresses), citations for any papers, books, or other materials that provide additional information. POSTER COMPETITION: A poster competition will be organised during the poster session. A panel of experts will be formed as referees for the competition. Awards will be given to the winners of the competition. IMPORTANT DATES: Poster proposals submission: April 22, 2009 Acceptance/rejection notification: May 6, 2009 Camera-ready version and Poster due: May 13, 2009 TASE 2009 Conference: July 29-31, 2009 CONTACT: For questions or requests, please contact the TASE 2009 poster chair, Florin Craciun (ieee.tase2...@durham.ac.uk). Please mention poster session in the subject of your email.
[TYPES/announce] TASE 2009 - CALL FOR PAPERS
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] TASE 2009 - Final CALL FOR PAPERS ** * 3rd IEEE International Symposium on * Theoretical Aspects of Software Engineering * (TASE 2009) * 29-31 July 2009, Tianjin, China * http://www.dur.ac.uk/ieee.tase2009 * * For more information email: ieee.tase2...@durham.ac.uk ** Large scale software systems and the Internet are of growing concern to academia and industry. This poses new challenges to the various aspects of software engineering, for instance, the reliability of software development, web-oriented software architecture and aspect and object-orientation techniques. As a result, new concepts and methodologies are required to enhance the development of software engineering from theoretical aspects. TASE 2009 is a forum for researchers from academia, industry and government to present ideas, results, and ongoing research on theoretical advances in software engineering. TASE 2009 is the third in a series of conference, sponsored by IEEE CS and IFIP. The first TASE conference was held in Shanghai, China, in June 2007. The second TASE conference was held in Nanjing, China, in June 2008. Topics of Interest: Authors are invited to submit high quality technical papers describing original and unpublished work in all theoretical aspects of software engineering. Topics of interest include, but are not limited to: * Requirements Engineering * Specification and Verification * Program Analysis * Software Testing * Model-Driven Engineering * Software Architectures and Design * Aspect and Object Orientation * Embedded and Real-Time Systems * Software Processes and Workflows * Component-Based Software Engineering * Software Safety, Security and Reliability * Reverse Engineering and Software Maintenance * Service-Oriented Computing * Semantic Web and Web Services * Type System and Theory * Program Logics and Calculus * Dependable Concurrency * Software Model Checking Program Co-Chairs - Wei-Ngan Chin (National Univ. of Singapore, Singapore) Shengchao Qin (Durham University, UK) Program Committee - Bernhard Aichernig (Graz University of Technology, Austria) Stefan Andrei (Lamar University, USA) Keijiro Araki (Kyushu University, Japan) Farhad Arbab(CWI and Leiden University, Netherlands) Jonathan Bowen (King's College London, UK) Michael Butler (University of Southampton, UK) Juan Chen (Microsoft Research, USA) Tyng-Ruey Chuang(Academica Sinica, Taiwan) Jim Davies (University of Oxford, UK) Zhenhua Duan(Xidian University, China) Xinyu Feng (Toyota Technological Inst. at Chicago, USA) Dieter Gollmann (Hamburg University of Technology, Germany) Tetsuo Ida (University of Tsukuba, Japan) Radu Iosif (Verimag, CNRS, France) Xuandong Li (Nanjing University, China) Kung-Kiu Lau(University of Manchester, UK) Shaoying Liu(Hosei University, Japan) Dorel Lucanu(University of Iasi, Romania) Tom Maibaum (McMaster University, Canada) Darko Marinov (Univ. of Illinois at Urbana-Champaign, USA) Hong Mei(Peking University, China) Huaikou Miao(Shanghai University, China) Peter Mueller (ETH Zurich, Switzerland) Viet Ha Nguyen (Vietnam National University, Vietnam) Sungwoo Park(Pohang Univ. of Science and Technology, Korea) Corneliu Popeea (MPI-SWS, Germany) Geguang Pu (East China Normal University, China) Zongyan Qiu (Peking University, China) Volker Stolz(UNU/IIST, Macau) Jing Sun(University of Auckland, New Zealand) Jun Sun (National Univ. of Singapore, Singapore) Kenji Taguchi (National Institute of Informatics, Japan) Yih-Kuen Tsay (National Taiwan University, Taiwan) Elizabeth Vidal (San Agustin National University, Peru) Ji Wang (National University of Defense Technology, China) Linzhang Wang (Nanjing University, China) Xianbing Wang (Wuhan University, China) Wang Yi (Uppsala University, Sweden) Jim Woodcock(University of York, UK) Hongyu Zhang(Tsinghua University, China) Jian Zhang (Chinese Academy of Sciences, China) Jianjun Zhao(Shanghai Jiao Tong University, China) Hong Zhu(Oxford Brookes University, UK) Huibiao Zhu (East China Normal University, China) Important Dates: February 20, 2009: Title and abstract submission deadline February 27, 2009: Paper submission deadline April 20, 2009: