June 2020 - Haskell - Haskell.org

12 PhD Positions in the Doctoral Program Logical Methods in Computer Science (LogiCS) - fully funded - Vienna, Austria - Deadline: 12 June 2020
by Mihaela Rozman 02 Jun '20

02 Jun '20

========================================================== ========================================================== TU Wien (Vienna University of Technology) TU Graz (Graz University of Technology), and JKU Linz (Johannes Kepler University), are seeking highly qualified PhD candidates for the joint doctoral program on Logical Methods in Computer Science (LogiCS), funded by the Austrian Science Fund (FWF). We are recruiting up to 12 fully funded doctoral candidates for a starting period of 3 years. STARTING DATE: Negotiable LOCATION: Vienna or Graz, Austria (candidate´s choice) SALARY: The PhD candidates receive an employment contract DEADLINE: June 12, 2020 WEBSITE: https://logic-cs.at/phd ========================================================== ========================================================== The PhD program focuses on interdisciplinary research topics covering – computational logic, and applications of logic to – databases and artificial intelligence, – computer-aided verification, – security and privacy, – cyber-physical systems, as well as to – distributed systems. ========================================================== ============= RESEARCH AREAS ============= At the moment we are particularly looking for PhD candidates interested in the following areas: * Automated Software Verification * Description Logics * Epistemic logic in distributed computing * Game-based Semantics * Fixed-Parameter Algorithms and Complexity * Formal Verification of hybrid systems * Knowledge Representation and Reasoning * Model Checking * Modeling and analysis of digital integrated circuits * Networking and Communication Technology * Normative Reasoning * Ontology-based Data Access * Security and Privacy * Scheduling and logic programming * Study of the Interaction between rules from a knowledge base and rules arising from machine learning * Topology in distributed computing * Quantified Boolean Formulas ============= THE PROGRAM ============= Our PhD program LogiCS is focusing on logic and its applications in computer science. Successful applicants will work with and be mentored by leading researchers in the fields of computational logic, databases and knowledge representation, computer-aided verification, security and privacy, cyber-physical systems, and distributed systems. The LogiCS doctoral program offers top research expertise, and a stimulating and supportive environment. The LogiCS is coordinated by TU Wien, which offers an outstanding research environment and numerous professional development opportunities. The Faculty of Informatics of TU Wien is the largest one in Austria and is consistently ranked among the best in Europe. The founding body of the LogiCS, the Austrian Science Fund (FWF), offers multiple funding opportunities for young researchers to advance their independent scientific careers. ============= FACULTY MEMBERS ============= - E. Bartocci - A. Biere - R. Bloem - A. Ciabattoni - T. Eiter - G. Gottlob - R. Grosu - L. Kovacs - M. Maffei - M. Ortiz - U. Schmid - M. Seidl - S. Szeider - G. Weissenbacher - S. Woltran The LogiCS faculty comprises 15 renowned researchers with strong records in research, teaching and advising, complemented by 15 associated members who further strengthen the research and teaching activities of the college. ============= POSITIONS AND FUNDING ============= * We are looking for 12 very strong doctoral students. * The doctoral positions are funded for at least 3 years according to the funding scheme of the Austrian Science Fund (FWF) (EMPLOYMENT CONTRACT) * The location of the research post is Vienna or Graz, Austria. ============= HOW TO APPLY ============= Detailed information about the application process is available on the LogiCS web-page: https://logic-cs.at/phd/admission/ * The applicants are expected to have completed an excellent diploma or master’s degree in computer science, mathematics, or a related field. * Candidates with comparable achievements will be considered on a case-by-case basis. * Applications by the candidates need to be submitted electronically. Application Deadline: June 12, 2020 ============= LOGIC IN AUSTRIA ============= Austria has a highly active and successful logic in the computer science community. Recent activities include: Austrian Research Network in Rigorous Systems Engineering - http://www.arise.or.at Vienna Center for Logic and Algorithms - http://www.vcla.at International Kurt Goedel Society - http://www.kgs.logic.at ============= HIGHEST QUALITY OF LIFE ============= The Austrian cities Vienna, Graz, and Linz, located close to the Alps and surrounded by beautiful nature, provide an exceptionally high quality of life, with a vibrant cultural scene, numerous cultural events, world-famous historical sites, a large international community, a varied cuisine and famous coffee houses. If you decide to be located in Vienna, the city features a vibrant and excellence-driven research landscape, with several leading research institutes (e.g., University of Vienna, IST, AIT, SBA) and universities continuously establishing collaborations in various fields. Finally, Vienna has been consistently ranked by Mercer over the last years the best city for quality of life worldwide. ============= ADDITIONAL INFORMATION ============= LogiCS web-page: https://logic-cs.at/phd/admission/ For further information please contact: info(a)logic-cs.at <mailto:info@logic-cs.at> ============= TWITTER ============= @vclaTUwien

1 0

[CFP] 1st Workshop on Cyber Forensics and Advanced Threat Investigations
by CiberSeguridad UK 01 Jun '20

01 Jun '20

1st International Workshop on Cyber Forensics and Advanced Threat Investigations in Emerging Networks (CFATI 2020) https://cfati.conceptechint.net/index.html in conjunction with EUSPN-2020 conference Nov 2 - 5, 2020 , Madeira, Portugal Important dates Paper Submission: 30th June, 2020 Acceptance Notification: 22nd Aug, 2020 Final Manuscript Due: 30th Aug, 2020 Scope of the workshop: The evolve of networked technologies, such as the internet of things and cyber-physical systems, possess challenges base on the highly limited capabilities of their infrastructure devices and the type of data that can be processed by these devices. Complicated efforts are required in suitable and timely manners against any detected threats. Moreover, new frameworks are required to collect and preserve potential evidential data in suitable and timely manners as well. To guarantee proper cyber-defenses and strategies against the expanding landscape of criminal activities as well as rapidly advancing network technologies such as SDN or 5G and 6G. There is a growing need for new methodologies, tools, and techniques, capable of extracting, preserving, and analyzing different evidence trails in various networked services and devices such as routers, firewalls, web proxies, and network monitoring tools. Additionally, there is also a growing need for research in new systems that are capable of analyzing network traffic, netflows, and systems logs. Satisfying these demands will aid in reconstructing the timeline of the cyber-crime/attack under investigation and, possibly, the identification of the potential actor(s). The main motivation for this Workshop is to bring together researchers and practitioners working on cyber forensics and threat investigations for emerging networks to disseminate current research issues and advances. Original technical papers describing new, state-of-the-art research will be considered. The Workshop welcomes submissions that evaluate existing research results by reproducing experiments. The aim of this workshop is to provide insight for the discussion of the major research challenges and achievements on various topics of interest. CFATI 2020 will be held in conjunction with the 11th International Conference on Emerging Ubiquitous Systems and Pervasive Networks (EUSPN 2020) which is co-organized on November 2-5, 2020, Madeira, Portugal. Papers on practical as well as on theoretical topics and problems in various topics related to cyber forensics and threat investigations are invited, with special emphasis on novel techniques and tools to collect data from networked devices and services in emerging networks (such as the ones can be found in cyber-physical systems and Internet of things). Topics include (but are not limited to): · Advanced threat investigations, forensic and anti-forensic techniques · Cooperative and distributed forensics and threat investigations · Data exfiltration techniques from networked devices and services (e.g. cyber-physical systems, and Internet-of-Things) · Attack detection, traceback, and attribution in SDN, 5G, and 6G · Methods for reconstruction of internet activities in SDN, 5G, and 6G · Forensics and threat investigations in IoT · Forensics and threat investigations in peer-to-peer, social, and cloud networks · Vulnerability & threat detection and mitigation techniques for networked services · Novel large-scale investigations techniques to analyze intelligence data sets and logs · Tools and services for cyber forensics and threat investigations · VoIP forensics, VoIPoW forensics We also encourage contributions describing innovative work in the realm of cybersecurity, cyber defense, and digital crimes. SUBMISSION AND PROCEEDINGS All papers accepted for workshops will be included in the EUSPN 2020 proceedings, which will be published by Elsevier. The authors must follow Elsevier guidelines as given on the EUSPN 2020 website. The number of pages for workshop papers is limited to 6 pages https://cfati.conceptechint.net/submissions.html Paper format The submitted paper must be formatted according to the guidelines of Procedia Computer Science, MS Word Template, Latex, Template Generic, Elsevier. Submission Authors should submit their contributions here, electronically in PDF format. https://easychair.org/conferences/?conf=cfati2020 The submission processes will be managed by easychair.org. If you have used this system before, you can use the same username and password. If this is your first time using EasyChair, you will need to register for an account by clicking the "I have no EasyChair account" button. Upon completion of registration, you will get a notification email from the system and you are ready for submitting your paper. You can upload and re-upload the paper to the system by the submission due date. In case of any problem with submission, please contact the workshop chair for assistance https://cfati.conceptechint.net/contact-us.html Selective outstanding papers Selected papers presented at the workshop, after further revision, will have the opportunity to be published in special issues in indexed and/or high impact factor journals (details will be put online shortly). All workshops accepted papers will be printed in the conference proceedings published by Elsevier Science in the open-access Procedia Computer Science series (online). Procedia Computer Sciences is hosted on www.elsevier.com and on Elsevier content platform ScienceDirect, and will be freely available worldwide. All papers in Procedia will also be indexed by Scopus and Engineering Village (Ei). This includes EI Compendex. All accepted papers will also be indexed in DBLP. If you have any further questions, please contact the workshop organizers via https://cfati.conceptechint.net/contact-us.html

1 0

Postdoc position at University of Bristol in functional programming
by Meng Wang 01 Jun '20

01 Jun '20

Dear Haskellers, The programming languages group at Bristol has an open postdoc position in the area of functional programming. Haskell programmers are particularly welcome! Best regards, Meng Meng Wang, PhD (Oxon) Senior Lecturer in Programming Languages International Director, SCEEM School We are looking for an enthusiastic, self-motivated individual to contribute to an EPSRC-funded project, which aims to design programming languages that guarantee strong properties, and the application of them. The post holder will be based in the programming languages group at the University of Bristol Computer Science Department, which consists of three academics, two PDRAs, and a number of PhD students. You will also be working with a network of partners from Oxford, Edinburgh, Kent, Tohoku Japan, Chalmers Sweden, and industrial partner DFINITY Foundations providing expertise on WebAssembly. The University of Bristol is a world-leading university (consistently ranked top 50 in the world by QS) with an exceptionally strong Faculty of Engineering (which the Department of Computer Science is part of). Bristol is a mid-sized city and is widely considered as one of the best places to live in the country. You should have a PhD in programming languages, or a closely related field. This post is available immediately and is offered on a full-time based for an initial term of three years. Appointment at a higher salary point than grade I is possible based on relevant experience. Informal enquiries should be addressed to Dr. Meng Wang (meng.wang(a)bristol.ac.uk<mailto:meng.wang@bristol.ac.uk>) For more details about this position, please see: http://www.bristol.ac.uk/jobs/find/details.html?nPostingID=68914&nPostingTa… Deadline: 28 Jun 2020

1 0