Research Associate - Reinforcement Learning-Based Formal Verification
Last updated: July 2, 2024, 4:02 p.m.
Department
Concordia Institute for Information Systems Engineering
Position Title
Reinforcement Learning-based Formal Verification
Posting Period
July 2, 2024, through July 15, 2024
Position Start and End Dates
July 16, 2024 through January 15, 2024 (6 months)
Brief Description of Duties and Expertise
The ideal candidate for the Research Associate position is expected to leverage their expertise in Information Systems and Engineering to address real-world challenges through innovative research and development in the area of model checking agent-based systems.
Key responsibilities include the following:
Research and Development
Conduct in-depth research on systems verification, trust, and commitment protocols within IoT and intelligent systems to develop innovative solutions using Reinforcement Learning (RL) for complex problems.
Formal Verification
Design and implement efficient and reliable RL-based formal verification approaches to ensure the correctness and robustness of IoT systems and intelligent applications.
Publications and Presentations
Write and publish high-quality research articles in peer-reviewed journals and present findings at national and international conferences.
Meetings and Discussions
Attend and actively participate in regular research meetings, project discussions, and collaborative efforts to drive research progress and innovation.
The successful candidate should have a proven track record of high-quality research publications and presentations and a strong background in:
- formal verification
- temporal logics
- multi-agent systems
- reinforcement learning
- IoT systems
- intelligent applications
Experience in collaborating with academic and industrial partners, as well as mentoring students, is highly desirable.
Excellent communication and presentation skills are essential for this role.
Qualifications
- PhD degree in Information Systems Engineering, or equivalent
- Experience with software development (e.g., Python, Go, Java)
- Knowledgeable in complex systems protocols and formal verification techniques
- Familiarity with reinforcement learning
- Strong research capabilities and problem-solving
- Preference for a track record of peer-reviewed research
Principal Investigator and Supervisor
Salary Information
$32 per hour, 20 hours per week
Application Instructions
Interested applicants should submit their curriculum vitae by email to: bentahar@ciise.concordia.ca
This posting will remain active until the successful applicant is selected. We thank all the applicants, but only the selected candidates will be contacted for an interview.
Concordia University is located on unceded Indigenous lands. Tiohtià:ke/Montreal, on the traditional lands and waters of the Kanien’kehá:ka Nation, is historically known as a gathering place for many First Nations. Today it is home to a diverse population of Indigenous and other peoples. We respect the continued connections with the past, present and future in our ongoing relationships with Indigenous and other peoples within the Montreal community.
Building on the skills of our faculty and the strengths of Indigenous, local, and global partnerships, we set our sights further and more broadly than others and align the quality of learning opportunities to larger trends and substantial challenges facing society.
“Concordia is a young, forward-looking university. It’s a unique place where experimentation, innovation and creativity are truly valued. Our community of students, faculty, staff and alumni all contribute to our momentum as Canada’s next-gen university.” — Concordia President Graham Carr.
Profoundly global, Concordia is North America’s top university under the age of 50 and is recognized for attracting some of the most talented faculty and students from around the world. Driven by ambition, innovation and a commitment to reconciliation, research and community engagement, Concordia is celebrated for advancing transformative learning, convergent thinking and public impact.
Tiohtià:ke/Montreal, is exceptional; safe, vibrant and diverse, with new things to discover around every corner. The Kanien’kehá:ka Nation is recognized as the custodians of the lands and waters on which we gather and conduct our activities. With a population of 1.7 million, Tiohtià:ke/Montreal is home to four major universities and several clinical research centres and has been named the best student city in the world. It offers the most affordable tuition in Canada.
The city enjoys a thriving multicultural scene. Bilingualism is a part of Montreal’s tradition and adds to its inspiring atmosphere. While supporting a significant anglophone population, it is the one of the largest French-speaking cities in the world.
Montreal is famed for its innovative culinary scene and festivals. It was also the first metropolis to be designated a UNESCO City of Design by the Global Alliance for Cultural Diversity.
The city is recognized globally as an important centre for commerce, aerospace, transport, finance, pharmaceuticals, technology, design, gaming and film.
Territorial Acknowledgement
Concordia University is located on unceded Indigenous lands. The Kanien’kehá:ka Nation is recognized as the custodians of the lands and waters on which we gather today. Tiohtià:ke/Montreal is historically known as a gathering place for many First Nations. Today, it is home to a diverse population of Indigenous and other peoples. We respect the continued connections with the past, present and future in our ongoing relationships with Indigenous and other peoples within the Montreal community.
Employment Equity
Concordia University is strongly committed to employment equity within its community, and to recruiting a diverse faculty and staff. The University encourages applications from all qualified candidates, including women, racialized persons, Indigenous persons, 2SLGBTQI+ persons, and persons with disabilities; candidates are invited to self-identify in their applications.
Immigration Status
All qualified candidates are encouraged to apply; however, Canadian and Permanent Residents will be given priority. To comply with the Government of Canada’s reporting requirements, the University is obliged to gather information about applicants’ status as either Permanent Residents of Canada or Canadian citizens. While applicants need not identify their country of origin or current citizenship, all applications must include one of the following statements:
Yes, I am a citizen or permanent resident of Canada
or
No, I am not a citizen or permanent resident of Canada.
