- Việc làm
CVTạo CV online chuyên nghiệp, miễn phí
PortfolioTrình bày kỹ năng chuyên môn và dự án đã thực hiện một cách sinh động, trực quan.CVTạo CV online chuyên nghiệp, miễn phíTạo CVTạo CV online chuyên nghiệp, miễn phíMẫu CVTruy cập kho mẫu CV online ấn tượng, chuẩn quốc tế.CV mẫuTham khảo các CV mẫu đẹp đã được người dùng CakeResume ứng tuyển thành công.Cẩm nang nghề nghiệpTìm hiểu cách viết CV cho từng ngành nghề và vị trí.Trợ giúp viết CVTham khảo lời khuyên từ các chuyên gia tuyển dụng của CakeResume.- Kho tài nguyênCẩm nang ứng viênThế giới công sởVề đối tácCẩm nang doanh nghiệpVề CakeResumeBài viết nổi bật
- Tuyển dụng
- Tải app CakeResume
CakeResume Talent Search
Kế hoạch tuyển dụng đơn giản và hiệu quả nhất
Tìm kiếm 40k+ CV và chủ động liên hệ với ứng viên để đạt hiệu quả tuyển dụng cao hơn. Sự lựa chọn của hàng trăm công ty.
- Duyệt tất cả kết quả tìm kiếm
- Bắt đầu trò chuyện không giới hạn
- CV chỉ có thể truy cập bởi các công ty trả phí
- Xem địa chỉ email và số điện thoại của người dùng
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.