FYI. Date: Fri, 1 Feb 2013 15:41:01 +0000 From: [email protected] Subject: AISB opportunities bulletin (1/2/2013) To: [email protected]
Dear AISB membersThis is the AISB opportunities bulletin for 1/2/2013 -----------------------------1. Postdoctoral position in efficient algorithms, Berlin, GERMANY (DEADLINE: 15:03:2013)2. Assistant Professorship in Computer Science (tenure track), Sao Paulo, BRAZIL (DEADLINE: 10:04:2013)3. Postdoctoral position on SMT techniques for word-level formal verification, Trento, ITALY 4. PhD position in logic, brain and cognition, Amsterdam, THE NETHERLANDS (DEADLINE: 15:02:2013)5. CALL FOR PAPERS: Journal of Cognitive Science -----------------------------1. Postdoctoral position in efficient algorithms, Berlin, GERMANY(DEADLINE: 15:03:2013) A postdoctoral position in the area of efficient algorithms is available in the research group of Prof. Susanne Albers. Department of Computer Science, Humboldt University Berlin.The postdoc may pursue his/her own line of research but a research interest in approximation and online algorithms, algorithmic game theory or algorithm engineering is very welcome. Information about the algorithms group at Humboldt University can be found at: http://www2.informatik.hu-berlin.de/alkox/group/ There exist close collaborations with various other research groups in Berlin, hosted at the Free University and the Berlin Institute of Technology.The position is supported by a grant of the German Research Foundation and provides a competitive 12 month salary with standard benefits. The appointment is initially for one year and can be renewed for a second year subject to satisfactory progress and mutual agreement. The expected start date of the position is summer 2013.The successful candidate should have a PhD degree in computer science or mathematics. Furthermore, he/she should be interested in collaborating with PhD students and participating in the teaching activities of the group. The application material should include (1) a cover letter describing the interest in the position, (2) a CV and list of publications, (3) a short research summary, and (4) the names and contact information of at least two references. The material should be sent electronically to <[email protected]>.Applications will be reviewed starting from March 15, 2013 until the position is filled.Susanne Albers Department of Computer Science Humboldt University Berlin Unter den Linden 6 10099 Berlin, Germany E-mail: [email protected] http://www2.informatik.hu-berlin.de/~albers/ ********************************************************2. Assistant Professorship in Computer Science (tenure track), Sao Paulo, BRAZILhttp://www.ime.usp.br/dcc/faculty_position (DEADLINE: 10:04:2013) University of São Paulo Institute of Mathematics and Statistics Department of Computer Science Tenure-Track Position Assistant ProfessorApplication Dealine: April 10th 2013Formal call: http://www.ime.usp.br/dcc/faculty_positionFree translation: http://www.vision.ime.usp.br/~cesar/usp/mac/chefia/tenure-instructions.htmlThe Institute of Mathematics and Statistics of the University of São Paulo (IME-USP) invites applications for a faculty position at the Assistant Professor level. The Department is accepting applications in all areas of Computer Science.Candidates with strong potential for research and teaching are expected. Candidates should have a PhD in Computer Science or in a related area. The selected candidate will be responsible for developing research and for teaching in the undergraduate and graduate programs of the department. For details on the application process, visit www.ime.usp.br/dcc/faculty_positionThe documents and selection interview may be in Portuguese or English.The University of São Paulo (USP) is one of the most prestigious educational institutions in South America. It is the best ranked Brazilian university. The Department of Computer Science of IME-USP is responsible for the BSc, MSc and PhD courses in Computer Science, offering some of the most competitive programs in Brazil.More information: http://www.ime.usp.br/dccContact: [email protected] Yoshiharu Kohayakawa U of Sao Paulo ********************************************************3. Postdoctoral position on SMT techniques for word-level formal verification, Trento, ITALYOne post-doc position in ICT on the research project"Advanced SMT Techniques for Word-level Formal Verification - (WOLF)"is available in Trento, Italy, under the joint supervision of - Alessandro Cimatti, FBK, Trento, and - Roberto Sebastiani, DISI, University of Trento.The research activity will be carried out jointly within the Embedded Systems (ES) Research Unit of the Center for Scientific and Technological Research of the Fondazione Bruno Kessler (FBK), Trento, and the Software Engineering, Formal Methods & Security Research Program, at Department of Information Engineering and Computer Science (DISI) of University of Trento.Aim and Scope =============The research activity will aim at investigating and developing novel techniques, methodologies and support tools for Satisfiability Modulo Theories (SMT) for the formal verification of systems. This work will be part of the "Advanced SMT Techniques for Word-level Formal Verification - (WOLF)" project, a three-year research project supported by SRC/GRC (http://www.src.org/compete/s201113/), in strict collaboration with the Formal Verification Group at Intel, Haifa, and other major HW companies.The ultimate goal of the WOLF project is to provide a comprehensive SMT package to support effective formal verification of systems ranging from RTL circuits all the way up to high-level hardware description languages (e.g. SystemC) and software. The package will be implemented on top of the MathSAT SMT platform (http://mathsat.fbk.eu/), and provided as an API.Candidate Profile =================The ideal candidate should have an PhD in computer science or related discipline, and combine solid theoretical background and excellent software development skills (in particular C/C++).A solid background knowledge and/or previous experience on one of the following topics (in order of preference) is required: Satisfiability Modulo Theory (SMT), Propositional Satisfiability (SAT), Model Checking, Automated Reasoning. Previous experience in the following areas will also be considered favourably: Constraint Solving and Optimization, Embedded Systems Design Languages (e.g. Verilog, VHDL).The candidate should be able to work in a collaborative environment, with a strong committment to reaching research excellence and achieving assigned objectives.Terms and dates ===============The position will start as soon as possible, and will have to be renewed yearly, for a maximum of two years. The expected salary will range from about 2200 to 2400 euros net income, and the gross will include previdential (social security) contributions. Facilities for meals at the local canteen can be provided.Applications and Inquiries ==========================Interested candidates should inquire for further information and/or apply by sending email to [email protected], with subject 'POSTDOC ON WOLF PROJECT'.Applications should contain a statement of interest, with a Curriculum Vitae, and the names of reference persons. PDF format is strongly encouraged. It should also indicate an estimated starting date.Contact Persons ===============Dr. ALESSANDRO CIMATTI, Embedded Systems Research Unit, FBK-Irst, via Sommarive 18, I-38123 Povo, Trento, Italy http://sra.fbk.eu/people/cimatti/,Prof. ROBERTO SEBASTIANI Software Engineering, Formal Methods & Security Research Program DISI, University of Trento, via Sommarive 14, I-38123 Povo, Trento, Italy http://disi.unitn.it/~rseba/. =======================================================================The Embedded Systems Research Unit at FBK =========================================The Embedded Systems Unit consists of about 15 persons, including researchers, post-Doc, Ph.D. students, and programmers. The Unit carries out research, tool development and technology transfer in the fields of design and verification of embedded systems.Current research directions include:* Satisfiability Modulo Theory, and its application to the verification of hardware, embedded critical software, and hybrid systems (Verilog, SystemC, C/C++, StateFlow/Simulink).* Formal Requirements Analysis based on techniques for temporal logics (consistency checking, vacuity detection, input determinism, cause-effect analysis, realizability and synthesis).* Formal Safety Analysis, based on the integration of traditional techniques (e.g. Fault-tree analysis, FMEA) with symbolic verification techniques.The Embedded Systems Unit is part of Fondazione Bruno Kessler, formerly Istituto Trentino di Cultura, a public research institute of the Autonomous Province of Trento (Italy), founded in 1976. The institute, through its center for the scientific and technological research, is active in the areas of Information Technology, Microsystems, and Physical Chemistry of Surfaces and Interfaces. Today, FBK is an internationally recognized research institute, collaborating with industries, universities, and public and private laboratories in Italy and abroad. The institute's applied and basic research activities aim at resolving real-world problems, driven by the need for technological innovation in society and industry.The SW Engineering, Formal Methods & Security Research Program at DISI ======================================================================The SW Engineering, Formal Methods & Security R. P. at DISI currently consists on 5 faculties, various post-docs and PhD students. The Unit carries out research, tool development and technology transfer in the fields of Goal-Oriented Requirements Engineering, Agent-oriented SW engineering, Security, and Formal Methods.Referring to formal methods, current research directions include:* Satisfiability Modulo Theory, and its application to the verification of hardware, embedded critical software, and hybrid systems.* Optimization in SMT and its applications.* Advanced Model Checking Techniques for Formal Verification of hardware, embedded critical software, and hybrid systems.The R.P. is part of the Department of Information Engineering and Computer Science, DISI (http://disi.unitn.it/) of University of Trento. University of Trento in the latest years has always been rated among the top-three small&medium-size universities in Italy. DISI currently consists of 50 faculties, 68 research staff and support people, 21 postdocs and 146 Doctoral students, plus administrative and technical staff. DISI covers all the different areas of information technology (computer science, telecommunications, and electronics) and their applications. These disciplines above are studied individually but also with a strong focus on their integration,Location ========Trento is a lively town of about 100.000 inhabitants, located 130 km south of the border between Italy and Austria. It is well known for the beauty of its mountains and lakes, and it offers the possibility to practice a wide range of sports. Trento enjoys a rich cultural and historical heritage, and it is the ideal starting point for day trips to famous towns such as Venice or Verona, as well as to enjoy great naturalistic journeys. Detailed information about Trento and its region can be found at http://www.trentino.to/home/index.html?_lang=en.********************************************************4. PhD position in logic, brain and cognition, Amsterdam, THE NETHERLANDShttp://www.uva.nl/over-de-uva/werken-bij-de-uva/vacatures/nav/type/phd-position/item/13-017.html (DEADLINE: 15:02:2013) The Institute for Logic, Language and Computation (ILLC) currently has a PhD fellowship available, appointment starting on 1 April 2013. Applications are now invited from excellent candidates wishing to conduct interdisciplinary research in the Brain & Cognition priority area of UvA. The successful candidate is expected to write a dissertation in logic, computer science and/or cognitive science, using theoretical tools to model cognitive phenomena. The possible topics include, but are not restricted to, computational cognitive modelling of language, applying logic and complexity in cognitive science, social cognition and modelling working memory.ILLC's central research area is the study of fundamental principles of encoding, transmission and comprehension of information. Research at ILLC is interdisciplinary, and aims at bringing together insights from various disciplines concerned with information and information processing, such as logic, mathematics, computer science, linguistics, cognitive science, artificial intelligence, musicology and philosophy. For the research carried out by the individual staff members of ILLC, see People at ILLC and check their personal webpages.Brain & Cognition - UvA research priority areaResearch in the area of cognition is very well represented within several faculties of the University of Amsterdam in research teams that include psychologists, neurobiologists, neurologists, psychiatrists, behavioral economists, logicians, and linguists. They study cognition at the level of the neurons and neural systems involved, as well as at the level of the regulation of behavior, the theoretical modelling of behavior, and cognitive disorders. The ILLC participates in the research priority area Brain & Cognition with its research program on Cognitive Modelling.Job DescriptionComplete and defend a PhD thesis within the official appointment duration (see text below). Regularly present intermediate research results at international workshops and conferences, and publish them in proceedings and journals. Collaborate with the researchers in other relevant parts of ILLC and Brain & Cognition research area. Participate in the organization of research activities and events at ILLC, such as conferences, workshops and joint publications.RequirementsA Master's degree with excellent grades in a relevant field, such as logic, computer science, mathematics, artificial intelligence, linguistics, philosophy, or cognitive science. Good academic writing and presentation skills. Good social and organizational skills.Further InformationYou are welcome to contact Dr. Jakub Szymanik to discuss your plans ahead of applying formally.AppointmentThe PhD candidate will be appointed at the Faculty of Humanities at University of Amsterdam. The appointment is for 4 years for 0,8 fte (also possible: 3 years and 3 months 1,0 fte) under the terms of employment currently valid for the Faculty. In the first instance, a contract will be given for 16 months, with an extension for the following 32 months on the basis of a positive evaluation. Starting date of the contract will be April 1st 2013.The salary for the position (on a full-time base) will be € 2.042 during the first year (gross per month) and will reach € 2.612 during the fourth year, in accordance with the CAO for Dutch universities.Job ApplicationApplications for the PhD position should include:a research proposal; a letter of motivation; an up-to-date CV; a list of grades obtained for your Bachelor and Master (or equivalent) programmes; names and contact details of two academic referees; a writing sample, e.g. a paper you have published, MSc thesis or a term paper.The research proposal should outline what kind of research you wish to undertake and why you believe the Brain & Cognition priority area within ILLC would provide the right environment for your PhD studies.Applications should be submitted electronically stating the job vacancy number in the subject field via: http://www.uva.nl/over-de-uva/werken-bij-de-uva/vacatures/nav/type/phd-position/item/13-017.html Completed applications should be submitted by 23.59 hours (CET) on February 15th 2013. Late or incomplete applications will not be accepted. Selected candidates will be invited for the interviews in the first week of March.-- Institute of Logic, Language and Computation Faculty of Humanities University of Amsterdam Science Park 107 P.O. Box 94242 1098 XG Amsterdam The Netherlands http://www.jakubszymanik.com/ E-mail: [email protected] ********************************************************5. CALL FOR PAPERS: Journal of Cognitive Sciencehttp://j-cs.org/ Aims & Scope:The Journal of Cognitive Science (JCS) is published quarterly (from the year 2011) as the official journal of International Association for Cognitive Science (IACS) by the Institute for Cognitive Science at Seoul National University, located in Seoul, Korea. It aims to publish research articles of the highest quality and significance within the disciplines that form cognitive science, including philosophy, psychology, linguistics, artificial intelligence, neuroscience, anthropology, and education. Submissions that cross traditional disciplinary boundaries in either themes or methods are especially encouraged.Contributions may be in the form of articles, brief reports, reviews, or squibs. The JCS showcases quality research, encourages the exchange of ideas, and illustrates the interdisciplinary work that is the hallmark of cognitive science. Authors who have published in JCS include Paul Smolensky, Alfonso Caramazza, Dedre Gentner, Paul Thagard, and Jean-Pierre Descles. Three consecutive Special Issues on David Chalmers' Computational Theory of Mind and his detailed reply to other scholars are available all online free (2012 vol and 2011 vol) at http://j-cs.org/. JCS vol. 10 (2009) includes the special issues of 'Color in Thought and Language' and 'Quantification in East Asian Languages,' and JCS vol. 11, Issue 1 (2010) is the special issue of 'Reading Development and Reading Disorders in Asian Languages.'Editor-in-Chief:Chungmin Lee, Seoul National UniversityEditors:Gualtiero Piccinini, University of Missouri - St. Louis Naomi Miyake, University of Tokyo Koiti Hasida, National Institute of Advanced Industrial Science and Technology, Japan Kyoung-Min Lee, Seoul National UniversityThe Editorial Board and Advisory Editorial Board are listed on http://j-cs.org/editors/editors.php.Submission Guidelines:All submissions must be in English, written clearly and in sufficient detail that referees can assess the merits of the work. Papers should be no longer than 10,000 words and should conform to the JCS style guide (See For Authors on: http://j-cs.org/). Papers will be received anytime and processed as promptly as possible.Authors should send an electronic copy (both MS Word and PDF files) of their submission to [email protected] and [email protected] submission will be sent to three international reviewers. The reviews will be forwarded to the authors, who will then have an opportunity to make revisions if warranted.Bibliographic Information:Commenced publication in 2000 ISSN: 1598-2327 Year 2000 - Volume 1, Issues 1 & 2 (Combined) Year 2001-2010 - Volumes 2-11, 2 Issues each Year 2011 - Volume 12, Issue 1, 2, 3, & 4 (quarterly from year 2011) Year 2012 - Volume 13, Issue 1, 2, 3, & 4 (quarterly from year 2011) Subscription: per volume (print) $34 (individual); $85 (institution); $34 (e- back vols).Questions? Please direct any questions, comments or concerns to [email protected]. For more information visit http://j-cs.org/ *See "For Authors" for CFP(http://j-cs.org/pub/pub.php), free online access to all pdf paper contents, in http://j-cs.org/ Journal of Cognitive Science******************************************************** More Information about the AISB can be found at http://www.aisb.org.uk/Bulletins maintained by: Dr Katerina KoutsantoniProgrammes ManagerInstitute of PsychiatryKing's College LondonLondon SE5 8AFT: 020 7848 0191 ------------------------------------------- AGI Archives: https://www.listbox.com/member/archive/303/=now RSS Feed: https://www.listbox.com/member/archive/rss/303/21088071-f452e424 Modify Your Subscription: https://www.listbox.com/member/?member_id=21088071&id_secret=21088071-58d57657 Powered by Listbox: http://www.listbox.com
