Research Associate - Reinforcement Learning-Based Formal Verification

Research Associate - Reinforcement Learning-Based Formal Verification Last updated : July 2, , 4 : 02 p.m. DepartmentConcordia Institute for Information Systems EngineeringPosition TitleReinforcement Learning-based Formal VerificationPosting PeriodJuly 2, , through July 15, Position Start and End DatesJuly 16, through January 15, (6 months)Brief Description of Duties and ExpertiseThe 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 DevelopmentConduct 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 VerificationDesign and implement efficient and reliable RL-based formal verification approaches to ensure the correctness and robustness of IoT systems and intelligent applications.

Publications and PresentationsWrite and publish high-quality research articles in peer-reviewed journals and present findings at national and international conferences.

Meetings and DiscussionsAttend 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 verificationtemporal logicsmulti-agent systemsreinforcement learningIoT systemsintelligent 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 equivalentExperience with software development (e.

g., Python, Go, Java)Knowledgeable in complex systems protocols and formal verification techniquesFamiliarity with reinforcement learningStrong research capabilities and problem-solvingPreference for a track record of peer-reviewed research Principal Investigator and SupervisorDr.

Jamal BentaharSalary Information$32 per hour, 20 hours per weekApplication InstructionsInterested applicants should submit their curriculum vitae by email to : 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. Information about Concordia 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.

Information about Montreal 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.

box1 .xlarge-text font-size : 16px !important; line-height : 28px !important; .box1 p font-size : 16px !important; line-height : 28px !important;

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.