Postdoc in formal methods and security

A postdoc position in formal methods and security is available in the Department of Computer Science at Stevens Institute of Technology.

The position is in the Flowspecs project on specification and enforcement of flexible information flow policies.  We are developing theory and prototype tools for high assurance, targetting Android apps including apps with web components implemented in JavaScript.  The project team includes collaborators from University of Central Florida, Grammatech, and IMDEA Software.

The ideal candidate has excellent programming skills and has expertise in formal verification of software, security and privacy, web and mobile technologies, compilers, and automated reasoning.

The general duties include implementing research ideas to evaluate their effectiveness, identifying and pursing new research within the project, writing up research for presentation/publication, and engagement with other researchers.  The position offers a competitive salary and support for travel.

Stevens is a research university founded in 1870, and is located in Hoboken, New Jersey, across the Hudson river from New York City.  There are excellent opportunities for collaborations with nearby universities such as NYU, Princeton, Columbia, and Rutgers/DIMACS as well as major industrial research laboratories such as Bell Labs, AT&T Labs, IBM Research, Google NYC, and NEC.

All inquiries and application material should be sent to Dave Naumann (
Applications will be accepted until the position is filled.
Start date: June 2015 or later.
Duration: one year, with possibility of renewal depending on funding availability.

Open PhD positions on Software Engineering Cloud Apps

Please be informed on some openings for student positions on Software Engineering Cloud Applications in Athens University of Economics and Business (AUEB). They concern Software Engineering Cloud Apps with some example topics:
– Secure systems on cloud computing infrastructures
– Configuration management and administration of cloud computing systems
– Energy-efficiency of cloud computing systems

The positions are funded through SENECA project, a Marie-Skłodowska Curie Action
European Industrial Doctorate (EID) project under the supervision of Prof. Diomidis Spinellis
. You can find more information on the project’s web site regarding the applications:

3-Year Fully Funded PhD Bursaries in Computer Security and Digital Forensics

The University of Portsmouth is looking for talented potential PhD students to join us in October 2015. As a UK/EU student, you could be selected for one of 30 fully funded PhD bursary studentships, full-time, over three years. We are inviting applications in areas related to computer science in general:
including computer security and digital forensics.
The deadline for completed applications is 4 June, 2015. 

The University of Portsmouth supports world-class research. In the most recent Research Excellence Framework in 2014 over 60% of research submitted by the University was rated as world leading and internationally excellent and we are keen to continue to foster this innovative research with our doctoral students. As a postgraduate research student, you will be part of a thriving research community and have access to a wide range of resources to support your development.

If you are interested in applying with a research proposal in computer security and digital forensics, please contact

Research Associate in Information Assurance

The University of Luxembourg seeks to hire outstanding researchers at its Interdisciplinary Centre for Security, Reliability and Trust (SnT). The position is in the APSIA group.
The Applied Security and Information Assurance Research Group – APSIA – is one of the 7 research groups of the SnT and has around 20 members and is headed by Professor Peter Y.A. Ryan. APSIA specialises in the mathematical foundations of information assurance: the mathematical modelling and analysis of information flows, the design and analysis of cryptographic primitives and protocols (both classical and quantum), secure verifiable voting systems, and anonymous marking systems and game-theoretic analysis of non-interference and coercion-resistance. The group has expertise in both the symbolic (formal methods) and the computational (“provable security”) styles of analysis and is investigating the links and synergies between them. The group has also established itself as a leading centre for the socio-technical aspects of security.
SnT is a recently formed centre carrying out interdisciplinary research in secure, reliable and trustworthy ICT (Information and Communication Technologies) systems and services, often in collaboration with industrial, governmental or international partners. SnT is active in several international research projects funded by the Horizon2020 programme and the European Space Agency. For further information you may check:

  • Research Associate in Information Assurance (M/F)
  • Ref: F1-090006
  • Fixed Term Contract 2 years (CDD), full-time (40 hrs/week) extendable up to 5 years
  • Number of positions: 1
Your Role

To contribute to the research goals of the group, as outlined above. Expertise outside those listed above, but complementary will also be considered.
For inquiries please contact: Prof P Y A Ryan,

Your Profile
  • PhD in Computer Sciences, (Applied) Mathematics, Theoretical Physics or related areas.
  • Experience in cryptography, information assurance, mathematical modelling will be considered as an advantage
  • Fluent written and verbal communication skills in English are mandatory.
  • A proven interest in information security is essential
  • Strong background in mathematics is essential.
  • Commitment, team spirit and a critical mind.
We offer

The university offers a two year employment that may be extended up to five years. The University offers highly competitive salaries and is an equal opportunity employer. You will work in an exciting international environment and will have the opportunity to participate in the development of a newly created research centre.

Further Information

Applications, written in English should be submitted online and should include:

  • Curriculum Vitae (including your contact address, work experience, publications)
  • Cover letter indicating the research area of interest and your motivation
  • A research statement which addresses specifically the topic of the position (300 words)
  • Transcript of all courses and results from the university-level courses taken
  • A short description of your PhD thesis (max 1 page)
  • Contact information for 3 referees

Deadline for applications: June 15 2015
Applications will be considered on receipt therefore applying before the deadline is encouraged.

PhD Position in Security/Privacy for Fall 2015

Immediate PhD position in information security/privacy for Fall 2015 in the Informatics Department at SUNY Albany.

Areas of interest include, but are not limited to:
– Security and Privacy in Social Networking Systems, Location-Based Services, and Geo-Social Networks
– Privacy-Preserving Data Sharing
– Trust and Reputation in Networked Systems

Strong technical background, programming skills, research background in security and privacy, and excellent writing and spoken English skills

Interested candidates should send their CV and a brief statement of research interests to Dr. Amir Masoumzadeh ( by May 30th 2015.

More details can be found at

Assistant/Associate Professor Position in Security in Trento (Italy)

The University of Trento invites expressions of interest in view of the opening of a position of Tenure Track Assistant or Associate Professor in the field of Security.

We seek candidates with significant accomplishments who are committed to reach further promising achievements in any field related to computer, communication and multimedia security in terms of theory, technology, empirical studies, or economics.

Successful candidate for the position will be expected to have a strong publication record and the ability to work both independently and collaboratively. Candidates for the position of associate professor should have a proven record of participation and possibly leadership in research projects and experience in teaching in English in graduate institutions. Knowledge of Italian is appreciated but not required.

The University of Trento particularly welcomes applications from women candidates.

==== The University of Trento ========

The University of Trento has systematically ranked in the top tier positions in Italy in the past 10 years in both national Research Assessment Evaluations (RAE) and University Surveys. In the latest RAE the University of Trento as a whole ranks 1st among medium universities; the Department of Information Engineering and Computer Science ( ranks 2nd nationwide in its field. Its teaching programs at MSc and Phd level are all held in English to an audience of international students.

Other staff members of the Department working in the field of Security are prof. Bruno Crispo and prof. Fabio Massacci, with a significant track record in terms of publications, acquisition of research grants, industry collaborations and supervision of international graduate students. Additional information on the research activities in security are available at

The Department expects the successful candidate to contribute significantly to the research outcomes in the area, consolidate existing activities and open new areas of research.

====== Further Information =======

Further particulars on the position are available at the url:

Informal inquiries on security research at the University of Trento and about the position can be addressed to prof. Fabio Massacci at

Fully funded PhD position in Venice

The information security group at Ca’ Foscari University, Venice, has an open fully funded PhD position on “Cybersecurity and cryptography”. The position is co-funded by Yarix (

The PhD student will join the ACADIA research center ( of Ca’ Foscari based in the modern scientific campus of Mestre, reachable in only 15 minutes from Venice by public transportation. The campus is highly international with both Master and PhD courses completely held in English.

For more information please contact Prof. Riccardo Focardi (

Appication deadline is April 24th, 2015 at 1:00 pm (CEST) and can be done on-line at:

Postdoctoral position at Liverpool

The University of Liverpool, Department of Computer Science, invites applications for a

Postdoctoral Research Associate Position

in the EPSRC-funded project

Islands of Tractability in Ontology-Based Data Access

The position is available for three years starting July 1st, 2015.

The research associate will work under the supervision of Professor Frank Wolter in a joint
project with Dr Boris Konev and Dr Andre Hernich. The topic is theory and practice of
ontology-based query answering for expressive ontology languages focusing on classes of
tractable ontology-based queries.

Candidates should have a PhD in Computer Science, Logic, or Mathematics and relevant expertise in
computational logic, complexity theory, database theory, or knowledge representation and reasoning.

For further details and application procedures, see

2 Postdocs & 2 PhD fellowships in security at the University of Trento, Italy

As part of the activity of joint Industry-Academia laboratory, the University of Trento is looking to recruit outstanding candidates for two post doctoral researcher positions and two PhD students.

Successful candidates will form part of an international research group, including prof. Fabio Massacci and prof. Bruno Crispo. The positions will be based in Trento, in strategic collaboration with industrial partner Poste Italiane, the chair of the European Electronic-Crime Task Force, in Rome, Italy. Their positions are broadly in the following areas:

– Cyber-security Risk Assessment
– Malware Analysis and Forensics
– Empirical and Economics methods for Security
– Mobile Security

=== Terms and Conditions ===

PhD candidates will be expected to have an outstanding educational profile in CS, EE, IS, or related discipline, with evidence of interest and ability to undertake doctoral research in the above mentioned fields.
Successful candidates for the post doctoral positions will be expected to have a strong publication record and an ability to work both independently and collaboratively.

The PhD positions which are funded by 3-4 years scholarship grants of €17.5K+ per annum (€15.450 stipend, fees €600, travel budget of €1.400 and a 50% stipend increase for research internships at partner institutions lasting more than 3 months) .
Post-doctoral positions in the past have ranged between €25K-€55K p.a. depending on age and experience. Post-holders who have been outside Italy may benefit of a special tax waiver, if they take residence in Italy.

=== Application Deadlines ===

PhD candidates must also apply for admission at the ICT Doctoral School in Trento (Selecting the track(s) including Security among their topics).  The official call is scheduled to open by April 20 and the expected deadline for PhD application is May 20.
The postdoctoral positions are open (tentatively till the same deadline) and will be filled as soon as interesting candidates are found.

Potential candidates for PhD positions are encouraged to contact Professor Fabio Massacci informally at well before the application deadline, including a CV containing a list of publications and, for post-doctoral positions, a research statement highlighting past experience and skills.

=== Further Info ===

For further information on the research team, Trento and the EECTF please look at

Security Team in Trento

ICT Doctoral School In Trento

European Electronic Crime Task Force

Faculty and PhD positions at Chalmers

Chalmers is looking for several faculty in the area of software technology, with security as one of the topics well in scope:

* Associate professor in Software technology (up to 2 positions) – deadline April 6

* Lecturer (with focus on teaching) in Software technology (up to 2 positions) – deadline April 6

…and we’re also looking for PhD students in security and privacy:

* 3 PhD positions in application and language-based security and 1 position in location privacy – deadline April 14

Please, encourage strong candidates to apply!

Computer and Information Security – أمن المعلومات