|
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 |
|
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 |
|
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 |
|
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 |
|
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 |
|
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 |
|
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 |
|
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/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 |
|
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 |
|
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 |
|
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 |
|
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 |
|
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 |
|
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 |
|
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 |
|
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 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 |
|
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 |
|
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 - 1:15pm |
6 years 49 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 |
|
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 |
|
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 |
|
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 |
|
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 |
|
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 |
|
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 |
|
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 |
|
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 |
|
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 |
|
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 |
|
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 |
|
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 |
|
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 |
|
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 |
|
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 - 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 - 2:15pm |
6 years 49 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 |
|
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 |
|
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 |
|
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 |
|
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 |
|
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 |
|
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...more |
Nov 30 2016 - 12:41pm |
7 years 45 weeks ago |
|
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 - 8:38am |
7 years 1 week 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 |
7 years 48 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 fel...more |
Nov 9 2016 - 10:30am |
7 years 48 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 postdocto...more |
Nov 9 2016 - 10:29am |
7 years 48 weeks ago |
|
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 - 6:46pm |
6 years 49 weeks ago |
