[TYPES/announce] Call for PhD Students on the topics of MDE/Domain-specific Languages and Blockchains in Innovation and Entrepreneurship
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] === Call for PhD Students === Topics: MDE/DSLs & Blockchain University of Porto, Portugal https://web.fe.up.pt/~ffcorreia/grant-brpx/ = This grant is offered in the context of a groundbreaking funding initiative started by the Ph.D. Program in Informatics Engineering ( https://dei.fe.up.pt/prodei) at the University of Porto in collaboration with some of the leading IT companies in Portugal to support outstanding candidates. ## The Topic ## Open collaboration has shown to be a key factor to the survival and competitiveness of many industries. However, matchmaking between the needs of big corporations, the solutions that the startups can provide and the knowledge and research in the universities is intricate, and the incentives for the parties involved are misaligned. We think there is space for an automated and decentralized approach to this problem. Distributed Ledger Technologies (DLTs) and smart-contracts can provide interesting solutions for building a merit-based platform, the incentives system, setting the rules of the relationship between parties, providing governance throughout the process, and making everything tamper-proof and transparent. Existing research and practice around Domain-Specific Languages (DSLs) and Model-Driven Engineering (MDE) may help to overcome some of the existing challenges that underlie this topic. ## The University of Porto ## The U. Porto is located in one of the major urban areas of Portugal - the city of Porto (https://youtu.be/YCOS97q_Yb4), which is often ranked as one of the best cities to be a student (https://bit.ly/2EERuUB). The University is one of the most notable universities in the country and in Europe ( https://en.wikipedia.org/wiki/University_of_Porto#Rankings). The Ph.D. project will be carried out at the Department of Informatics Engineering (https://dei.fe.up.pt/pt/home-page/) of the Faculty of Engineering of the University of Porto, one of the most dynamic and fastest growing departments of the U. Porto. ## Funding ## This grant is funded by Bright Pixel (https://brpx.com/) and includes: - A monthly grant of 1100€ (above the Portuguese national grants, 980€) - Tuition fees for the duration of the 4 school years - Additional funding for traveling and equipment - 2 MSc grants/year, to be supervised by the Ph.D. student ## Applying to the Grant ## The candidate should have a very strong background in informatics engineering or computer science. Demonstrable interest in DLT, Innovation, Domain-Specific Languages or Model-Driven Engineering will be valued. Interested candidates should send a 1 page PDF document to filipe.corr...@fe.up.pt and hugo.ser...@fe.up.pt, containing: - A summarized CV - A one paragraph statement of why you should be selected for the grant ## More About the Initiative ## Additional advantages of this initiative are: - A Ph.D. project tightly coupled with the industry and focused on problems of great interest to the industry; - Access to training activities and workshops promoted by the funding company (including training on additional technical areas and soft skills); - Privileged access to technical reports and technology; - Advise on business plans and IP (registration, patent applications, etc.); - Privileged access to investors investor capital and startup programs; - Possibility to achieve higher impact based on the combination of two worlds (academia + industry) and on the associated resources;
[TYPES/announce] Call for PhD students: Logical Methods in Computer Science (Vienna, Austria)
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] (* Apologies if you got multiple copies of this email *) Funded Doctoral Positions in Computer Science [http://logic-cs.at/phd/] TU Wien, TU Graz, and JKU Linz are seeking exceptionally talented and motivated students for their joint doctoral program LogiCS. The LogiCS doctoral college focuses on interdisciplinary research topics covering (i) computational logic, and applications of logic to (ii) databases and artificial intelligence as well as to (iii) computer-aided verification. THE PROGRAM LogiCS is a doctoral college focusing on logic and its applications in computer science. Successful applicants will work with and be supervised by leading researchers in the fields of computational logic, databases and knowledge representation, and computer-aided verification. FACULTY MEMBERS M. Baaz A. Biere R. Bloem A. Ciabattoni U. Egly T. Eiter C. FermuellerR. Grosu A. Leitsch M. Ortiz R. Pichler S. Szeider H. Tompits H. Veith G. Weissenbacher The LogiCS faculty comprises 15 renowned researchers with strong records in research, teaching and advising, complemented by 12 associated members who further strengthen the research and teaching activities of the college. Details are provided on http://logic-cs.at/faculty/ POSITIONS AND FUNDING We are looking for 1 doctoral students per faculty member, where 30% of the positions are reserved for highly qualified female candidates. The doctoral positions are funded for a period of 3 years according to the funding scheme of the Austrian Science Fund (details: http://www.fwf.ac.at/de/forschungsfoerderung/personalkostensaetze/) The funding can be extended for one additional year contingent on a placement at one of our international partner institutions. CURRENT RESEARCH AREAS At the moment we are particularly looking for people in the following areas: * Automated reasoning and symbolic computation * Formal Verification of hybrid systems * Model Checking HOW TO APPLY Detailed information about the application process is available on the LogiCS web-page http://logic-cs.at/phd/ 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. Next application Deadline: March 1, 2016. LOGIC IN AUSTRIA Austria has a highly active and successful logic in computer science community. Recent activities include: vsl2014.at Vienna Summer of Logic, the Largest Conference in the History of Logic www.arise.or.at Austrian Research Network in Rigorous Systems Engineering vcla.at Vienna Center for Logic and Algorithms kgs.logic.at International Kurt Goedel Society 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. For further information please contact: i...@logic-cs.at
[TYPES/announce] Call for PhD students
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Dear all, I am writing to inform you that the IT University of Copenhagen is looking for outstanding PhD applicants in the areas of Programming languages, automated reasoning, logical frameworks, proof assistants, semantics, category theory, domain theory, distributed and mobile computing, business processes, concurrency theory, electronic voting, formal methods, verification, algorithms, planning, scheduling, verification, test, configuration; user interface software technology, ubiquitous computing, software architectures, empirical studies of software development in organizations, functional and object-oriented languages. Please find more information about the PhD positions on our webpage. http://www1.itu.dk/sw13225.asp Application deadline: October 10, 2008, noon. Sincerely yours, -- Carsten Schuermann