1

Formal Methods Computer Science Jobs in Toronto, ON

Build scalable evaluation methodologies that replace manual labeling with automated, data-driven ... Bachelors degree in Data Science, Mathematics, Computer Science, Statistics, or a related field ...

CAD Technician

Richmond Hill, ON · On-site

CA$60K - CA$65K/yr

Create and implement work methodologies and strategies * Document and update all drawings ... An Associate of Applied Science Degree/diploma in drafting OR Bachelor's degree in electrical or ...

Founded by experts in finance and computer science, XIOpt prides itself on its practitioner-led ... and methodologies. A successful candidate will also contribute to research and development ...

Document methodologies and ensure reproducibility of work * Stay current with emerging tools and ... Bachelor's or Master's in a quantitative field (e.g., Computer Science, Statistics, Mathematics ...

... scientific method. By combining deep learning with formal logic and physics-based modeling, we ... S. in Electrical Engineering, Computer Engineering, Computer Science, or related field * 4+ years ...

Senior Manager, Data Science

Toronto, ON · On-site

CA$120K - CA$150K/yr

Oversee the application and review of data mining, data integration and hybrid methodologies ... The base pay range for this position is $120,000-$150,000 CAD/year, with an Annual Incentive Plan ...

Experience with Agile methodology ACADEMIC CREDENTIALS: * Bachelor's degree in computer engineering, Computer Science or Electrical Engineering * Formal Project Management education, PMP certified ...

Senior / Staff Applied Scientist

Toronto, ON · On-site +1

CA$146K - CA$280K/yr

... Computer Science, Physics, or Robotics.- Strong command of Python/SQL for data analysis and prototyping - Expertise in statistical methods, including hypothesis testing, A/B testing on complex ...

next page

Showing results 1-20

People also search for

Formal Methods Computer Science information

What is the difference between Formal Methods Computer Science vs Software Engineer?

AspectFormal Methods Computer ScienceSoftware Engineer
Required CredentialsDegree in Computer Science, Mathematics, or related field; certifications in formal methodsDegree in Computer Science or Software Engineering; coding certifications often preferred
Work EnvironmentResearch labs, safety-critical industries, academiaTech companies, startups, enterprise software development
Industry UsageHigh-assurance systems, aerospace, defense, safety-critical applicationsWeb, mobile, enterprise applications, general software development
Comparison Search IntentUnderstanding specialized roles in formal verification and correctnessGeneral software development and coding practices

Formal Methods Computer Science focuses on mathematically verifying software correctness, often in safety-critical industries. Software Engineers develop and maintain a wide range of software applications. While both roles require a strong foundation in computer science, Formal Methods Computer Science emphasizes formal verification techniques, whereas Software Engineers focus on coding, system design, and implementation.

Senior Applied Scientist, Document Understanding

Senior Applied Scientist, Document Understanding

THOMSON REUTERS

Toronto, ON

Full-time

Medical, Dental, Vision, Life, Retirement, PTO

Posted 5 days ago


Thomson Reuters rating

8.9

Company rating: 8.9 out of 10

Based on 19 frontline employees who took The Breakroom Quiz

18th of 425 rated business services


Job description

New Position: This position is open due to an existing vacancy to support our evolving business needs.

Senior Applied Scientist, Document Understanding

About the Role

This is an applied science position focused on designing, building, and deploying production-grade document understanding systems that power Westlaw, PracticalLaw, and CoCounsel.
You will work across semantic chunking, document enrichment, and knowledge graph construction for complex legal, tax, and accounting content - delivering foundational intelligence that multiple product teams depend on at scale.

About You

You hold a PhD or Master's in Computer Science, AI, NLP, or a related field, with 5+ years of post-degree industry experience shipping document understanding, information extraction, or knowledge graph systems into production. You have hands-on depth across model development, distillation, evaluation, and deployment. You work independently, lead through influence in an applied research setting, and measure success by what ships and performs in production.

What You'll Do

  • Design and deploy semantic chunking models for lengthy, non-uniformly structured legal documents with adjustable granularity across use cases

  • Build document enrichment systems that classify documents according to legal and customer-defined taxonomies and extract rich metadata

  • Develop LLM-based knowledge graph construction pipelines that extract and link citations, entities, and legal concepts across diverse legal content

  • Build scalable synthetic data generation systems for model training, multi-hop query simulation, and hallucination-free answer generation

  • Apply knowledge distillation techniques to compress large models into latency-constrained, production-ready SLMs

  • Design evaluation frameworks - component-level and end-to-end - using expert annotation and synthetic data

  • Drive independent technical decisions on chunking strategy, classification approach, knowledge extraction methods, and multi-document reasoning architecture

  • Partner with engineering on delivery, reliability, and scale across multiple product lines

  • Contribute to published research at venues such as ACL, EMNLP, ICLR, NeurIPS, SIGIR, and KDD, and to intellectual property

Required Qualifications

  • PhD or Master's in Computer Science, AI, NLP, or a related field

  • 5+ years of post-degree industry experience shipping document understanding, information extraction, or knowledge graph systems into production - not research-only experience

  • Publications at ACL, EMNLP, ICLR, NeurIPS, SIGIR, KDD, or equivalent

  • Experience leading through influence in an applied research setting

  • Production Python and experience with PyTorch, Hugging Face Transformers, and DeepSpeed

Hands-on production depth required in:

  • Document layout analysis and semantic chunking beyond fixed-size or paragraph-based methods

  • Hierarchical, multi-label document classification with domain-specific and customer-defined schemas

  • Entity recognition and linking, relation extraction, citation parsing, and knowledge graph construction from unstructured text

  • LLM-based information extraction, few-shot and multi-task learning, and post-training

  • Knowledge distillation, model compression, and SLM deployment under latency constraints

  • Synthetic data generation for NLP: query-answer generation with verification and scalable data augmentation

  • Annotation workflow design and evaluation framework development for document understanding tasks

Preferred Qualifications

  • Legal document understanding, legal information extraction, or legal AI applications

  • Complex document structures common in legal content: nested hierarchies, cross-references, non-uniform formatting, and embedded elements

  • Retrieval, QA, or analysis systems over large document collections

  • Knowledge graph frameworks for legal or enterprise applications

  • RAG and agentic workflows for enterprise knowledge systems

  • AzureML or AWS SageMaker

#LI-LP2

What's in it For You?

  • Flexibility & Work-Life Balance: Flex My Way is a set of supportive workplace policies designed to help manage personal and professional responsibilities, whether caring for family, giving back to the community, or finding time to refresh and reset. This builds upon our flexible work arrangements, including work from anywhere for up to 8 weeks per year, empowering employees to achieve a better work-life balance.

  • Career Development and Growth: By fostering a culture of continuous learning and skill development, we prepare our talent to tackle tomorrow's challenges and deliver real-world solutions. Our Grow My Way programming and skills-first approach ensures you have the tools and knowledge to grow, lead, and thrive in an AI-enabled future.

  • Industry Competitive Benefits: We offer comprehensive benefit plans to include flexible vacation, two company-wide Mental Health Days off, access to the Headspace app, retirement savings, tuition reimbursement, employee incentive programs, and resources for mental, physical, and financial wellbeing.

  • Culture: Globally recognized, award-winning reputation for inclusion and belonging, flexibility, work-life balance, and more. We live by our values: Obsess over our Customers, Compete to Win, Challenge (Y)our Thinking, Act Fast / Learn Fast, and Stronger Together.

  • Social Impact: Make an impact in your community with our Social Impact Institute. We offer employees two paid volunteer days off annually and opportunities to get involved with pro-bono consulting projects and Environmental, Social, and Governance (ESG) initiatives.

  • Making a Real-World Impact:We are one of the few companies globally that helps its customers pursue justice, truth, and transparency. Together, with the professionals and institutions we serve, we help uphold the rule of law, turn the wheels of commerce, catch bad actors, report the facts, and provide trusted, unbiased information to people all over the world.

Our use of AI within the recruitment process Thomson Reuters utilizes Artificial Intelligence (AI) to support parts of our global recruitment process. Unless you opt-out, our AI system will assess the information provided by you and compare it to the requirements listed for the role, and present the result to our recruitment personnel for further review. The AI system acts as a supporting tool, but there is always a human making the decision if you will be considered for the role.In the United States, Thomson Reuters offers a comprehensive benefits package to our employees. Our benefit package includes market competitive health, dental, vision, disability, and life insurance programs, as well as a competitive 401k plan with company match. In addition, Thomson Reuters offers market leading work life benefits with competitive vacation, sick and safe paid time off, paid holidays (including two company mental health days off), parental leave, sabbatical leave. These benefits meet or exceeds the requirements of paid time off in accordance with any applicable state or municipal laws. Finally, Thomson Reuters offers the following additional benefits: optional hospital, accident and sickness insurance paid 100% by the employee; optional life and AD&D insurance paid 100% by the employee; Flexible Spending and Health Savings Accounts; fitness reimbursement; access to Employee Assistance Program; Group Legal Identity Theft Protection benefit paid 100% by employee; access to 529 Plan; commuter benefits; Adoption & Surrogacy Assistance; Tuition Reimbursement; and access to Employee Stock Purchase Plan.Thomson Reuters complies with local laws that require upfront disclosure of the expected pay range for a position. The base compensation range varies across locations. For any eligible US locations, unless otherwise noted, the base compensation range for this role is $127,400 USD - $236,600 USD. For Ontario, Canada, the base compensation range for this role is $100,000 CAD - $145,000 CAD. Base pay is positioned within the range based on several factors including an individual's knowledge, skills and experience with consideration given to internal equity. Base pay is one part of a comprehensive Total Reward program which also includes flexible and supportive benefits and other wellbeing programs. This role may also be eligible for an Annual Bonus based on a combination of enterprise and individual performance. This job posting will close 07/23/2026.

About Us

Thomson Reuters informs the way forward by bringing together the trusted content and technology that people and organizations need to make the right decisions. We serve professionals across legal, tax, accounting, compliance, government, and media. Our products combine highly specialized software and insights to empower professionals with the data, intelligence, and solutions needed to make informed decisions, and to help institutions in their pursuit of justice, truth, and transparency. Reuters, part of Thomson Reuters, is a world leading provider of trusted journalism and news.

We are powered by the talents of 26,000 employees across more than 70 countries, where everyone has a chance to contribute and grow professionally in flexible work environments. At a time when objectivity, accuracy, fairness, and transparency are under attack, we consider it our duty to pursue them. Sound exciting? Join us and help shape the industries that move society forward.

As a global business, we rely on the unique backgrounds, perspectives, and experiences of all employees to deliver on our business goals. To ensure we can do that, we seek talented, qualified employees in all our operations around the world regardless of race, color, sex/gender, including pregnancy, gender identity and expression, national origin, religion, sexual orientation, disability, age, marital status, citizen status, veteran status, or any other protected classification under applicable law. Thomson Reuters is proud to be an Equal Employment Opportunity Employer providing a drug-free workplace.

We also make reasonable accommodations for qualified individuals with disabilities and for sincerely held religious beliefs in accordance with applicable law. More information on requesting an accommodation here.

Learn more on how to protect yourself from fraudulent job postings here.

More information about Thomson Reuters can be found on thomsonreuters.com


What Thomson Reuters employees say

Pay

Benefits

Hours and flexibility

Workplace

Get the full story on Breakroom