CPS Position Announcements

Title Content Posted Updatedsort icon
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 4 years 5 days 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 4 years 4 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 4 years 4 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 4 years 6 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 4 years 6 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 4 years 6 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 4 years 8 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 4 years 8 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 4 years 10 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 4 years 11 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 4 years 12 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 4 years 12 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 4 years 12 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 4 years 12 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 4 years 12 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 4 years 14 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, USAhttp://laboratory.temporallogic.org/home-page/phd_2017/ The Iowa State University of Science and Technology offers multiple fully-funded PhD positions, commencing...more Jan 3 2017 - 3:43pm 4 years 15 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 methods...more Dec 28 2016 - 6:21pm 4 years 15 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 4 years 15 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 ex...more Dec 28 2016 - 3:58pm 4 years 16 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 4 years 17 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 4 years 17 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 4 years 17 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 4 years 19 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 4 years 19 weeks ago
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 4 years 19 weeks ago
Faculty opening in Embedded Systems, Robotics and Automation at the University of Minnesota The Electrical and Computer Engineering Department at the University of Minnesota is conducting a faculty search (at all ranks) for a position in the area of embedded systems, robotics and automation, as part of the MnDRIVE Initiative (https://mndrive.umn.edu/robotics). Successful candidates will h...more Nov 30 2016 - 12:41pm 4 years 20 weeks ago
PostDoc position: Application Specific Computing Systems and Hardware Architectures, RWTH Aachen University RWTH Aachen University is Germany's top-ranked technical university with more than 40,000 students and is a member of the IDEA league. The Institute for Communication Technologies and Embedded Systems (ICE, http://www.ice.rwth-aachen.de), being part of the RWTH Department of Electrical and Computer...more Nov 9 2016 - 11:12am 4 years 23 weeks ago
Positions in medical CPS at PRECISE Center RESEARCH POSITIONS in MEDICAL CYBER-PHYSICAL SYSTEMS at PRECISE Center School of Engineering and Applied Science University of Pennsylvania http://precise.seas.upenn.edu/ PRECISE center at the University of Pennsylvania is seeking applications for research positions as PhD students and postdoctora...more Nov 9 2016 - 10:29am 4 years 23 weeks ago
Positions in CPS security at PRECISE Center RESEARCH POSITIONS in CYBER-PHYSICAL SECURITY at PRECISE Center School of Engineering and Applied Science University of Pennsylvania http://precise.seas.upenn.edu/ PRECISE center at the University of Pennsylvania is seeking applications for research positions as PhD students and postdoctoral fello...more Nov 9 2016 - 10:30am 4 years 23 weeks ago
Faculty positions at UC Santa Cruz Dear Colleagues, I would like to let you know that we have two Faculty openings at the Assistant Professor (tenure-track) level at the University of California, Santa Cruz, that might be of interest to your graduate students and postdocs. 1) Robotics/Mechatronics position: In my department (Compu...more Oct 24 2016 - 6:05pm 4 years 25 weeks ago
Postdoc position in Critical Infrastructure Design and Analysis at Masaryk University, Brno, Czech Republic Dear colleagues, Please find below an offer for postdoctoral positions at the Faculty of Informatics, Masaryk University in Brno, Czech Republic (ranked by QS Top Universities among the best 15% of ranked universities, located in rapidly growing IT hub area with numerous industrial IT R&D cente...more Oct 12 2016 - 5:34pm 4 years 26 weeks ago
Cyber Physical System Research Scientist at Siemens Corporate Technology; Princeton, NJ Please have a look at https://jobs.usa.siemens-info.com/jobs/159187/Princeton-NJ-Cyber-Physical-System-Research-Scientist?lang=en-US#.V_wONVUjZzA.emailmore Oct 10 2016 - 5:59pm 4 years 27 weeks ago
Lecturer and teaching fellow positions at Leicester The Department of Informatics at Leicester is growing its capability for interdisciplinary and applied teaching and research while maintaining a strong presence in the core discipline. As part of this strategy, which will be delivered through a number of appointments over the coming year, we seek to...more Oct 5 2016 - 1:28pm 4 years 28 weeks ago
POSTDOC POSITIONS IN THE DEPARTMENT OF COMPUTER SCIENCE, FEDERAL UNIVERSITY OF BAHIA - BRAZIL Full time postdoctoral positions are available in all areas of Computer Science in the Department of Computer Science at the Federal University of Bahia (UFBA), in Salvador, Brazil. We are looking for outstanding candidates holding a PhD in Computer Science/Engineering or related fields with a stro...more Oct 5 2016 - 12:57pm 4 years 28 weeks ago
Postdoc positions at Verimag, France The Rigorous System Design team at Verimag Laboratory (http://www-verimag.imag.fr/rsd.html), Grenoble, France, is offering 4 Post-doc positions. We are looking for responsible and mature post-doc who can contribute to the group activities including tool development, handling industrial case-studies...more Oct 5 2016 - 12:35pm 4 years 28 weeks ago
Tenure-track faculty position at Virginia Tech on distributed computing A tenure-track faculty position at the Assistant Professor-level is available at Virginia Tech. The focus area of the search is distributed computing, broadly defined, and includes parallelism and concurrency, in settings including multicore architectures, clusters, and geographically distributed sy...more Oct 5 2016 - 11:20am 4 years 28 weeks ago
Faculty position - University of Oklahoma ISE Colleagues, We're excited about announcing our new open position in cyber-physical-social systems. Please see the attached ad for more details on the position and application process. Assistant Professor in Cyber-Physical-Social Systems The School of Industrial and Systems Engineering at the...more Sep 29 2016 - 12:58pm 4 years 28 weeks ago
Post-doctorate proposal - INRIA project-team TEA, Rennes Post-doctorate proposal - INRIA project-team TEA, Rennes Synthesis of multi-periodic systems from architecture modelling standards INTRODUCTION An architecture model is a system design artifact at the crossing of all constituents of a cyber-physical system, its software (programs, controllers,...more Sep 15 2016 - 1:34pm 4 years 30 weeks ago
Open position: Assistant professor in Mechatronics with a specialization in robotics design Assistant professor in Mechatronics with a specialization in robotics design KTH Royal Institute of Technology, School of Industrial Engineering and Management KTH Royal Institute of Technology in Stockholm has grown to become one of Europe's leading technical and engineering universities, as well...more Sep 15 2016 - 1:32pm 4 years 30 weeks ago
Postdoc Position(s) in Formal Methods for parametric quantitative systems Two 1-year postdoc positions (or potentially one 2-year) are available at LINA/IRCCYN (wich will become LS2N in 2017) in Nantes, funded by the French ANR project PACS (Parametric Analyses of Concurrent Systems -- http://lipn.univ-paris13.fr/PACS/).** PROJECT ** Model-checking and formal modeling ar...more Sep 15 2016 - 12:44pm 4 years 30 weeks ago
PhD position at the University of Oldenburg A 3-year PhD position (scientific assistant) is available in the lab of Prof. Dr. Annegret Habel, Department of Computing Sciences, University of Oldenburg, starting October 1st 2016Deadline: 15th September 2016. Meta-Modeling and Graph Grammars: Generating Development Environments for Modeling Lan...more Sep 2 2016 - 11:02am 4 years 32 weeks ago
PostDoc position @ RWTH Aachen University, Germany: Application Software Engineering for Cyber-physical Systems Vacancy: Postdoc/Head of Junior Research Group Our profile: RWTH Aachen is Germany's top ranked technical university with approx. 45.000 students and close to 6000 researchers (http://www.rwth-aachen.de). The Chair Informatik 11 - Embedded Software (http://www.embedded.rwth-achen.de) is part of...more Aug 30 2016 - 4:58pm 4 years 33 weeks ago
VANDERBILT UNIVERSITY TENURE TRACK FACULTY POSITION(S) VANDERBILT UNIVERSITY TENURE TRACK FACULTY POSITION(S) CIVIL AND ENVIRONMENTAL ENGINEERING - CYBER-PHYSICAL SYSTEMS FOR INTELLIGENT INFRASTRUCTURE AND SMART CITIES Vanderbilt University, Department of Civil and Environmental Engineering, is seeking candidates to fill one, or possibly two, tenure-...more Aug 30 2016 - 11:44am 4 years 33 weeks ago
11 Grants + 2 PhD positions 2016 - Computer Science - Pisa We would like to announce that the call for 11 grants plus 2 positions without bursary, at the PhD in Computer Science of the University of Pisa, will be available at: http://dottorato.unipi.it/index.php/en/application-process-for-the-academic-year-2016-2017.html The deadline for application...more Aug 19 2016 - 12:16pm 4 years 34 weeks ago
Vacancy: Postdoc/Head of Junior Research Group Our profile: RWTH Aachen is Germany's top ranked technical university with approx. 45.000 students and close to 6000 researchers (http://www.rwth-aachen.de). The Chair Informatik 11 - Embedded Software (http://www.embedded.rwth-achen.de) is part of the RWTH Computer Science Department and is headed...more Aug 9 2016 - 6:24am 4 years 36 weeks ago
Open position at ONERA (France) Permanent research position on NoC and Embedded networks ONERA (Office National d'Etudes et Recherches Aerospatiales) is the French national aerospace research center. It is a public research establishment, with eight major facilities in France and about 2,000 employees, including 1,500 scientists,...more Jul 6 2016 - 3:41pm 4 years 41 weeks ago
Postdoc position in dependable and secure computing - University of Florence The University of Florence http://www.unifi.it/, Florence, Italy, opens one Post Doctoral position in Dependable and Secure Cyber-Physical Systems and Systems of Systems at the Resilient Computing Lab (RCL, http://rcl.dsi.unifi.it), Department of Mathematic and Informatics. We are recruiting a post...more Jul 6 2016 - 3:34pm 4 years 41 weeks ago
Postdoctoral position at Virginia Tech Postdoctoral Research Associate Systems Software Research Group - Virginia Tech A postdoctoral position is available in the Systems Software Research Group (http://www.ssrg.ece.vt.edu/) at Virginia Tech (http://www.vt.edu/) on a dependable systems project that aims to develop fault-resilient softwa...more Jul 6 2016 - 3:32pm 4 years 41 weeks ago
PostDoc position: Application Specific Computing Systems and Hardware Architectures, RWTH Aachen University Postdoc position at the Institute for Communication Technologies and Embedded Systems, RWTH Aachen University RWTH Aachen University is Germany's top-ranked technical university with more than 40,000 students and is a member of the IDEA league. The Institute for Communication Technologies and Embed...more Jul 6 2016 - 11:41am 4 years 41 weeks ago