Pradeo Security Systems is looking for a yound PhD in Computer Science to reinforce its Research and Development team. The candidate must be specialised in static-analysis, reverse-engineering, compilation and decompilation.
- PostDoc on Computer Aided Verification of Automata (TUM, Munich, Germany)
- PostDoc on Realizability for Classical Logic, Concurrency, References and Rewriting (PPS Laboratory, Paris-Diderot University, France)
- PostDoc on Homotopy Type Theory (Carnegie Mellon University, Pittsburgh, PA, United States)
- PostDoc in Combined Static and Dynamic Program Analyses (VirginiaTech, Blacksburg, VA, United States)
- PostDoc on Weak-Memory Concurrency and Compilation (ENS Paris, France)