|
Position Announcements |
Research Positions (PostDoc + PhD) in Static and Runtime Verification of Flight Control Software for Unmanned Aircraft Systems |
Research Positions (PostDoc + PhD) in Static and Runtime Verification of Flight Control Software for Unmanned Aircraft Systems
Virginia Tech, Blacksburg VA 24061, U.S.A.
Application deadline: Interested researchers are encouraged to apply as soon as possible, preferably before December 15, 2017. A...more |
Nov 1 2017 - 2:22pm |
7 years 14 weeks ago |
|
Position Announcements |
PhD position at Mälardalen University (MDH) |
The H2020-MSCA-ITN (Marie Sklodowska-Curie Innovative Training Networks) ImmerSAFE research project is recruiting three new PhD-students located in Vasteras. This advertisement is for one of these.
ImmerSAFE' main goal is to train multi-disciplinary experts, who will achieve an operational understa...more |
Oct 1 2017 - 5:08pm |
7 years 14 weeks ago |
|
Position Announcements |
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 16 2017 - 5:52pm |
7 years 14 weeks ago |
|
Position Announcements |
University of Virginia seeks CPS candidates: 2 faculty positions, 2 research scientists, and 15 grad students |
Dear Colleagues,
The University of Virginia has begun a multi-million dollar initiative to create a collaborative world-class center of research excellence in Cyber-Physical Systems (CPS). Last year, SEAS announced an 8-faculty cluster hire in CPS and construction will begin this year on a new, col...more |
Nov 8 2016 - 5:46pm |
7 years 14 weeks ago |
|
Position Announcements |
Urban informatics Associate or Full Professor position at CUSP - Tenured Associate or 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 and Progress. We encourage applications from candidates with expertise in urban informatics and its application to technology, infrastructure, en...more |
Dec 15 2016 - 1:15pm |
7 years 14 weeks ago |
|
Position Announcements |
Machine Learning and Privacy Joint Post Doc Position Available |
A joint postdoc position at Arizona State University and Harvard University in the area of machine learning and privacy is available immediately. The successful candidate will be working with the research groups of Prof. Lalitha Sankar and Prof. Flavio du Pin Calmon.
Specific topics of focus are th...more |
Mar 9 2017 - 12:15pm |
7 years 14 weeks ago |
|
Position Announcements |
Two PostDocs in Compiler or Architecture Parallelism |
Overview:
1 Research Associate (PostDoc) in Many-Core Compilation or Architecture
1 Research Associate (PostDoc) in Dynamic Binary Translation
The University of Cambridge | Deadline 29 September 2017
The Project:
Applications are invited for two Research Associate (PostDoc) positions...more |
Sep 16 2017 - 5:54pm |
7 years 14 weeks ago |
|
Position Announcements |
PhD position in cyber-security |
The Maritime Safety Research Centre (MSRC), Department of Naval Architecture, Ocean and Marine Engineering, University of Strathclyde (Glasgow, Scotland, UK). Job description Safety and security are at the heart of sustainable marine operations. However, given the dynamic nature and the growing size...more |
Oct 25 2017 - 4:58am |
7 years 15 weeks ago |
|
Calls for Papers |
SEAMS 2018 - Call for Papers |
CALL FOR PAPERS
The 13th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS)
Gothenburg, Sweden | May 28-29, 2018 | https://conf.researchr.org/home/seams-2018
Co-located with the 40th International Conference on Software Engineering (ICSE 2018)
IMPORTAN...more |
Oct 24 2017 - 3:17pm |
7 years 15 weeks ago |
|
Calls for Papers |
CfP: Rigorous System Design, MeTRiD workshop |
CALL FOR PAPERS
1st International Workshop on Methods and Tools for Rigorous System Design ( MeTRiD 2018 )
Thessaloniki, Greece | 15 April 2018 | https://project.inria.fr/metrid2018/
(satellite workshop of ETAPS 2018)
ABOUT MeTRiD
MeTRiD 2018 is a new international workshop focusing on the...more |
Oct 24 2017 - 3:02pm |
7 years 15 weeks ago |
|
Calls for Papers |
CfP: ANT 2018 and ABM TRANS Conference 2018 |
CALL FOR PAPERS : ANT-2018(MSTS) and ABMTRANS-2018
The 7th International Workshop on Agent-based Mobility, Traffic and Transportation Models, Methodologies and Applications (ABMTRANS-2018)
http://www.abmtrans.eu/ | http://cs-conferences.acadiau.ca/ant-18/#workshop_approved
in conjunction with T...more |
Oct 24 2017 - 2:45pm |
7 years 15 weeks ago |
|
Calls for Demos, Participation, Posters, Presentations, Solutions and Works in Progress |
Call for Participation: RTSS 2017 |
CALL FOR PARTICIPATION
The 38th IEEE Real-Time Systems Symposium - RTSS 2017
Dec. 05~08, 2017 | Paris, France | http://2017.rtss.org
Sponsored by the IEEE Computer Society Technical Committee on Real-Time Systems
Important Dates:
Registration Early Deadline : November 1, 2017
Workshops...more |
Oct 24 2017 - 2:32pm |
7 years 15 weeks ago |
|
Calls for Papers |
Call for Papers: IEEE Embedded Systems Letters, Special Issue on Real-Time Technologies in CPS |
IEEE Embedded Systems Letters
Call for Papers: Special Issue on Real-Time Technologies in CPS
Submission Deadline: 30th January, 2018
Introduction
This special issue of Embedded Systems Letters will focus on research themes in real-time and Cyber-Physical Systems (CPS) related to the concluded...more |
Oct 24 2017 - 2:13pm |
7 years 15 weeks ago |
|
Calls for Papers |
Joint CFP: 21st European Joint Conferences on Theory And Practice of Software (ETAPS 2018) |
JOINT CALL FOR PAPERS
21st European Joint Conferences on Theory And Practice of Software (ETAPS 2018)
Thessaloniki, Greece, 14-21 April 2018
ABOUT ETAPS
ETAPS is the primary European forum for academic and industrial researchers working on topics relating to software science. ETAPS, establishe...more |
Oct 24 2017 - 2:04pm |
7 years 15 weeks ago |
|
General Announcements |
Reliable Autonomy for Human-Cyber-Physical Systems: NSF CPS Mini-Workshop |
Reliable Autonomy for Human-Cyber-Physical Systems
NSF CPS PI Meeting Mini-Workshop, November 14, 2017
While the vast majority of methods and tools in cyber-physical systems (CPS) have been developed for fully autonomous systems, most engineered systems operate with a human on-the-loop, if not in-...more |
Oct 22 2017 - 11:46pm |
7 years 15 weeks ago |
|
Position Announcements |
Tenure Track Faculty Position: Cyber-Physical Systems |
Wayne State University College of Engineering - Industrial & Systems Engineering Department
Tenure Track Faculty Position: Cyber-Physical Systems
The College of Engineering at Wayne State University has embarked on an initiative to create a world-class center of research excellence in Cyber-Ph...more |
Oct 19 2017 - 8:45am |
7 years 16 weeks ago |
|
Position Announcements |
Tenure-Track Faculty Position in ECE – Secure & Resilient Cyber-Physical Systems |
The College of Engineering at the University of Georgia (UGA) is seeking applications for a tenure-track assistant professor with expertise in the area of security and resilience for Cyber-Physical Systems (CPS). The position has an expected start date of August 1, 2018 or earlier.
The successful...more |
Oct 19 2017 - 8:41am |
7 years 16 weeks ago |
|
Calls for Papers |
CfP: IEEE Computing Conference 2018 |
CALL FOR PAPERS
IEEE Computing Conference 2018
10-12 July 2018 | London, UK | http://saiconference.com/Computing2018
Computing Conference (formerly called Science and Information (SAI) Conference) is a research conference held in London, UK since 2013. The conference series has featured keynote t...more |
Oct 12 2017 - 8:54am |
7 years 17 weeks ago |
|
Position Announcements |
Faculty positions David R. Cheriton School of Computer Science, University of Waterloo |
Applications are invited for the following faculty position in the David R. Cheriton School of Computer Science.
Multiple tenure-track faculty positions
Excellent tenure-track faculty members are sought who will enhance the School's strength in Computer Science. Priority areas include:
Algorith...more |
Oct 9 2017 - 2:28pm |
7 years 17 weeks ago |
|
Position Announcements |
Northeastern University: Assistant/Associate/Full Professor |
Position Title: Assistant/Associate/Full Professor
Requisition Number: FTFR001001
Division/College: College of Computer and Information Science
Location: Boston Main Campus
Full-time/Part-time: Full Time
Benefits Eligible: Yes
Tenure Status Tenured/Tenure Track
Posting Date: 08/25/2017
Respo...more |
Oct 9 2017 - 2:22pm |
7 years 17 weeks ago |
|
Position Announcements |
UMASS: Assistant Professor - Security & Privacy |
APPLY NOW
Category: Faculty (Tenure Track - Academic Year/9 months)
Department: College of Information and Computer Sciences
Locations: Amherst, MA
Posted: Sep 21, '17
Type: Exempt
The College of Information and Computer Sciences is highly supportive of junior faculty, providing both formal a...more |
Oct 9 2017 - 2:19pm |
7 years 17 weeks ago |
|
Position Announcements |
University of Illinois at Urbana-Champaign College of Engineering: Professor (Open Rank) – Computer Science |
University of Illinois at Urbana-Champaign
College of Engineering: Professor (Open Rank) - Computer Science
The Department of Computer Science at the University of Illinois at Urbana-Champaign invites applications for multiple faculty positions at all levels and in all areas of Computer Science. A...more |
Oct 9 2017 - 2:14pm |
7 years 17 weeks ago |
|
Position Announcements |
Careers at UF: AST/ASO/FULL PROF |
Apply Now
JOB NO: 503301
WORK TYPE: Faculty Full-Time
LOCATION: Main Campus (Gainesville, FL)
CATEGORIES: Engineering/Computer Science
DEPARTMENT: 19140000 - EG-COMPUTER / INFO SCI & ENG
CLASSIFICATION TITLE: Assistant, Associate, or Full Professor
JOB DESCRIPTION:
The Department of Comp...more |
Oct 9 2017 - 2:10pm |
7 years 17 weeks ago |
|
Position Announcements |
The University Duisburg-Essen: Research Assistant / PhD Student |
The University Duisburg-Essen, Faculty of Business Administration and Economics, Department Computer Science, Working Group Computer Science with focus on Secure Software Systems at Campus Essen seeks to hire one
Research Assistant / PhD Student
(full position, salary based on E-13 TV-L, federal...more |
Oct 9 2017 - 2:07pm |
7 years 17 weeks ago |
|
Position Announcements |
Carnegie Mellon University: Heinz College Assistant Professor of Privacy/Information Security |
Carnegie Mellon University: Heinz College
Assistant Professor of Privacy/Information Security
Location: Pittsburgh, PA
Closes: Dec 1, 2017 at 11:59 PM Eastern Time
(GMT-4 hours)
The successful candidate will conduct outstanding research in privacy and/or information security and will contribute...more |
Oct 9 2017 - 2:01pm |
7 years 17 weeks ago |
|
Position Announcements |
Faculty Positions in Computer and Communication Sciences |
The School of Computer and Communication Sciences (IC) at EPFL invites applications for faculty positions in computer and communication sciences. We are seeking candidates for tenure track assistant professor as well as, in exceptional cases, for senior positions.
Successful candidates will devel...more |
Oct 9 2017 - 1:56pm |
7 years 17 weeks ago |
|
Calls for Papers |
CfP: IEEE TII-Special Section on "Embedded and Networked Systems for Intelligent Vehicles and Robots" |
IEEE Transactions on Industrial Informatics
Special Issue on "Embedded and Networked Systems for Intelligent Vehicles and Robots"
Due to several requests, the deadline has been extedned to NOV.30, 2017
Aims and Scope
Embedded and networked systems for intelligent e-vehicles and robots are eme...more |
Oct 6 2017 - 11:20am |
7 years 17 weeks ago |
|
Position Announcements |
Tenure-track openings at Max Planck Institute for Software Systems (MPI-SWS) |
Applications are invited for faculty positions at all career stages in computer science, with a particular emphasis on systems (broadly construed). We expect multiple positions to be filled in systems, but exceptional candidates in other areas of computer science are also strongly encouraged to appl...more |
Oct 6 2017 - 11:12am |
7 years 17 weeks ago |
|
Calls for Demos, Participation, Posters, Presentations, Solutions and Works in Progress |
Register Now for Mobility on Demand Workshop |
Mobility on Demand Workshop
"How to Deploy MOD: Lessons from Leading Cities"
October 11, 2017 -- 1pm to 5:30pm (EST)
Georgia World Congress Center, Room B313
Atlanta, GA
Register Here
The Intelligent Transportation Society of America (ITS America) and the Shared-Use Mobility Center, with suppo...more |
Oct 6 2017 - 11:04am |
7 years 17 weeks ago |
|
Calls for Papers |
CFP: EDIS 2017 |
CALL FOR PAPERS
First international conference on Embedded & Distributed Systems, EDiS'2017
17th and 18th December 2017 | University of Oran 1 Ahmed Ben Bella
Sponsored by IEEE Algeria
Under the patronage of the chancellor of the University of Oran 1, Pr. SENOUCI Mohamed, the laboratory...more |
Oct 5 2017 - 2:43pm |
7 years 17 weeks ago |
|
Position Announcements |
Open Positions in Tokyo: Formal Methods and Cyber-Physical Systems |
Dear colleagues,
For our 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 project...more |
Oct 5 2017 - 2:27pm |
7 years 17 weeks ago |
|
General Announcements |
OpenModelica 1.12.0 Beta1 Release – Open Source Cyber-Physical Modeling, Simulation |
OpenModelica 1.12.0 Beta1 Release - Open Source Cyber-Physical Modeling, Simulation; also CFP for EOOLT'2017
OpenModelica is an open-source Modelica-based cyber-physical mathematical modeling, architectural description and simulation environment intended for industrial and academic usage. Its long-...more |
Oct 5 2017 - 1:43pm |
7 years 17 weeks ago |
|
Position Announcements |
Two PostDocs in Compiler or Architecture Parallelism - The University of Cambridge |
** Overview **
1 Research Associate (PostDoc) in Many-Core Compilation or Architecture
1 Research Associate (PostDoc) in Dynamic Binary Translation
Fixed-term: The funds for this post are available for 36 months.
Department/Location: Computer Laboratory, West Cambridge
Salary: PS30,688-PS38...more |
Oct 5 2017 - 1:40pm |
7 years 17 weeks ago |
|
Position Announcements |
wo Open Positions (Postdoc + PhD) in Model Driven Engineering / Software Language Engineering at TU Wien, Vienna, Austria |
Positions: 1 Post-Doctoral Researcher + 1 Phd Student
Duration: Up to three years starting as soon as possible (ideally January 2018)
Employer: Business Informatics Group, TU Wien, Vienna, Austria
Project: LEAxDSML (Language Engineering for Analyzable Executable DSMLs)
Contact: Tanja Mayerhofer...more |
Oct 5 2017 - 1:36pm |
7 years 17 weeks ago |
|
Calls for Papers |
CfP: NASA Formal Methods Symposium 2018 (NFM 2018) |
CALL FOR PAPERS
The 10th NASA Formal Methods Symposium (NFM 2018)
30 Years of Formal Methods at NASA
April 17-19, 2018 | Newport News, VA, USA | https://shemesh.larc.nasa.gov/NFM2018/
The widespread use and increasing complexity of mission-critical and safety-critical systems at NASA and in the...more |
Oct 5 2017 - 1:30pm |
7 years 17 weeks ago |
|
General Announcements |
SC3 update, New SuperCluster groups, and Smart City Works |
2018 GCTC-Smart and Secure Cities and Communities Challenge (SC3) update
We are actively initiating discussions with cybersecurity and privacy experts interested in joining 2018 GCTC-SC3. A kickoff conference is being planned for end of Nov/early Dec 2017 in Washington DC area. The goal of the kick...more |
Oct 5 2017 - 1:12pm |
7 years 17 weeks ago |
|
Calls for Demos, Participation, Posters, Presentations, Solutions and Works in Progress |
EECI-IGSC 2018 |
2018 International Graduate School on Control (EECI-IGSC 2018)
http://www.eeci-igsc.eu/
Advance registration deadline: 31 December 2017
Register online at: http://www.eeci-igsc.eu/on-line-registration/
Previous IGSC Programs: http://www.eeci-institute.eu/index.php?p=GSC
EECI
The European Embed...more |
Oct 5 2017 - 12:47pm |
7 years 17 weeks ago |
|
Calls for Workshops & Tutorials |
ARCS 2018 -- Call for papers, workshops, and tutorials |
CALL FOR PAPERS, WORKSHOPS, & TUTORIALS
31st International Conference on Architecture of Computing Systems (ARC 2018)
April 09 -12, 2018 | Braunschweig, Germany at the Technical University of Braunschweig | http://arcs2018.itec.kit.edu/
Scope
The ARCS conferences series has over 30 years o...more |
Oct 5 2017 - 12:21pm |
7 years 17 weeks ago |
|
Calls for Papers |
ARCS 2018 -- Call for papers, workshops, and tutorials |
CALL FOR PAPERS, WORKSHOPS, & TUTORIALS
31st International Conference on Architecture of Computing Systems (ARC 2018)
April 09 -12, 2018 | Braunschweig, Germany at the Technical University of Braunschweig | http://arcs2018.itec.kit.edu/
Scope
The ARCS conferences series has over 30 years o...more |
Oct 5 2017 - 12:20pm |
7 years 17 weeks ago |
|
Position Announcements |
A 2-year Post-doc position at the Tempo team at Verimag |
A Post-Doc Position at the Tempo group at VERIMAG, Grenoble, France
Topic: The Application of Signal Temporal Logic (STL) to monitoring, verification, falsification, and data-mining of vehicle behavior.
Responsibles: Oded Maler (Tempo, VERIMAG), , Thao Dang (Tempo, VERIMAG), Eric Gaussier (AMA,...more |
Oct 5 2017 - 11:58am |
7 years 17 weeks ago |
|
Calls for Papers |
CfP: Smart, Sustainable and Safe Cities Conference - SSSCC 2018 |
CALL FOR PAPERS
Smart, Sustainable and Safe Cities Conference - SSSCC 2018
25/05/2018 - 26/05/2017 | Obuda University (1084. Budapest, Tavaszmezo u. 15-17.)
Organizer: Obuda University
Faculty of Security Engineering, University of Zilina
IEEE SMC Technical Committee on Homeland Security...more |
Oct 3 2017 - 1:00pm |
7 years 18 weeks ago |
|
Position Announcements |
Open position: 1 Post-doc at Mälardalen University (MDH) |
The ECSEL research project AMASS is recruiting 1 Post doc.
AMASS (Architecture-driven, Multi-concern and Seamless Assurance and Certification of Cyber-Physical Systems) is expected to build on top of results achieved in the context of OPENCOSS and n/p SafeCer projects. AMASS targets increased ef...more |
Nov 16 2016 - 7:38am |
7 years 18 weeks ago |
|
Position Announcements |
Faculty position in CPS/IoT at the University of Iowa |
Please see attached position announcement.more |
Sep 29 2017 - 2:48pm |
7 years 18 weeks ago |
|
Position Announcements |
Tufts University: School of Engineering: Computer Science Assistant Professor |
Tufts University: School of Engineering: Computer Science
Assistant Professor
Location: Boston, MA
The Department of Computer Science at Tufts University invites applications for multiple tenure-track faculty positions to begin in September 2018. We are seeking candidates at the rank of Assistant...more |
Sep 28 2017 - 9:10am |
7 years 19 weeks ago |
|
Calls for Papers |
CfP: Workshop on Smart and Connected Communities: Technological Foundations, Challenges and Opportunities (SCC-2018) |
CALL FOR PAPERS - Deadline October 15, 2017
Workshop on Smart and Connected Communities: Technological Foundations, Challenges and Opportunities (SCC-2018)
January 7, 2018 | Varanasi, India | https://sites.google.com/view/scc2018/home
in conjunction with The 19th International Conference on Distr...more |
Sep 22 2017 - 9:13am |
7 years 19 weeks ago |
|
Calls for Papers |
CfP: Workshop on Smart and Connected Communities: Technological Foundations, Challenges and Opportunities (SCC-2018) |
CALL FOR PAPERS - Deadline October 15, 2017
Workshop on Smart and Connected Communities: Technological Foundations, Challenges and Opportunities (SCC-2018)
January 7, 2018 | Varanasi, India | https://sites.google.com/view/scc2018/home
The 19th International Conference on Distributed Computing and...more |
Sep 22 2017 - 9:13am |
7 years 19 weeks ago |
|
Calls for Papers |
Impending Deadline: ACM/IEEE ICCPS 2018 CALL FOR PAPERS |
CALL FOR PAPERS - Full paper submission deadline: October 6, 2017
9th ACM/IEEE International Conference on Cyber-Physical Systems
April 11-13, 2018 | Porto, Portugal | http://iccps.acm.org/2018
part of CPSWeek 2018
Overview.
As digital computing and communication become faster, cheaper, and...more |
Jul 24 2017 - 11:55am |
7 years 20 weeks ago |
|
Position Announcements |
Call for PhD Students: CPS; IoT; RTES |
CALL for PhD STUDENTS IN Electrical and Computer Engineering (ECE), Computer Science (CS), Software Engineering (SE), and Applied Mathematics (AM)
Focus on Embedded and Real-Time Computing Systems; Cyber-Physical Systems and IoT
2017-2020/21
CISTER Research Centre, Porto, PORTUGAL
http://www.cis...more |
Sep 19 2017 - 12:26pm |
7 years 20 weeks ago |
|
Calls for Papers |
CFP RTAS 2018: The 24th IEEE Real-Time and Embedded Technology and Applications Symposium |
CALL FOR PAPERS - Submission Deadline: October 6, 2017 (FIRM)
The 24th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS 2018)
April 11-13, 2018 | Porto, Portugal | http://2018.rtas.org/
as part of the Cyber-Physical Systems Week (CPSWeek)
RTAS'18, the 24th in a series of a...more |
Sep 19 2017 - 12:19pm |
7 years 20 weeks ago |
|
Calls for Demos, Participation, Posters, Presentations, Solutions and Works in Progress |
Call for participants - Workshop on Mixed-Criticality Systems |
Call for Participation in DREAMS Industrial Experts Workshop
Coordinated by DREAMS project
Friday, September 29th, 2017 - 09:00 - 17:40 o'clock
Location: Universitat Politecnica de Valencia, Valencia, Spain
Link: http://www.uni-siegen.de/dreams/summerschool/final_workshop/
PDF version: http:...more |
Sep 19 2017 - 11:17am |
7 years 20 weeks ago |
