|
Position Announcements |
NSF Graduate Research Fellowship Program |
Dear CISE Community,
The National Science Foundation (NSF) Graduate Research Fellowship Program (GRFP) is an important but, from our experience, an often overlooked funding opportunity for the Computer and Information Science and Engineering (CISE) community. The program recognizes and supports...more |
Oct 3 2018 - 2:51pm |
6 years 4 weeks ago |
|
Calls for Papers |
CfP (IMPENDING DEADLINE): SPECIAL SESSION ON Energy Efficient Cyber Physical Systems@ICM2018 |
CALL FOR SPECIAL SESSION PAPERS
The 30th International Conference on Microelectronics (ICM 2018)
SPECIAL SESSION ON Energy Efficient Cyber Physical Systems
Important Dates:
Research Paper Submission: October 10, 2018
Notification of Acceptance: October 30, 2018
Camera Ready Submission...more |
Oct 3 2018 - 2:48pm |
6 years 4 weeks ago |
|
Calls for Demos, Participation, Posters, Presentations, Solutions and Works in Progress |
Call for Participation: VECoS 2018 |
Call for Participation
12th International Conference on Verification and Evaluation of Computer and Communication Systems (VECoS 2018)
Grenoble, France | September 26-28, 2018 | https://vecos.ensta-paristech.fr/2018/
VECoS is focused on formal approaches, methods and techniques for the verificati...more |
Oct 3 2018 - 2:08pm |
6 years 4 weeks ago |
|
Calls for Papers |
CfP: 22nd European Joint Conferences on Theory And Practice of Software (ETAPS 2019) |
JOINT CALL FOR PAPERS
22nd European Joint Conferences on Theory And Practice of Software (ETAPS 2019)
Prague, Czech Republic | 6-11 April 2019 | http://www.etaps.org/2019
ETAPS is the primary European forum for academic and industrial researchers working on topics relating to software science. ET...more |
Oct 3 2018 - 2:00pm |
6 years 4 weeks ago |
|
Calls for Papers |
CfP: IEEE ICPS 2019 & IEEE MFI 2019 |
CALL FOR PAPERS
IEEE International Conference on Industrial Cyber-Physical Systems (ICPS 2019)
IEEE International Conference on Multisensor Fusion and Integration for Intelligent Systems (MFI 2019)
May 6-9, 2018 | Howard Plaza Hotel Taipei, Taiwan | http://icps19.org/
Important dates:
Special...more |
Oct 3 2018 - 1:50pm |
6 years 4 weeks ago |
|
Calls for Papers |
CfP: 6th International workshop on Mixed Criticality Systems (WMC) |
CALL FOR PAPERS
6th International workshop on Mixed Criticality Systems (WMC)
Affiliated with the IEEE Real-Time Systems Symposium
Nashville, Tennessee, USA | December 11th, 2018 | https://sites.google.com/njit.edu/wmc2018/
WORKSHOP
WMC's goal is to promote sharing of new ideas, results, e...more |
Feb 8 2018 - 6:55pm |
6 years 4 weeks ago |
|
Calls for Papers |
CfP: 11th Annual NASA Formal Methods Symposium (NFM 2019) |
CALL FOR PAPERS
11th Annual NASA Formal Methods Symposium (NFM 2019)
Challenges for Future Exploration
7 - 9 May 2019 | Rice University, Houston, Texas, USA | https://robonaut.jsc.nasa.gov/R2/pages/nfm2019.html
Important Dates:
Abstract Submission: 7 Dec 2018
Paper Submission: 14 Dec 201...more |
Oct 3 2018 - 12:46pm |
6 years 4 weeks ago |
|
Calls for Papers |
CfP: Reliability, safety and security of railway systems (RSSRail 2019) |
CALL FOR PAPERS
International conference on reliability, safety and security of railway systems: modelling, analysis, verification and certification (RSSRail 2019)
June 4-6, 2019 | Lille, France | https://conferences.ncl.ac.uk/rssrail2019/
The important dates:
January 5, 2019 - abstract submis...more |
Oct 3 2018 - 1:24pm |
6 years 4 weeks ago |
|
Position Announcements |
Assistant/Associate Professor Positions in the Electronic Systems group at TU Eindhoven |
The Electronic Systems group at TU Eindhoven has two positions available for qualified candidates with a research profile in nano-electronic circuit design/VLSI and efficient machine learning/deep learning systems.
Tenure-track Assistant Professor, Nano-Electronic Digital Circuits and Systems (V36...more |
Oct 3 2018 - 12:37pm |
6 years 4 weeks ago |
|
Position Announcements |
Call for Applications: Helmut Veith Stipend for Female Master´s Students in Computer Science |
Female students in the field of computer science (CS) who plan to pursue (or are currently pursuing) one of the master's programs in Computer Science at the Vienna University of Technology - TU Wien taught in English are invited to apply for the annually awarded Helmut Veith Stipend. The computer sc...more |
Oct 3 2018 - 12:20pm |
6 years 4 weeks ago |
|
Calls for Papers |
CfP: 10th International Conference on Ambient Systems, Networks and Technologies (ANT-2019) |
10th International Conference on Ambient Systems, Networks and Technologies (ANT-2019)
Leuven, Belgium | April 29 - May 2, 2019 | http://cs-conferences.acadiau.ca/ant-19/
Important Dates
Workshops Proposals Due: October 30, 2018
Paper Submission Due: December 6, 2018
Acceptanc...more |
Oct 3 2018 - 12:19pm |
6 years 4 weeks ago |
|
Calls for Demos, Participation, Posters, Presentations, Solutions and Works in Progress |
ESWEEK Tutorial: Schedulability Analysis under Uncertainty using Formal Methods |
CALL FOR PARTICIPATION
Tutorial: Schedulability Analysis under Uncertainty using Formal Methods
ESWEEK satellite event
September 30, 2018 | Torino, Italy | https://www.imitator.fr/tutorials/ESWEEK18/
Modern real-time systems must cope with different sources of variability. Modern hardware proces...more |
Oct 3 2018 - 11:27am |
6 years 4 weeks ago |
|
Calls for Papers |
CfP: RTSS@Work Workshop |
RTSS@Work - Open Demo Session of Real-Time Systems
RTSS 2018 - Nashville, Tennessee, USA
RTSS@Work is the open demo session organized as a part of the IEEE Real-Time Systems Symposium, the premier conference in the area of Real-Time Systems. The goal of RTSS@Work is to provide a platform for resea...more |
Feb 8 2018 - 6:55pm |
6 years 4 weeks ago |
|
Position Announcements |
Two Post-doctoral Positions in SUTD on Verification/Validation of Timing-channel Freedom |
The Automated Systems Security research group (https://asset-group.github.io/) at the Singapore University of Technology and Design is looking for: Two (2) Post-Doctoral Positions on techniques for analyzing, validating and shielding micro-architectural timing-channels.
The ASSET research group in...more |
Oct 3 2018 - 10:03am |
6 years 4 weeks ago |
|
Calls for Papers |
CfP: The Fourth International Conference on Information Security and Digital Forensics (ISDF2018) |
The Fourth International Conference on Information Security and Digital Forensics (ISDF2018)
December 3-7, 2018 | Thessaloniki, Greece
The Conference Welcomes Papers On The Following (But Not Limited To) Research Topics:
CYBER SECURITY
Distributed and Pervasive Systems Security
Formal Method...more |
Oct 2 2018 - 7:20am |
6 years 4 weeks ago |
|
Calls for Papers |
CALL FOR PAPERS - 2nd IFAC Conference on Cyber-Physical & Human Systems |
CALL FOR PAPERS | The 2nd IFAC Conference on Cyber-Physical & Human Systems
December 14-15, 2018, Miami, USA
Submission Deadline: April 15, 2018
Acceptance notification: September 1, 2018
Final Submission Deadline: October 1, 2018
Steady advances in controls, communications, and computin...more |
Dec 21 2017 - 3:35pm |
6 years 4 weeks ago |
|
Position Announcements |
Faculty position: Northeastern University Automation in Civil and Environmental Engineering |
As part of a strategic initiative in the area of Urban Engineering, Northeastern University seeks faculty candidates for tenured or tenure-track appointments at the assistant, associate, or full professor level in the Department of Civil and Environmental Engineering in the area of Automation in Civ...more |
Sep 25 2018 - 1:58pm |
6 years 5 weeks ago |
|
Calls for Papers |
ACM/IEEE ICCPS 2019 - Only 3 weeks left! |
The 10th ACM/IEEE International Conference on Cyber-Physical Systems (ACM/IEEE ICCPS 2019)
Full paper submission deadline: October 17, AoE, 2018
April 16-18, 2019 in Montreal, Canada, part of CPSWeek 2019
http://iccps.acm.org/2019
Overview: As digital computing and communication become faster...more |
Sep 24 2018 - 11:30am |
6 years 5 weeks ago |
|
Calls for Papers |
Extended deadline: 1st International Workshop on Trustworthy and Real-time Edge Computing for Cyber-Physical Systems (TREC4CPS) |
CALL FOR PAPERS - EXTENDED DEADLINE: Thursday 27th Sept 2018 (23:59 UTC-12) (firm)
1st International Workshop on Trustworthy and Real-time Edge Computing for Cyber-Physical Systems (TREC4CPS)
in conjunction with the 39th IEEE Real-Time Systems Symposium
11 December 2018 | Nashville, TN
The incre...more |
Sep 18 2018 - 12:54pm |
6 years 6 weeks ago |
|
Position Announcements |
CDD Post-Doc (H/F) - Localization and Positioning 3D for Industrial Application |
Date of starting: from 01/12/2018 Duration: 12 months renewable
Salary: according to UGA grids / diploma and experience
Required degree: PhD in Automatic, signal processing (with experience in navigation and positioning)
Location: Gipsa-lab, Grenoble Campus / Saint-Martin d'Hères
Send cv a...more |
Sep 19 2018 - 10:11am |
6 years 6 weeks ago |
|
Calls for Papers |
CfP Extended Deadline: 39th IEEE Real-Time Systems Symposium (RTSS 2018) |
CALL FOR PAPERS - Extended Deadline Thursday 27th Sept 2018 (23:59 UTC-12)
39th IEEE Real-Time Systems Symposium (RTSS 2018)
December 11-14, 2018 | Nashville, TN | http://2018.rtss.org/
SCOPE OF THE CONFERENCE
The IEEE Real-Time Systems Symposium (RTSS) is the premier conference in the field of...more |
Feb 8 2018 - 6:55pm |
6 years 6 weeks ago |
|
Position Announcements |
11 Research Scientist Positions in RTES, CPS and IoT |
Details on how to submit your application are available here: https://cister-labs.pt/rs2018_calls/
CISTER and ISEP are promoting a number of longer-term Research Scientist positions to engage in an ambitious research plan in the areas of Real-Time & Embedded Computing Systems (RTES), Cyber-Phys...more |
Sep 11 2018 - 11:38am |
6 years 7 weeks ago |
|
Calls for Papers |
CfP: 34th ACM/SIGAPP SAC - Embedded Systems Track |
CALL FOR PAPERS - EMBS TRACK
34th ACM/SIGAPP SAC Symposium on Applied Computing
April 8-12, 2019 | Limassol, Cyprus
EMBEDDED SYSTEMS
New Perspectives for Hardware, System Software, and Applications
http://retis.sssup.it/sac2019/
Submission page:
https://www.sigapp.org/sac/sac2019/submission.h...more |
Sep 5 2018 - 1:15pm |
6 years 8 weeks ago |
|
Calls for Papers |
CfP: The 20th IEEE International Conference on Industrial Technology (IEEE-ICIT 2019) |
FINAL CALL FOR PAPERS: Extended submission deadline: 15 september 2018
The 20th IEEE International Conference on Industrial Technology (IEEE-ICIT 2019)
13-15 Feb. 2019 | Melbourne, Australia | www.ieee-icit2019.org
Dear Colleague
Due to the August vacation season in northern hemisphere and the r...more |
Aug 28 2018 - 10:01am |
6 years 9 weeks ago |
|
Calls for Papers |
CFP - (ARM): 17th Workshop on Adaptive and Reflexive Middleware, Rennes, France, December 10-14, 2018. |
17th Workshop on Adaptive and Reflexive Middleware (ARM 2018)
http://cedric.cnam.fr/arm
Theme of 2018: "Smart and Connected Communities for Environmental Challenges"
Rennes, France, December 10-14, 2018.
in conjunction with The ACM/IFIP/USENIX Middleware conference
ARM 2018 CFP
The 17th Worksh...more |
Aug 27 2018 - 3:58pm |
6 years 9 weeks ago |
|
Calls for Papers |
CfP: 12th Junior Researcher Workshop on Real-Time Computing (JRWRTC) |
CALL FOR PAPERS
12th Junior Researcher Workshop on Real-Time Computing (JRWRTC)
in conjunction with the 26th International Conference on Real-Time Networks and Systems (RTNS 2018)
Poitiers, France | 10-12 October, 2018 | https://rtns2018.ensma.fr/workshop.html
Important Dates
Submission deadl...more |
Aug 27 2018 - 1:57pm |
6 years 9 weeks ago |
|
Calls for Demos, Participation, Posters, Presentations, Solutions and Works in Progress |
CALL FOR PARTICIPATION: 25th International Symposium on Temporal Representation and Reasoning (TIME 2018) |
CALL FOR PARTICIPATION
25th International Symposium on Temporal Representation and Reasoning (TIME 2018)
The International Symposium on Temporal Representation and Reasoning (TIME) is a well-established symposium series which brings together researchers interested in reasoning about temporal aspec...more |
Aug 27 2018 - 1:49pm |
6 years 9 weeks ago |
|
Calls for Papers |
CFP ACM Hybrid Systems: Computation and Control 2019 |
HSCC 2019 Call for Papers
22nd ACM International Conference on Hybrid Systems: Computation and Control (HSCC)
Part of CPS-IoT Week 2019
April 16-18, 2019
Montreal, Canada
URL: http://2019.hscc-conference.org/
Important dates
Abstract submission deadline (optional): October 10, 2018 (AOE)...more |
Aug 27 2018 - 10:05am |
6 years 9 weeks ago |
|
Position Announcements |
Postdoc and PhD Positions in Formal Verification of Cyber-Physical Systems |
Postdoc and PhD Positions in Formal Verification of Cyber-Physical Systems
Aerospace and Ocean Engineering, Virginia Tech, Blacksburg VA 24061, U.S.A.
Application deadline: Interested researchers are encouraged to apply as soon as possible. Applications will be accepted until positions are filled....more |
Aug 23 2018 - 10:23am |
6 years 10 weeks ago |
|
Calls for Papers |
CFP: The 10th ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS 2019) |
CALL FOR PAPERS
The 10th ACM/IEEE International Conference on Cyber-Physical Systems (ACM/IEEE ICCPS 2019)
April 16-18, 2019 in Montreal, Canada, part of CPSWeek 2019
http://iccps.acm.org/2019
Overview: As digital computing and communication become faster, cheaper, and available in packages th...more |
Aug 17 2018 - 12:55pm |
6 years 11 weeks ago |
|
Calls for Papers |
1st Call for Papers Software Verification and Testing Track @ ACM SAC 2019 |
CALL FOR PAPERS
34th Annual ACM Symposium on Applied Computing
Software Verification and Testing Track
Limassol, Cyprus | April 8 - 12, 2019 | https://sites.google.com/site/sacsvt2019/home
Important dates
Sep 10, 2018 - Submission of regular papers and SRC research abstracts
Nov 10, 2018 - N...more |
Aug 13 2018 - 2:47pm |
6 years 11 weeks ago |
|
General Announcements |
EAPLS PhD Award 2016–17 - Call for Nominations |
CALL FOR NOMINATIONS - Extended Deadline Aug. 31
EAPLS PhD Award 2016-17
The European Association for Programming Languages and Systems (EAPLS)
has established a Best Dissertation Award in the international
research area of programming languages and systems. The award will go
to the Ph.D. stude...more |
Aug 13 2018 - 2:35pm |
6 years 11 weeks ago |
|
Position Announcements |
Postdoctoral position at Virginia Tech |
Postdoctoral Research Associate
Systems Software Research Group
Virginia Tech
A postdoctoral position is available with the Systems Software Research Group (http://www.ssrg.ece.vt.edu/) at Vir...more |
Aug 13 2018 - 2:32pm |
6 years 11 weeks ago |
|
Position Announcements |
Assistant Professor positions available at TTU |
Tennessee Technological University in Cookeville has a one year Visiting Assistant Professor position available for Fall 2018 (https://jobs.tntech.edu/postings/10464). They will also have open searches for 3 tenure track positions for Fall 2019.
Temporary non-tenure-track appointment to begin Augus...more |
Aug 13 2018 - 2:30pm |
6 years 11 weeks ago |
|
Calls for Papers |
CfP: Eighth International Conference on Fundamentals of Software Engineering 2019 - Theory and Practice (FSEN '19) |
CALL FOR PAPERS
Eighth International Conference on Fundamentals of Software Engineering 2019 - Theory and Practice (FSEN '19)
May 1-3, 2019 | Tehran, Iran | http://fsen.ir/2019
--About FSEN --
Fundamentals of Software Engineering (FSEN) is an international conference that aims to bring togethe...more |
Aug 13 2018 - 2:10pm |
6 years 11 weeks ago |
|
Calls for Papers |
CfP: The 8th Embedded Operating System Workshop (EWiLi 2018) |
The 8th Embedded Operating System Workshop (EWiLi 2018)
held in conjunction with ESWEEK
Torino, Italy | 2018/10/04 | https://sites.google.com/view/ewili18/home
EWiLi, the embedded operating system workshop, aims at presenting state-of-the-art research, experimentation, significant and original re...more |
Aug 13 2018 - 2:08pm |
6 years 11 weeks ago |
|
Calls for Papers |
CfP: Special Session on Advanced Solutions for Communication in Cooperative Cyber Physical Systems @ ICIT 2019 |
CALL FOR PAPERS Extended deadline: August 31, 2018
Special Session on Advanced Solutions for Communication in Cooperative Cyber Physical Systems, ICIT 2019 @ 20th IEEE International Conference on Industrial Technology (ICIT 2019)
Melbourne, Australia | February 13 - 15, 2019 | http://www.ieee-icit...more |
Aug 13 2018 - 12:54pm |
6 years 11 weeks ago |
|
Calls for Papers |
CfP: 25th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS 2019) |
CALL FOR PAPERS
25th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS 2019)
New in 2019: Systems papers submitted to Track 1 do not necessarily need to consider timing issues to be in scope.
RTAS is a top-tier conference with a focus on systems research related to embedded...more |
Aug 13 2018 - 12:39pm |
6 years 11 weeks ago |
|
Calls for Papers |
CFP: 2nd ACM Workshop on the Internet of Safe Things |
CALL FOR PAPERS:
ACM SafeThings 2018
2nd ACM Workshop on the Internet of Safe Things
Co-located with Sensys
November 4, 2018 | Shenzhen, China | https://www.safethings.info/
The Internet of Safe Things workshop (or SafeThings, for brevity) seeks to bring researchers and practitio...more |
Aug 13 2018 - 12:30pm |
6 years 11 weeks ago |
|
Calls for Demos, Participation, Posters, Presentations, Solutions and Works in Progress |
NIST Workshop: Reasoning about IoT Trustworthiness |
NIST invites you to join a workshop on methods and technologies for reasoning about IoT trustworthiness on September 13, 2018 at its Gaithersburg campus. The workshop will feature presentations and discussions about current research on the NIST Cyber-Physical Systems (CPS) Framework, Modeling Trustw...more |
Aug 13 2018 - 12:19pm |
6 years 11 weeks ago |
|
Position Announcements |
Multiple PhD positions in CPS cyber-security and robotics at UVA |
Multiple PhD positions in cyber-physical systems security and robotics safe planning are available at the University of Virginia (UVA) Autonomous Mobile Robots Laboratory (https://www.bezzorobotics.com/).
Research areas:
cyber-physical systems safety and security;
assured autonomy;
autonom...more |
Aug 8 2018 - 10:47pm |
6 years 12 weeks ago |
|
Position Announcements |
Fulbright Iceland Opportunities in Cyber-Security and Critical Infrastructure - Deadline Extended to September 12, 2018 |
CIES has extended deadlines for core scholar grants, including
9216-IC
Fulbright-National Science Foundation Scholar in Cyber-Security and Critical Infrastructure
Applications are encouraged.
The deadline was August 1st but has been extended to September...more |
Jun 26 2018 - 10:33am |
6 years 13 weeks ago |
|
Calls for Papers |
CfP: 9th International Workshop on Static Analysis in Systems Biology (SASB 2018) |
CALL FOR PAPERS - Submission deadline extended to 15 July
9th International Workshop on Static Analysis in Systems Biology (SASB 2018)
August 28, 2018 | Freiburg im Breisgau, Germany | https://www.mcss.uni-konstanz.de/sasb-2018/
SASB 2018 is a one-day workshop that aims to promote discussion...more |
Jun 15 2018 - 11:41am |
6 years 15 weeks ago |
|
Position Announcements |
Tennessee Tech Visiting Assistant Professor |
Tennessee Technological University in Cookeville has a one year Visiting Assistant Professor position available for Fall 2018 (https://jobs.tntech.edu/postings/10464). They will also have open searches for 3 tenure track positions for Fall 2019.
Position Number: 168130
Working Title: Visiting Assi...more |
Jul 9 2018 - 1:33pm |
6 years 16 weeks ago |
|
Calls for Papers |
CfP: Future of Information and Communication Conference (FICC) 2019 |
CALL FOR PAPERS
Future of Information and Communication Conference (FICC) 2019
14-15 March, 2019 | San Francisco, CA | http://saiconference.com/FICC2019
FICC 2019 aims to provide a forum for researchers from both academia and industry to share their latest research contributions and exchange know...more |
May 7 2018 - 10:11am |
6 years 17 weeks ago |
|
Calls for Demos, Participation, Posters, Presentations, Solutions and Works in Progress |
Tutorial on SARL at EUSPN 2018 |
Tutorial on SARL at the 9th International Conference on Emerging Ubiquitous Systems and Pervasive Networks (EUSPN 2018)
November 5-8, 2018, Leuven, Belgium | http://www.multiagent.fr/Conferences:TutorialSARLEUSPN18
In conjunction with the 9th International Conference on Emerging Ubiquitous Syste...more |
Jun 25 2018 - 11:36am |
6 years 18 weeks ago |
|
Calls for Papers |
CfP: 24th IEEE International Conference on Parallel and Distributed Systems (ICPADS 2018) |
CALL FOR PAPERS
24th IEEE International Conference on Parallel and Distributed Systems (ICPADS 2018)
December 11 - 13, 2018 | Singapore | http://icpads.sg
Established in 1992, ICPADS has been a major international forum for scientists and engineers to exchange and share new ideas and their latest...more |
Jun 25 2018 - 11:22am |
6 years 18 weeks ago |
|
Position Announcements |
9 Research Scientist Positions in RTES, CPS and IoT |
Call for expression of interest in 9 Research Scientist positions to engage in an ambitious research plan in the area of Real-Time & Embedded Computing Systems (RTES), Cyber-Physical Systems (CPS) and Internet-of-Things (IoT).
1 - WHAT WE OFFER
The CISTER Research Centre (https://www.cist...more |
Jun 25 2018 - 11:13am |
6 years 18 weeks ago |
|
Position Announcements |
Postdoc & Ph.D. Positions in Ultra-Reliable, Low-Latency Wireless Networks and Applications |
The Dependable Networking and Computing (DNC) Research Group at Iowa State University, USA (http://www.ece.iastate.edu/~hongwei/group/) has postdoc and Ph.D. positions available for research in ultra-reliable, low-latency wireless networks and their applications in AR/VR systems, connected and autom...more |
Jun 24 2018 - 5:51pm |
6 years 18 weeks ago |
|
Position Announcements |
3 RA/PostDoc positions in Compilers/Runtime at University of Edinburgh |
The School of Informatics, University of Edinburgh, is advertising three research positions in the area of compilers and runtime for a coarse-grain reconfigurable accelerator (CGRA).
These posts are associated with SDH, software defined hardware, a US DARPA project led by U. Michigan and in part...more |
Jun 15 2018 - 12:03pm |
6 years 20 weeks ago |
