Jin Xing Lim

Formal Verification Engineer at Runtime Verification Inc
  • Claim this Profile
Contact Information
us****@****om
(386) 825-5501
Location
Singapour, SG
Languages
  • English Bilingue ou langue natale
  • Chinese Bilingue ou langue natale

Topline Score

Topline score feature will be out soon.

Bio

Generated by
Topline AI

You need to have a working account to view this content.
Join now
You need to have a working account to view this content.
Join now

Credentials

  • Game Theory
    Coursera
  • Improving Deep Neural Networks: Hyperparameter tuning, Regularization and Optimization
    Coursera
  • Neural Networks and Deep Learning
    Coursera
  • Introduction to Genomic Technologies
    Coursera
  • Biology Meets Programming Bioinformatics for Beginners
    Coursera
  • Python for Genomic Data Science
    Coursera

Experience

  • Runtime Verification Inc
    • United States
    • Software Development
    • 1 - 100 Employee
    • Formal Verification Engineer
      • sept. 2022 - - aujourd’hui

  • Singapore University of Technology and Design (SUTD)
    • Singapore
    • Higher Education
    • 700 & Above Employee
    • PHD Candidate
      • sept. 2018 - sept. 2022

      Advisors: Assistant Prof Lin Shaowei and Assistant Prof Georgios PiliourasInterested in:- Mathematical Logic- Type Theory- Artificial Intelligence- BlockchainHope to discover more relationships between in areas of pure mathematics (especially mathematical logic/type theory) with artificial intelligence and blockchain Advisors: Assistant Prof Lin Shaowei and Assistant Prof Georgios PiliourasInterested in:- Mathematical Logic- Type Theory- Artificial Intelligence- BlockchainHope to discover more relationships between in areas of pure mathematics (especially mathematical logic/type theory) with artificial intelligence and blockchain

  • Entend.ai
    • Data Science Intern
      • juil. 2019 - sept. 2019

      Translate mathematical models for machine reasoning into software and to build applications based on the software. Translate mathematical models for machine reasoning into software and to build applications based on the software.

  • Temasek Polytechnic
    • Singapore
    • Higher Education
    • 700 & Above Employee
    • Lecturer
      • juil. 2014 - août 2018

      Subject leader and lecturer for the following courses:- Mathematics for Applied Science- Statistics for Applied Science- Biostatistics- Scripting for Bioinformatics Subject leader and lecturer for the following courses:- Mathematics for Applied Science- Statistics for Applied Science- Biostatistics- Scripting for Bioinformatics

Education

  • Singapore University of Technology and Design (SUTD)
    Doctor of Philosophy - PhD, Engineering Systems and Design (ESD)
    2018 - 2022
  • National University of Singapore
    Bachelor of Science (Mathematics), Mathematics
    2010 - 2014

Community

You need to have a working account to view this content. Click here to join now