[TYPES/announce] PostDoc position at Inria Paris on Formally Secure Compilation in Coq
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Hello, A PostDoc position is available in my group at Inria Paris on Formally Secure Compilation in Coq (https://secure-compilation.github.io). I am seeking outstanding candidates with a strong, internationally competitive research track record. Particularly interesting for us is research expertise in: - formal verification in the Coq proof assistant and verified compilation in particular (e.g. CompCert) - security foundations, e.g., reference monitoring, hyperproperties, noninterference Here are some (non-exhaustive) lists of potential research topics: http://prosecco.gforge.inria.fr/personal/hritcu/temp/habil/catalin_habil.pdf#page=80 Candidates are expected to work collaboratively on project-relevant topics and help advise students, but can also dedicate some of their time to their own independent projects. For exceptional candidates with enough experience we can also discuss about Starting Researcher positions, who can propose and follow their own research agenda and be fairly independent. Our team can also support such exceptional candidates for permanent Researcher positions funded and awarded competitively by Inria. Further details about these various positions are available at https://secure-compilation.github.io/#positions Do not hesitate to contact me if you are interested! Regards, Catalin
[TYPES/announce] postdoc position at Inria Rennes
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] The CELTIQUE team (https://team.inria.fr/celtique/) has a postdoc position available on the compilation of recursive functions to inductive definitions in Coq. To see details and to apply, please go to https://jobs.inria.fr/public/classic/en/offres/2018-00432. Do not hesitate to forward this email to any appropriate candidate or mailing list. Best regards, Alan Schmitt -- OpenPGP Key ID : 040D0A3B4ED2E5C7 Monthly Athmospheric CO₂, Mauna Loa Obs. 2018-01: 407.98, 2017-01: 406.13 signature.asc Description: PGP signature
[TYPES/announce] Postdoc position at INRIA
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Hi everyone, we are looking for 2 postdocs at INRIA Sophia Antipolis, next to Nice, France. The successful candidate will join the project lead by Nataliia Bielova and Arnaud Legout to work on web tracking prevention through program analysis and measurement of user discrimination on the Web. Possible starting date is this fall/winter for the duration of 1 year. Applicants should have, or expect to obtain shortly, a PhD in Computer Science, preferably with a focus on the topics mentioned above. Potential candidates are encouraged to contact Nataliia Bielova (nataliia dot bielova at inria dot fr). Nataliia
[TYPES/announce] PostDoc position at INRIA / ENS Paris, France
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] *** PostDoc Position in the Parkas team, ENS Paris, France *** We are seeking applicants for a post-doctoral position to join a group working on the broad area of concurrency and compilation in the Parkas team (ENS -- INRIA, Paris, France): http://www.di.ens.fr/ParkasTeam.html Recent work focussed on the relaxed-memory concurrency that real systems exhibit, including work on the memory models of multiprocessors (x86, Power, ARM), verified compilation of concurrent programming languages to multiprocessors, the semantic theory of relaxed-memory concurrency, the development of tool support for semantics, and compiler testing. Applicants must have a PhD in Computer Science or a closely related field. The term of the postdoc position is one year with an option to renew for another year. Tentative starting date is January 1st, 2015. A keen interest in programming languages, concurrency, semantics, and compilation is essential. The position is funded by the ANR WMC project http://www.di.ens.fr/~zappa/projects/wmc/ led by Francesco Zappa Nardelli (http://www.di.ens.fr/~zappa/). Applications should include: * a curriculum vitae * a brief statement of the particular contribution you would like to make to the project * the names and contact details (postal and e-mail addresses) of two referees. Applications and enquiries should be sent before October 1st to francesco.zappa_nardelli (@) inria.fr signature.asc Description: Message signed with OpenPGP using GPGMail
[TYPES/announce] postdoc position in INRIA Paris-Rocquencourt
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] * Summary o Postdoc position: Deepsea Project, INRIA Rocquencourt-Paris o Duration: 2 (+1) Year o Area: programming languages o Note: Collaborations and extended stays at Carnegie Mellon University possible (likely with funding from CMU). * Description Postdoc position is available on the Design and implementation of programming languages for dynamic parallelism in the DeepSea Project in INRIA Paris-Rocquencourt. This is a two year post-doc position, with an option to extend to three years. The post-doc will be funded by an EU-ERC grant in INRIA-Paris, France. Visits and collaboration with Carnegie Mellon University, Pittsburgh, Pennsylvania (USA) will be encouraged; extended longer-term stays at Carnegie Mellon may be possible to arrange (likely with funding via Carnegie Mellon). The DeepSea project team, consisting of Umut Acar, Arthur Charguéraud, and Mike Rainey, is looking for talented researchers with a strong research track record. The goal of the research is to develop techniques to enable a model of computation where applications operate in parallel on dynamically changing data. This research, combining techniques from parallel and dynamic computation, will be based on the foundations of a parallel programming model for multicore computers already been developed by the team. Strong applicants will have background in one or more of the following areas: 1) programming language semantics, 2) programming language implementation including compilers and run-time systems, 3) algorithm design and implementation. Prior experience with parallelism is not necessary. Experience with proof assistants such as Coq would be a plus. Candidates should have a PhD (or equivalent) in Computer Science or Engineering. Suitable applicants nearing completion of a PhD will be considered. The successful candidate will have the opportunity to collaborate with the students and researcher in INRIA (Rocquencourt, and Paris Place d'Italie), as well as students and faculty at Carnegie Mellon University. Interested candidates should send their CV, research statement, and list of references to Umut Acar at u...@cs.cmu.edu. Web site: www.cs.cmu.edu/~umut Umut Acar
