Physical systems, comprising of actuators, sensors and many other sophisticated electro-mechanical components, are increasingly being used to control various critical aspects of our daily lives, like healthcare, transportation and energy. As an outcome, their failures may lead to devastating consequences. Formal verification methods are primarily based on theoretical computer science fundamentals like logic calculi, automata theory and strongly type systems. They have been used in the past for analyzing hardware and software systems. In this research program, we aim at using higher-order logic theorem proving for the formal verification of dynamical aspects of physical systems. In particular, we want to provide library support through the formalization in higher-order logic of mathematics foundations of physical dynamics, such as the Laplace, Fourier, Z transfer methods, and the Hankel (multi-dimensional) transform method. The target theorem prover environments include, but are not limited to, HOL4 and HOL-Light.
Academic qualifications required
PhD in Computer Science or Computer Engineering. Experience with higher-order logic theorem proving is required.
Candidates with current expertise at the intersection of formal methods, mathematics and physics will be given priority.
Potential applicants shall have excellent analytical, software engineering, and writing skills.
This position is particularly suited for candidates who want to follow a career in academia.
Applicants must not currently hold a postdoctoral appointment at Concordia
Priority will be given to postdoctoral fellows who have obtained their PhD from another university although in exceptional cases Concordia graduates may be considered
Please include the reference number with your application
One to three (1-3) page research statement demonstrating fit with the program described above.
Current curriculum vitae demonstrating research excellence and a capacity for leadership in the domain (maximum 5 pages).
Two letters of reference from academic supervisors or current employers to be sent via e-mail directly to Niyusha Samadi.
The prestigious two-year Horizon Postdoctoral Fellowships are valued at $50,000 per year plus benefits and full access to Concordia’s services, including GradProSkills.
Concordia University is a vibrant research and teaching environment, with state-of-the-art research facilities and many research centers. Concordia is located in Montreal, Canada, a diverse and creative city, often ranked as offering one of the best quality of living experiences in North America.
Concordia University is committed to Employment Equity and encourages applications from women, Aboriginal Peoples, visible minorities, ethnic minorities, and persons with disabilities.