PhD Scholarship in Computer Science (3 years full time)

The Centre for Computer and Information Security Research (CCISR) at the  University of Wollongong, Australia, is looking for a high caliber PhD student to work in the topic of «Post-quantum Cryptography».

The topic includes the following sub-topics:

  •  Lattice-based cryptography,
  •  Multivariate cryptography,
  •  Code-based cryptography,
  •  Quantum computing.

Candidates are required to have a good background in mathematics. All the decisions made will be final and there is no appeal procedure.

Ideally, it is expected that the candidate will start the PhD candidature by August 2014.

Application closes: 30 May 2014.

Interested candidates should send their complete CV, which includes their research experience and publication to Dr. Thomas Plantard (thomaspl@uow.edu.au).

Any questions regarding this position should be directed to Prof. Willy Susilo (wsusilo@uow.edu.au) or Dr. Thomas Plantard (thomaspl@uow.edu.au).

Mucha Suerte.

Seminario de Doctorandos UCM.

Post-doc positions in France and Germany

The newly established research project SISYPH (jointly financed by ANR, France and DFG, Germany) opens several postdoctoral fellowships starting in fall 2014 or later.
The research topics of SISYPH include

* Gromov-Witten theory and Mirror Symmetry
* Singularity theory and applications to Landau-Ginzburg models
* Irregular singularities of systems of linear differential equations
* Hodge theoretic aspects of mirror symmetry, non-commutative Hodge structures
* Isomonodromic deformations and applications to Frobenius manifolds
* Hypergeometric differential systems and toric geometry
* Homological and categorical aspects of mirror symmetry

Complete information can be found at

http://www.math.polytechnique.fr/SISYPH/postdoc-en.htm

Mucha Suerte.

Seminario de Doctorandos UCM.

Postdoc position in Lyon

A 12-month post-doctoral position is available in the Plume team
of the LIP laboratory at ENS de Lyon.

The position is cofunded by the ANR project RECRE and the LIP
laboratory.

Research conducted in Plume team covers various aspects of
programming languages semantics and logic in computer science.

«RECRE» stands for «Realizability for classical logic, concurrency,
references and rewriting». The project also includes topics relevant
to the Curry-Howard correspondence, such as denotational semantics,
linear logic, proof theory and type theory.

For this position, we will welcome applications in topics relevant
to RECRE, as well as at their intersection with other fields of logic
and computer science such as program verification or logic and
automata.

Salary: around 2000 euros net per month.

Starting date: September 1st 2014

Applications: please send, before *May 4th 2014*
a CV together with a one-page cover letter to Colin Riba.

For any question, please contact Colin Riba.

Contacts:
– Colin Riba: colin.riba@ens-lyon.fr
– Plume team: http://www.ens-lyon.fr/LIP/PLUME/

Mucha Suerte.

Seminario de Doctorandos UCM.