Special Scientist on formal methods at Department of Computer Science, University of Cyprus

Applications are invited for two full-time research positions (Postdoctoral
Special Scientist) in the Networks Research Laboratory (NetRL,
http://www.NetRL.cs.ucy.ac.cy) and the Research Laboratory for Foundations
of Computing Systems and Theoretical Computer Science (FCS
Laboratory, http://fcslab.cs.ucy.ac.cy/) of the Department of Computer
Science at the University of Cyprus (UCY). The successful applicants will join
the EU H2020 project VISORSURF (http://www.visorsurf.eu/), starting in
January 2017.
VISORSURF is a 3.5 year (Jan 2017 ñ June 2020) H2020 research project
funded under the very competitive FET OPEN program (4% success rate). The
project is led by the Foundation for Research and Technology Hellas-FORTH,
Greece, and the consortium includes the University of Cyprus (Departments of
Computer Science and Electrical and Computer Engineering), Cyprus,
Fraunhofer IZM, Germany, SignalGenerix Ltd, Cyprus, NanoNetworking Center
of Catalunya-UPC-N3CAT, Spain, and Aalto University, Finland.
The project will undertake the ambitious goal of providing programming
concepts and algorithms in crafting the electromagnetic/light behavior of
materials (Metamaterials). VISORSURF aims to develop a hardware platform
-the HyperSurface- that can host metasurface functionalities described in
software, enabled via a network of nanonodes (Nanonetwork) embeded in the
HyperSurface, adding the potential for hosting multiple functionalities
concurrently and adaptively.
We are seeking two highly-motivated researchers with a PhD degree in an
area related to the project, and with proven capability to work in a demanding
multi-disciplinary research environment and eager to be actively engaged in
the demanding activities of FET European projects, collaborating efficiently
with the project research teams. The two positions qualifications are as
outlined below:
Position 1: The applicants should have general knowledge in Computer
Networks, and proven research work in as many of the following areas:
Routing and dissemination protocols, Nanonetworks, Nature-Inspired
Techniques applied in Communication Networks, and Simulation
and Evaluation of Communication (Nano)Networks.
Position 2: The applicants should have general knowledge of formal methods
and expertise in model checking as well as a good knowledge of
programming languages, and distributed computing/systems. Candidates
should demonstrate strong programming and formal modelling skills and the
expertise and commitment to apply rigorous semantics to real systems.
Familiarity with nanonetworks will be helpful but is not necessary for the
position.
The position is on a contract basis of one year, subject to renewal, with a
maximum duration extending to the end of the project. The monthly
employment cost is equal to EUR 2000-3500 depending on qualifications.
Employee and employer contributions will be deducted from the
above amount. The positions do not include a 13th salary bonus or medical
insurance coverage.
Enquiries regarding Position 1 should be made to Professor Andreas
Pitsillides (Andreas.pitsillides-AT-ucy.ac.cy) and for Position 2 to Associate
Professor Anna Philippou (annap-AT-cs.ucy.ac.cy).
For more information visit https://www.cs.ucy.ac.cy/index.php/news/jobs/852-2...