Interested in working in the Dalhousie Mathematics and Statistics Department? Visit this page regularly to view job openings.
Please check back regularly for updates
Post Doctoral Fellow Positions
Postdoctoral Fellowship or
Doctoral Student Fellowship
Mathematics and Statistics
Rigetti Computing (based in Berkley, California), through its work with faculty at Dalhousie University’s Department of Mathematics and Statistics, has provided funding for a scholarship for a PhD student or post doctoral fellow who is involved in developing a quantum computer language.
The successful applicant will work on a project entitled "Trusted Quantum Software via a Formally Verified Functional Quantum Programming Language". Specifically, the project will involve the design of a type system for a type-safe functional programming language for quantum computing, loosely modelled on the Quipper language (http://www.mathstat.dal.ca/~selinger/quipper/). It will also involve developing the meta-theory (including categorical semantics) of the language, and eventually the formalization of some of this meta-theory in a proof assistant.
Please see the attached document for more information and to view the application procedure.
AARMS - Atlantic Association for Research in the Mathematical Sciences
AARMS postdoctoral fellowships are awarded, on the recommendation of its Scientific Review Panel (SRP), to beginning researchers who received their PhD no more than four years before applying. Applications will be considered from those who anticipate receiving their PhD before the proposed start time of the fellowship, however the PhD must be in hand before actually beginning the fellowship. AARMS will provide $17,500 per year for the fellowship and the supervisor is responsible for organizing matching funds of at least this amount
It is typically expected that the proposed supervisor will not be the same person as the applicant’s PhD supervisor, and that the proposed Postdoctoral Fellowship will be at a different university than the one at which the PhD was awarded. The proposed supervisor must be a full-time tenure track or tenured faculty member at a university in Atlantic Canada.