- Lowongan
- Panduan KarirPengembangan KarirWawancara Orang/PerusahaanBusiness ExcellenceDari CakeResumeBacaan Unggulan
- Untuk Perusahaan
- Download aplikasi CakeResume
CakeResume Talent Search
Paket Perekrutan Paling Mudah dan Efektif, Pilihan Ratusan Perusahaan
Cari lebih dari 800 ribu CV dan ambil aksi menghubungi pelamar kerja untuk rekrutmen yang lebih efektif. Pilihan ratusan perusahaan.
- Lihat semua hasil pencarian
- Tanpa batas harian untuk memulai pesan baru
- CV dapat diakses oleh perusahaan berbayar
- Lihat email pengguna & nomor telepon
Definition of Reputation Credits
Skills
Tech Stack
Java C# ANSI C PHP git
Tools & Environments
ESXi Win Server Linux Eclipse VS Docker
Natural Languages
Japanese [JLPT N1] (2015) English [TOEIC 945] (2014) Chinese [Native]
Education
National Taiwan University
Information Management • Master • 2014 - 2020
Thesis: Translation of PSL Formulae for Automata-based Verification
National Chengchi University
Management Information Systems • Bachelor • 2010 - 2014
Awards
Knowledge Area
Programming Languages
Java, C#, ANSI C, PHP, Javascript
As well as a bit Golang, Unix Shell, Python, Haskell.
Back-end
PHP: composer
Java: Hadoop, jpf
NodeJS: Express, NPM
Service: OAuth, SAML, LDAP, Payment Gateway
I can create backend system with proper design patterns and separated modules. With different requirements of purposes and/or performance I compare between possible solutions and is able to deliver implementations. Among all modules I concern the most about authentication. For example, I introduced and completed Single Sign On/Off Service for backend system of my campus club NTUCCC, dockerized it, and drew up regulatory policies, while keeping a resilient environment for service extensions.
Sometimes shell script snippets are incorporated to effectively do the job.
Databases
MSSQL, MYSQL, mariaDB
I am familiar to applying business logic into database design with proper SQL queries, even from conceptual entity models to real view. I can compare features between common RDBMS and give suggestions for different use cases. I also have experience on generating reports for evaluations.
Cloud Solutions
GCP, Azure, AWS, docker, ESXi, PVE, OpenStack
To deliver resilient infrastructure for services I touched several public/private cloud solutions. I am certified as Microsoft Azure Fundamentals. Besides, I am able to take advantage of different services, architectures and use cases. Recently I've been studying Kubernetes and its applications.
Model Checking
Automata, Formal Languages
I have experience on translation of PSL formulae, a Hardware Description Language, to automata, as an extension to GOAL. This is useful for model checking and malicious behavior detection. As a result, I have a rough view of compiler mechanism and the ability to formally abstract (part of) a system.
Miscellaneous
Git, Text Mining, DNS/Domains, Penetration Testing
During implementations of projects above I also learned the skill of managing workflows. Also, to ensure safety for my servers I do self penetration testing over possible vulnerabilities. F, all servers under my management
survived the WannaCry attack, while the laboratory next door was devastated.
Projects
GOAL
A graphic tool for manipulating omega-automata and logic formulae, as well as conversion.
BunnySave
An E-Commerce product comparison suite. Based on Java and Apache Lucene.
Work Experiences
IT Intern • Clinico Instrument Co., Ltd.
Jul. 2012 - Aug. 2012
Member of MIS Department. Helping business logic development (such as report generation, database optimization) and CRM introductions in production environment.
Teaching Assistant • National Taiwan University
Sep. 2014 - Jun. 2018
Supports teaching, grading, homework review, workstation environment maintenance for:
Algorithms, Theory of Computing, Information Security, Software Developing Methods.
Campus Club Experiences
IT Lead • NTUCCC
Jan. 2018 - now
Volunteer. Develop and maintain digital services in usage, including:
Docker-based site proxy (nginx), cross-platform SSO with LDAP, BBS (pttbbs) in ANSI C.
Lead of Hackathon Competition • HackNTU
Nov. 2014 - Aug. 2015
Volunteer. Supported preparation, maintenance of official website and email system and on-site technical inquiries of HackNTU 2015, a campus hackathon with 1000 participants.
Activities Lead • NCCUAC
Aug. 2011 - Jul. 2012
Volunteer. Planned and held in-club and inter-club activities such as parties, collaborate artwork exhibitions and member travel. Custom apps are written to support specific events.
Skills
Tech Stack
Java C# ANSI C PHP git
Tools & Environments
ESXi Win Server Linux Eclipse VS Docker
Natural Languages
Japanese [JLPT N1] (2015) English [TOEIC 945] (2014) Chinese [Native]
Education
National Taiwan University
Information Management • Master • 2014 - 2020
Thesis: Translation of PSL Formulae for Automata-based Verification
National Chengchi University
Management Information Systems • Bachelor • 2010 - 2014
Awards
Knowledge Area
Programming Languages
Java, C#, ANSI C, PHP, Javascript
As well as a bit Golang, Unix Shell, Python, Haskell.
Back-end
PHP: composer
Java: Hadoop, jpf
NodeJS: Express, NPM
Service: OAuth, SAML, LDAP, Payment Gateway
I can create backend system with proper design patterns and separated modules. With different requirements of purposes and/or performance I compare between possible solutions and is able to deliver implementations. Among all modules I concern the most about authentication. For example, I introduced and completed Single Sign On/Off Service for backend system of my campus club NTUCCC, dockerized it, and drew up regulatory policies, while keeping a resilient environment for service extensions.
Sometimes shell script snippets are incorporated to effectively do the job.
Databases
MSSQL, MYSQL, mariaDB
I am familiar to applying business logic into database design with proper SQL queries, even from conceptual entity models to real view. I can compare features between common RDBMS and give suggestions for different use cases. I also have experience on generating reports for evaluations.
Cloud Solutions
GCP, Azure, AWS, docker, ESXi, PVE, OpenStack
To deliver resilient infrastructure for services I touched several public/private cloud solutions. I am certified as Microsoft Azure Fundamentals. Besides, I am able to take advantage of different services, architectures and use cases. Recently I've been studying Kubernetes and its applications.
Model Checking
Automata, Formal Languages
I have experience on translation of PSL formulae, a Hardware Description Language, to automata, as an extension to GOAL. This is useful for model checking and malicious behavior detection. As a result, I have a rough view of compiler mechanism and the ability to formally abstract (part of) a system.
Miscellaneous
Git, Text Mining, DNS/Domains, Penetration Testing
During implementations of projects above I also learned the skill of managing workflows. Also, to ensure safety for my servers I do self penetration testing over possible vulnerabilities. F, all servers under my management
survived the WannaCry attack, while the laboratory next door was devastated.
Projects
GOAL
A graphic tool for manipulating omega-automata and logic formulae, as well as conversion.
BunnySave
An E-Commerce product comparison suite. Based on Java and Apache Lucene.
Work Experiences
IT Intern • Clinico Instrument Co., Ltd.
Jul. 2012 - Aug. 2012
Member of MIS Department. Helping business logic development (such as report generation, database optimization) and CRM introductions in production environment.
Teaching Assistant • National Taiwan University
Sep. 2014 - Jun. 2018
Supports teaching, grading, homework review, workstation environment maintenance for:
Algorithms, Theory of Computing, Information Security, Software Developing Methods.
Campus Club Experiences
IT Lead • NTUCCC
Jan. 2018 - now
Volunteer. Develop and maintain digital services in usage, including:
Docker-based site proxy (nginx), cross-platform SSO with LDAP, BBS (pttbbs) in ANSI C.
Lead of Hackathon Competition • HackNTU
Nov. 2014 - Aug. 2015
Volunteer. Supported preparation, maintenance of official website and email system and on-site technical inquiries of HackNTU 2015, a campus hackathon with 1000 participants.
Activities Lead • NCCUAC
Aug. 2011 - Jul. 2012
Volunteer. Planned and held in-club and inter-club activities such as parties, collaborate artwork exhibitions and member travel. Custom apps are written to support specific events.