|
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 |
