CPS Position Announcements

Title Content Posted Updatedsort icon
Faculty Search - Aerospace Engineering,University of Michigan The Department of Aerospace Engineering at The University of Michigan invites applications for multiple tenure-track/tenured faculty positions in all areas of Aerospace Engineering. We are seeking exceptional candidates who will develop a world-class research program and innovative educational exper...more Dec 1 2016 - 4:56pm 7 years 45 weeks ago
15 Research Positions for PhD Candidates (f / m) System Correctness under Adverse Conditions (SCARE) On 11 November 2016, the DFG extended SCARE for a second phase of 4,5 years duration starting from 1 April 2017. This comprises 15 new doctoral positions of three years each. The Carl von Ossietzky University of Oldenburg, Germany, offers 15 Research Positions for PhD Candidates in the Computer S...more Dec 5 2016 - 12:07pm 7 years 44 weeks ago
Science of Security (SoS) Summer Internship Positions The practice of the "security of science" aims to approach knowledge discovery in the field of cybersecurity in a way that validates predictions though logic or repeatable empirical experiments. Science of security emphasizes the methodology of research in cyber-security as much as the results of th...more Dec 6 2016 - 4:58pm 7 years 44 weeks ago
Lecturer/Senior Lecturer openings in Artificial Intelligence and Machine Learning at Imperial College London The Department of Computing at Imperial College London invites applications for full-time faculty members at the Lecturer/Senior Lecturer level (comparable to American tenure-track Assistant Professorships) who can contribute to research and teaching, in particular in the area of Artificial Intellig...more Dec 15 2016 - 12:33pm 7 years 43 weeks ago
Lecturer/Senior Lecturer openings in Artificial Intelligence and Machine Learning at Imperial College London The Department of Computing at Imperial College London invites applications for full-time faculty members at the Lecturer/Senior Lecturer level (comparable to American tenure-track Assistant Professorships) who can contribute to research and teaching, in particular in the area of Artificial Intellig...more Dec 15 2016 - 12:33pm 7 years 43 weeks ago
Associate/Assistant Professor in Programming Languages at the Technical University of Denmark Dear colleagues, There is an open position in the section for Formal Methods at the Department of Applied Mathematics and Computer Science of Technical University of Denmark. The position is at the assistant or associate professor level within the area of implementation of programming languages. T...more Dec 15 2016 - 2:04pm 7 years 43 weeks ago
Lecturer in Human Computer Interaction at Leicester Lecturer in Human Computer Interaction University of Leicester, UK Salary Grade 8 - PS38,183 to 46,924 per annum Permanent and full-time contract Ref: SEN00780-1 Together our staff and students are discovering innovative ways to change the world for the better and there has never been a more...more Dec 28 2016 - 3:58pm 7 years 41 weeks ago
Urban informatics Associate or Full Professor position at CUSP Career Opportunities Tenured Associate or Full Professor at CUSP http://cusp.nyu.edu/career-prospects/careers/tenured-associate-full-professor/ NYU's Center for Urban Science and Progress (CUSP) invites applications for a tenured Associate or Full Professor position in the Center for Urban Science...more Dec 28 2016 - 5:27pm 7 years 41 weeks ago
10+ Open Positions in Tokyo: Formal Methods and Cyber-Physical Systems Dear colleagues, For our new 5.5-year research project (ERATO MMSD, Metamathematics for Systems Design) we are looking for 10+ senior researchers and postdocs, together with research assistants (PhD students) and internship students. This broad project aims to extend the realm of formal met...more Dec 28 2016 - 6:21pm 7 years 41 weeks ago
Funded PhD Positions in Runtime Verification and Model Checking at Iowa State University Funded PhD Assistantships - Laboratory for Temporal Logic in Aerospace Iowa State University of Science and Technology, Ames, Iowa, USA http://laboratory.temporallogic.org/home-page/phd_2017/ The Iowa State University of Science and Technology offers multiple fully-funded PhD positions, commen...more Jan 3 2017 - 3:43pm 7 years 40 weeks ago
Faculty Position in Cyber Physical Systems Security at the University of Arizona The Systems and Industrial Engineering (SIE) Department at the University of Arizona invites applications and nominations for a tenure-track position in the areas of (1) Cyber-Physical System Security, (2) Cyber Resiliency Engineering, (3) Modeling and Optimization of Networked Devices (e.g. Mobile,...more Jan 6 2017 - 12:04pm 7 years 40 weeks ago
Call for Application: Computing Research Association (CRA) Graduate Fellows Program The Computing Research Association Education Committee (CRA-E) is now accepting applications for the CRA-E Graduate Fellows Program (http://cra.org/crae/activities/fellows/). The program provides opportunities for Ph.D. candidates in computing fields to contribute to CRA-E projects, network with com...more Jan 20 2017 - 12:37pm 7 years 38 weeks ago
2016 European PhD Award on Control for Complex and Heterogeneous Systems 2016 European PhD Award on Control for Complex and Heterogeneous Systems As every year, we would like to encourage young researchers that have recently obtained their PhD degree to participate in the process for the selection of the best PhD thesis defended in a European University in the field of...more Jan 20 2017 - 12:40pm 7 years 38 weeks ago
Student Scholarship for ACM Turing Award Celebration Call for Applications Attachments: CALL FOR APPLICATIONS SCHOLARSHIP FOR ACM TURING AWARD CELEBRATION: CELEBRATING 50 Years of Computing's Greatest Achievements San Francisco | June 23-24, 2017 | https://www.acm.org/awards/turing-award-50-conference. SIGAI would like to sponsor 2 student scholarship recipients to attend the 50th...more Jan 20 2017 - 3:05pm 7 years 38 weeks ago
Two Positions - PostDoc and Research Group Leader in Resilience path at TU Dresden, Germany Research Group Leader: Orchestration of Resilience Mechanisms The Cluster of Excellence 'Center for Advancing Electronics Dresden' (cfaed) offers, subject to granted funds, a position as Research Group Leader Orchestration of Resilience Mechanisms (Subject to personal qualification employees are...more Jan 20 2017 - 3:09pm 7 years 38 weeks ago
2 PhD positions @University of Twente: Fewer train delays via big data, fault trees, model checking Fewer train delays via big data analytics, fault trees, and stochastic model checking? The University of Twente seeks 2 PhD candidates We seek two excellent PhD candidates to work on the SEQUOIA project. We aim to improve the reliability of the (Dutch) railroads by deploying big data analytics to p...more Jan 20 2017 - 3:20pm 7 years 38 weeks ago
Illinois Science of Security Lablet Summer Internship Program Application Deadline Extended The Illinois Science of Security Lablet Summer Internship Program has extended the application deadline to February 28. The practice of the "security of science" aims to approach knowledge discovery in the field of cybersecurity in a way that validates predictions though logic or repeatable empiric...more Dec 15 2016 - 1:46pm 7 years 37 weeks ago
Senior Research Scientist Cyber-physical Systems at Siemens Corporate Technology, Princeton NJ Interested? Apply here Division Description: Siemens is a global technology powerhouse that has stood for engineering excellence, innovation, quality, reliability and internationally for more than 165 years. As a global technology company, Siemens is rigorously leveraging the advantages that this...more Feb 6 2017 - 3:41pm 7 years 35 weeks ago
Post-doc in analysis and compilation of software models Postdoc in Analysis and Compilation of UML Ref. No.: 2017/0199 Form of employment: Temporary employment, 2 years Scope: 100 % Last date of application: 2017-05-01 Employment location: Vasteras Link: http://www.mdh.se/hogskolan/jobb/postdoc-in-analysis-and-compilation-of-uml-1.95820 MDH in Esk...more Feb 20 2017 - 3:24pm 7 years 33 weeks ago
Chairs in Data-oriented Software Engineering, Knowledge Discovery and Machine Learning To grow our capacity for interdisciplinary and applied research with strong foundations in the core of our discipline, we are advertising for two chairs, in - Data-oriented Software Engineering, and - Knowledge Discovery and Machine Learning They will be supported by several lectureships to be a...more Feb 20 2017 - 6:04pm 7 years 33 weeks ago
Professor / Associate Professor and Head of Department - Department of Computer Science Professor / Associate Professor and Head of Department - Department of Computer Science Job ID 22677. In pursuit of the ideals of excellence and diversity, the University of Pretoria wishes to invite applications for the following vacancy. The University of Pretoria's commitment to quality makes u...more Mar 6 2017 - 4:02pm 7 years 31 weeks ago
Post-doc position : Application-aware control in reconfigurable architectures Post-doc position : Application-aware control in reconfigurable architectures See online : https://www.inria.fr/en/institute/recruitment/offers/post-doctoral-research-fellowships/post-doctoral-research-fellowships/(view)/details.html?id=PNGFK026203F3VBQB6G68LOE1&LOV5=4508&LG=EN&Resultsp...more Mar 6 2017 - 4:10pm 7 years 31 weeks ago
TRAVEL GRANTS: VerifyThis Verification Competition 2017 TRAVEL GRANTS VerifyThis Verification Competition 2017 April 22-23, 2017 | Uppsala, Sweden | http://verifythis.ethz.ch IMPORTANT DATES Application deadline: March 6th, 2017 Competition: April 22-23, 2017 ABOUT VerifyThis 2017 is a program verification competition taking place as part of the E...more Mar 6 2017 - 4:40pm 7 years 31 weeks ago
3 postdoc positions in engineering dependable and secure systems - University of Florence- Italy The University of Florence http://www.unifi.it/, Florence, Italy, opens three Post Doctoral positions in ***Dependable and Secure Systems*** at the Resilient Computing Lab (RCL, http://rcl.dsi.unifi.it), Department of Mathematic and Informatics. Deadline: 23 March 2017 We are recruiting three po...more Mar 20 2017 - 5:08pm 7 years 29 weeks ago
Postdoc at Inria/Irisa on translation validation from Liquid Haskell Project-team TEA (Inria-Rennes, France) is seeking a talented PhD with demonstrated experience in theory and implementation of refinement types in programming, automated verification and proof of programs. The aim of the post-doctoral project is to design a certified code generator from a system pr...more Mar 20 2017 - 5:10pm 7 years 29 weeks ago
Three Graduate Teaching Assistantships in Computer Science (SEN00817) — University of Leicester Three Graduate Teaching Assistantships in Computer Science (SEN00817) The Department of Informatics (formerly known as Department of Computer Science) is pleased to offer a funded Graduate Teaching Assistantship for October 2017 entry to its Doctor of Philosophy (PhD) programme. The Graduate Teach...more Apr 14 2017 - 4:05pm 7 years 26 weeks ago
Postdoc Position - CPS Modelling for Smart Manufacturing (NTU, Singapore) We are seeking a strong and motivated candidate for the position of Research Fellow (Postdoctoral Fellow) in the area of Cyber-Physical Systems, with research focus on the modelling, simulation and synthesis of continuous time and discrete time models. This work will enable the development of a cybe...more May 3 2017 - 4:13pm 7 years 23 weeks ago
Postdoc Position - Rigorous System Design (RSD) team at Verimag Laboratory, Grenoble, France. A Postdoc Position is available in the Rigorous System Design (RSD) team at Verimag Laboratory, Grenoble, France. http://www-verimag.imag.fr/rsd.html The position is for two years with possible extension. It is available immediately but the start date can be adapted to the candidate constraints...more May 5 2017 - 12:13pm 7 years 23 weeks ago
Open Positions in Tokyo: Formal Methods and Cyber-Physical Systems Dear colleagues, For our new 5-year research project (ERATO MMSD, Metamathematics for Systems Design) we are looking for senior researchers and postdocs (10+ positions in total and several are still open), together with research assistants (PhD students) and internship students. This broad...more May 5 2017 - 4:23pm 7 years 23 weeks ago
PhD Student Position on 'Agent-based modeling of drones and their environment in smart cities' These PhD works will be co-supervised by Stephane Galland and Christophe Nicolle. And they will take place in the LE2I Laboratory (Laboratoire d'Electronique, Informatique et Image), of the Burgondy Franche-Comte University, located inside the buildings of the Belfort-Montbeliard University of Techn...more May 5 2017 - 4:24pm 7 years 23 weeks ago
Fully-funded PhD Studentship on Blockchain Technologies A fully funded PhD studentship on Blockchain Technologies and Applications is available at the Computing Science and Mathematics division of the University of Stirling, UK. The studentship will cover tuition fees at Home/EU rate, and a standard stipend at RCUK rates (from about 14,000GBP), for t...more May 16 2017 - 10:26am 7 years 21 weeks ago
22 PhD student positions in Autonomous Systems and Software SWEDEN'S LARGEST RESEARCH PROGRAM OFFERS 22 PHD POSITIONS Wallenberg Autonomous Systems and Software Program (WASP) is Sweden's largest individual research program ever, and provides a platform for academic research and education, fostering interaction with Sweden's leading technology companies....more May 16 2017 - 10:28am 7 years 21 weeks ago
2 postdoc positions in engineering dependable and secure systems - University of Florence- Italy The University of Florence Florence, Italy, opens two Post Doctoral positions in ***Dependable and Secure Systems*** at the Resilient Computing Lab (RCL, http://rcl.dsi.unifi.it), Department of Mathematic and Informatics. Deadline: 23 June 2017 We are recruiting two postdoctoral researchers in t...more Jun 9 2017 - 2:30pm 7 years 18 weeks ago
Postdoc/PhD positions in Wireless Sensor Networks and Internet of Things at Skoltech, Russia Postdoc and PhD positions: Wireless Sensor Networks (WSN) and Internet of Things (IoT) Location: Moscow, Russia Funding amount per month: starting from RUR 75,000 (EUR 1,200 equiv.) for PhD students, internationally competitive salary for Postdocs depending on qualification Hours: Full Time St...more Jun 9 2017 - 2:36pm 7 years 18 weeks ago
Senior Lecturer in Computer Systems,Specialization in Embedded Systems, at Uppsala University Applications are invited for a position as Senior Lecturer In Computer Systems With Specialization in Embedded Systems (Tenured position) Particular weight given to techniques for automated analysis of correctness, security and safety of software and hardware for embedded computer systems. Deadli...more Jun 9 2017 - 2:59pm 7 years 18 weeks ago
PostDoc in Dynamic Binary Translation 1 Research Associate (PostDoc) in Dynamic Binary Translation The University of Cambridge Deadline 9 July 2017 http://www.jobs.cam.ac.uk/job/13972/ The Project Applications are invited for a Research Associate to work on Dynamic Binary Translation. Our research group focuses on a number...more Jun 20 2017 - 3:30pm 7 years 16 weeks ago
TOSN Call for nomination CALL FOR NOMINATIONS Editor-In-Chief ACM Transactions on Sensor Networks (June 2017) The term of the current Editor-in-Chief (EiC) of the ACM Transactions on Sensor Networks (TOSN) is coming to an end, and the ACM Publications Board has setup a nominating committee to assist the Board in selectin...more Jun 20 2017 - 4:35pm 7 years 16 weeks ago
Announcing a Grant Program for Local Government Participants in the GCTC and the Registration for the Tech Jam NIST has released a grant program for US local governments participating in the Global City Teams Challenge (GCTC). The new program is called the "Replicable Smart City Technologies" (RSCT) Cooperative Agreement Program. Under the RSCT funding opportunity, three US local governments participating in...more Mar 8 2016 - 8:35am 7 years 14 weeks ago
GCTC Participation Guide and NSF Grant for GCTC Action Clusters Global City Teams Challenge 2016 - Participation Guide I am thrilled to see so many folks expressing interest in joining the Global City Teams Challenge! For your convenience, we have created a detailed Participation Guide. This guide will assist you with worksheet submissions, describe upcoming ev...more Jan 27 2016 - 3:46pm 7 years 14 weeks ago
IUI-2018 Student Travelling Support Grants 23nd ACM International Conference on Intelligent User Interfaces, IUI 2018 Tokyo, Japan | March 13-16, 2018 | http://iui.acm.org/2018 Following the tradition of previous years, ACM SIGCHI is pleased to offer student participation support to attend the IUI 2018 Conference. The support is provide...more Jul 11 2017 - 3:45pm 7 years 13 weeks ago
Two Postdoc Positions in Model-driven Engineering of Embedded Systems at Lero We invite applications for the following two positions: 1 Postdoctoral Researcher in Model-driven Engineering of Embedded Systems (Verification and Testing) 1 Postdoctoral Researcher in Model-driven Engineering of Embedded Systems (Design Space Exploration) Deadline: Friday, 28 July...more Jul 11 2017 - 4:03pm 7 years 13 weeks ago
Post-doc position: statistical verification of distributed programs Within the Inria project lab HAC SPECIS [1], we offer a post-doctoral position on statistical verification of distributed programs, integrated in the SimGrid platform [2]. Important dates: * start of post-doctoral position: between November 1, 2017 and January 1, 2018 (somewhat flexibl...more Jul 11 2017 - 4:25pm 7 years 13 weeks ago
Associate/Assistant Professor in Internet-of-Things (IoT) Security Department of Applied Mathematics and Computer Science (DTU Compute) at the Technical University of Denmark, invites applications for a position as Associate/Assistant Professor in Internet-of-Things (IoT) Security The position is associated with the Embedded Systems Engineering Section at DTU C...more Jul 24 2017 - 10:37am 7 years 11 weeks ago
5 Research Positions for PhD Candidates: System Correctness under Adverse Conditions (SCARE) The University of Oldenburg offers 5 Research Positions for PhD Candidates in the second phase of the Computer Science Research Training Group SCARE (System Correctness under Adverse Conditions) funded by the German Research Foundation (DFG GRK 1765/2). Documents: emailed by August 27, 2017 Star...more Aug 1 2017 - 11:50am 7 years 10 weeks ago
Four (4) post-doctoral positions in embedded systems, security, verification, robotics and distributed systems I have immediate openings to host four (4) post-doctoral researchers. Post-doctors are required to have a PhD degree (or soon to be awarded) in computer science, computer engineering or related fields. All positions are available immediately. The project investigates systematic design of a cla...more Aug 22 2017 - 3:21pm 7 years 7 weeks ago
2 Lecturer Positions in Model-Driven Systems Engineering 2 Lecturer Positions in Model-Driven Systems Engineering University of Leicester College of Science and Engineering Department of Informatics http://bit.ly/2LecturersLeicester Salary Grade 8 - PS38,183 to PS46,924 per annum Together our staff and students are discovering innovative ways to chan...more Aug 23 2017 - 1:01pm 7 years 7 weeks ago
Postdoctoral fellow: Stochastic Reachability for Autonomous Cyber-Physical Systems The Department of Electrical and Computer Engineering at the University of New Mexico (UNM) invites applications for a Postdoctoral Associate with an anticipated start date of January 2018. Position: The postdoctoral associate will work with an interdisciplinary team of researchers in Electrical a...more Aug 24 2017 - 6:26pm 7 years 7 weeks ago
Faculty Position in Autonomy (AE/IRIM-GaTech) The Institute for Robotics and Intelligent Machines and the School of Aerospace Engineering at the Georgia Institute of Technology (Georgia Tech) invites nominations and applications for a faculty position in the general area of autonomous and intelligent systems. The appointment is expected to be a...more Sep 18 2017 - 3:52pm 7 years 3 weeks ago
Ten new lectureships at York The Department of Computer Science at York is recruiting 10 new Lecturers (equivalent to Assistant Professor) over the next two years, with the majority starting in the 2017-18 academic year. Please see https://www.york.ac.uk/professorial-jobs/computer-science/. Currently recruiting Lectureships...more Sep 18 2017 - 4:15pm 7 years 3 weeks ago
Announcement of an Open Position at The Faculty of Informatics at TU Vienna / Austria University Post-Doctoral Position at the Cyber-Physical Systems Group University Post-Doctoral Position at the Cyber-Physical Systems Group, Computer Science Department, Technical University of Vienna, Austria The Computer Science Department of the Technical University of Vienna has an Open Post-D...more Sep 19 2017 - 10:55am 7 years 3 weeks ago