Total 1,359 Education / Training job vacancies in changi road singapore

We are partnering with a prestigious institution in Singapore to find a vibrant and creative Preschool Music Teacher! If you are a musically talented individual, quick to learn, and a flexible problem solver, we want you on our team.

We believe in the power of music as a cornerstone of 21st-century education for children.

If you share this passion and are eager to engage with research-based music teaching practices, you’ll fit right in. Join us in delivering a fun and inspiring music program that brings joy and learning to young children!

Job Responsibilities:

• Teach an exciting and comprehensive music literacy curriculum to Preschool, PG, and K2 students.
• Provide fun and engaging instruction in singing, percussion, keyboards, recorder, and violin (for the older kids).
• Plan, supervise, and implement the program according to the centre's policies, guidelines, and philosophy.
• Support each child’s educational and developmental journey, keeping accurate records of their progress through checklists, progress notes, photos, and anecdotal records.
• Take on other ad hoc duties as needed to keep our program running smoothly.

Job Requirements:

• Diploma or Professional Certification in Music (ABRSM in Piano, Music Theory, Music).
• Demonstrate musical competency in at least 2 instruments (e.g., Piano, Violin, Ukulele, Guitar, etc.).
• Knowledge of Solfege (do-re-mi syllables), Suzuki Violin, and Keyboard is a plus.
• Creative, inspiring, and full of positive energy.
• Prior experience in classroom teaching.
• Experience teaching music to children.
• Excellent communication and classroom management skills.

Working Hours and Location:

• 44 hours work week: Mondays to Fridays, between 7am to 7pm.
• Location: KINEX (Paya Lebar) or Pasir Ris Mall.
• Monthly Saturday: ½ day on one Saturday monthly, as advised by management.

First Konnection is thrilled to assist with this hiring process.

If you’re passionate about sparking a love for music in young minds and believe in the transformative power of music education, we would love to hear from you.

Apply now and join us in creating a joyful and enriching musical journey for children!

EA Registration No.: R23111820 (Ben Chang)

EA Licence No.: 22C1307 (First Konnection Pte. Ltd.)

Are you ready to ignite a love for reading and writing in young minds? We're seeking enthusiastic Preschool Reading & Writing Teachers to join our innovative team.

Our Literacy Program, crafted by Australian Literacy Experts, is based on the Early Years Framework and aims to provide a stellar educational experience.

• Plan, supervise, and implement our engaging Literacy program, making each lesson a new adventure.
• Design creative and fun teaching aids to captivate and educate young learners.
• Foster a positive learning environment with effective guidance and encouragement.
• Build meaningful connections with the children and their families, creating a supportive community.
• Track and celebrate each child’s progress, tailoring your teaching to their unique needs.

Job Requirements:

• Preferably a Diploma in Early Childhood Education/Educational Studies (Early Years Enrichment, Creative Language Arts, Speech and Drama, etc).
• At least 1 year of classroom teaching experience with children aged 3 to 7 years.
• A vibrant and inspiring personality with dynamic and engaging teaching skills.
• Strong communication and classroom management skills.
• Understanding of educational, developmental, and cognitive psychology.

Working Hours:

• 44 Hours Work Week: Mondays to Fridays, between 7am to 7pm.
• Location: KINEX(Paya Lebar) or Pasir Ris Mall.
• Monthly Saturday: ½ day on one Saturday monthly, as advised by management.

Additional Information:

• Certification: ECDA L1 or L2 certification is not required for this position.
• Qualifications: GCE O-Level English grade of B4 or higher.
• Recruitment Assistance: This recruitment is being assisted by First Konnection.

Become a part of our exciting journey to inspire and educate the next generation. Apply today and bring your passion for teaching to our vibrant community!

EA Registration No.: R23111820 (Ben Chang)

EA Licence No.: 22C1307 (First Konnection Pte. Ltd.)

We are partnering with a prestigious institution in Singapore to find a vibrant and creative Preschool Music Teacher! If you are a musically talented individual, quick to learn, and a flexible problem solver, we want you on our team.

We believe in the power of music as a cornerstone of 21st-century education for children.

If you share this passion and are eager to engage with research-based music teaching practices, you’ll fit right in. Join us in delivering a fun and inspiring music program that brings joy and learning to young children!

Job Responsibilities:

• Teach an exciting and comprehensive music literacy curriculum to Preschool, PG, and K2 students.
• Provide fun and engaging instruction in singing, percussion, keyboards, recorder, and violin (for the older kids).
• Plan, supervise, and implement the program according to the centre's policies, guidelines, and philosophy.
• Support each child’s educational and developmental journey, keeping accurate records of their progress through checklists, progress notes, photos, and anecdotal records.
• Take on other ad hoc duties as needed to keep our program running smoothly.

Job Requirements:

• Diploma or Professional Certification in Music (ABRSM in Piano, Music Theory, Music).
• Demonstrate musical competency in at least 2 instruments (e.g., Piano, Violin, Ukulele, Guitar, etc.).
• Knowledge of Solfege (do-re-mi syllables), Suzuki Violin, and Keyboard is a plus.
• Creative, inspiring, and full of positive energy.
• Prior experience in classroom teaching.
• Experience teaching music to children.
• Excellent communication and classroom management skills.

Working Hours and Location:

• 44 hours work week: Mondays to Fridays, between 7am to 7pm.
• Location: KINEX (Paya Lebar) or Pasir Ris Mall.
• Monthly Saturday: ½ day on one Saturday monthly, as advised by management.

First Konnection is thrilled to assist with this hiring process.

If you’re passionate about sparking a love for music in young minds and believe in the transformative power of music education, we would love to hear from you.

Apply now and join us in creating a joyful and enriching musical journey for children!

EA Registration No.: R23111820 (Ben Chang)

EA Licence No.: 22C1307 (First Konnection Pte. Ltd.)

Job description

Unleash Your Passion: Become a Life-Changing Personal Trainer at Vigeo

• Do you dream of empowering people to achieve lasting health and well-being?
• Do you find fulfillment in connecting, helping, and coaching individuals?
• Are you seeking a vibrant, positive, and supportive culture that genuinely cares about people?

If these resonate with you, join the Vigeo team and turn your passion into a fulfilling career as a coach.

About Vigeo:

At Vigeo, we're more than just a gym. We're a passionate team dedicated to empowering people to transform their lives through health and fitness. We believe feeling stronger, fitter, and healthier leads to a happier and more fulfilling you. Become part of our mission and make a real difference as a personal trainer. Join a team that values the impact we create, enriches the lives of others, and offers a rewarding career path.

Why Vigeo?

• Focus on Coaching: You get to do what you love most - coaching! We prioritize your expertise in guiding and empowering individuals, so there's no sales pressure on you
• Healthy Work-Life Balance: Maintain a fulfilling life with reasonable hours, unlike the industry standard.
• Become an Exceptional Trainer: Receive industry-leading coaching and ongoing development opportunities. Learn from the best and elevate your skills.
• Experience the Vigeo Vibe: Be part of a warm, supportive community with enthusiastic clients, supportive coaches, and caring managers

Requirement

• Positive Energy: Exude positive energy as a vital job requirement. We seek individuals who naturally radiate enthusiasm, optimism, and motivation.
• Great with People: Exceptional interpersonal skills are a must. Your love for people and genuine excitement to help others achieve their goals will drive your success in this role.
• Passionate Learner: While you don't need to be the world's most brilliant coach, an insatiable thirst for continuous improvement is essential. We value individuals dedicated to becoming better coaches every day.
• Team Player: Collaborate seamlessly in a team environment, leaving ego, drama, and politics behind. We value a supportive and cooperative work atmosphere that uplifts everyone.
• Commitment: Embrace our mission to change lives and wholeheartedly align with our core values of helping and caring for others. Your dedication to our cause is key to creating a significant impact.
• Full-time Coaching Career: We seek individuals genuinely passionate about coaching as a long-term career choice. Your commitment and dedication will be valued and supported.

Qualifications:

• Certified Personal Trainer (CPT) or equivalent qualification required.
• Minimum of 1 year of experience in personal training is preferred.

The Role of Vigeo's Personal Trainer:

• Guide students how to train effectively: Passionately coach and motivate students in a safe and highly engaging fitness environment, utilizing our unique Vigeo personal trainer system.
• Coach in a small group setting: Lead small group training sessions (up to 4 clients) in a safe and engaging environment, ensuring proper exercise technique and client safety.
• Foster a positive atmosphere and experience by motivating and inspiring clients to achieve their full potential by providing ongoing support and encouragement.
• Help coach each students beyond the gym by offering guidance and support through regular check-ins on their daily exercise, nutrition and habits.
• Cultivate and maintain Vigeo's community Grow the Vigeo Community by contributing to building a strong, supportive community spirit within the gym.

Additional Details:

Job Type: Full-time

Pay: $3,000 per month with annual increase

Schedule: 5.5 days work week

Weekdays:

• Morning shift: 7.45am - 3.15pm

OR

• Afternoon shift: 1.45pm - 9.15pm

Weekend:

• Saturday 7.45am - 1.15pm

OR

• Sunday: 7.45am - 1.15pm

Public holidays

• Morning shift: 7.45am - 1.15pm

OR

• Afternoon shift: 12.45pm - 6.15pm

To Apply:

• Upload Your Resume and Submit Your Application
• Please send a personal email to with "I want to apply!" In the subject
• In the body of the email, please write a few lines highlighting why you would be a great fit for our team

COMPANY DESCRIPTION

Singapore Management University is a place where high-level professionalism blends together with a healthy informality. The 'family-like' atmosphere among the SMU community fosters a culture where employees work, plan, organise and play together building a strong collegiality and morale within the university.

Our commitment to attract and retain talent is ongoing. We offer attractive benefits and welfare, competitive compensation packages, and generous professional development opportunities all to meet the work-life needs of our staff. No wonder, then, that SMU continues to be given numerous awards and recognition for its human resource excellence.

RESPONSIBILITIES

Work done will be at the direction of the PI, and where relevant, the Industry Director and Centre Director.As the Programme is interdisciplinary and multidisciplinary by nature, you will be expected to convey yourdomain expertise and edify others (and vice versa) in as productive, constructive, and collaborative a manneras possible.

You may be asked to participate in the development of use cases and delivery of proof-of-concept prototypesfor government and industry partners in the areas of computable contracts and "rules as code". Experience inrequirements analysis and agile, iterative methodologies will be useful at this stage.The work of the team will be largely determined by these use cases and customers. We will work with multipleuse cases so that we can abstract across them and develop generalized, reusable infrastructure. We will workwith specific customers so we can build useful applications on top of that infrastructure.You will contribute to the design and development of open-source software written to serve those use cases.You will work as part of a team of research engineers, developers, and domain expertise and you will beexpected to actively participate in team meetings and text-based communications. You will be expected to beactive members of the applied research community, by validating and contributing to advances incomputational law.

You may be asked to conduct use-inspired research at the direction of the Principal Investigator. This includes

• reading academic papers, standards publications, and related material such as blog posts andpresentations;
• coming up to speed in fields which may be new to you, such as computational linguistics, mathematicallogic, programming language design, formal verification, and model-based architecture;
• reading (and updating/commenting, relevant) existing software documentation;
• creating presentations, video recordings, walkthroughs, etc. to document and explain research work done;
• writing (and presenting, if so decided by the PI) academic papers and materials for publication; and
• documenting in a sufficiently-detailed manner so as to share what you've learned.

You will be expected to participate in software development; this includes

• learning how to use third party tools, including editors, IDEs, databases, business process modelingsoftware, programming languages, and libraries;
• evaluating competing software systems for suitability;
• building infrastructure to enable application development
• managing yourself, and managing fellow team members;
• engaging in product, project, and program management as needed
• reading books and consuming such other media forms about software development;
• writing documentation such as user/developer-facing manuals, tutorials;
• delivering community support to users and customers;
• preparing presentations to represent the project before external audiences; and
• writing actual user-facing applications throughout the "full stack",in each case, documenting, reporting, and/or presenting the same in clearly and efficiently, both internally andexternally.

Researchers under the Programme should possess both mastery of their academic speciality, anddemonstrated practical experience producing and supporting high-quality open-source code throughcommunity engagement across multiple media. Candidates must have Bachelor's, Master's, Ph.D., oralternative qualifications in computer science, software engineering, (symbolic) artificial intelligence,computational linguistics, or formal methods. Fluency in multiple natural languages, and any experience with law, are a plus.

This specialist role requires skills in the following areas (one or two in each category is sufficient):

Open-Source Software & Open-Standard Infrastructure Engineering Internet Unix TCP/IP HTTP(S) XML JSON Schemas YAML Git Github Technical Writing Developer Relations and Evangelism

Programming Languages and Frameworks: Preferred: Haskell or OCaml. Python. Possible alternatives: Common Lisp Racket Scheme Javascript / Typescript / Node.

Formalization of Contracts, Rules, and Business Logic: Akoma Ntoso LegalRuleML Petri Nets Drools iLog OPA Neota Logic Constraint Handling Rules ICAIL JURIX RuleML+RR

Semantic Web and Ontologies: RDFa RDFt RDF RIF SWRL OWL Cyc KBpedia SUMO UFO Protg or a commercial rules engine with ontology support

Model Driven Architecture: UML BPMN DMN OCL SBVR Statecharts Activity Diagrams Parnas Tables Logics: Hoare

Logic Kripke structures Modal mu-calculus Dynamic Logic Deontic, Temporal, and Epistemic modals Situation Calculus Process Calculi Multivalent logics Defeasible Logic BDI Abductive Logic F-Logic Intuitionistic Non-monotonic Logics Skolemization Well-Founded Semantics Good Old-Fashioned Artificial Intelligence and Semantic Web

Knowledge Representation and Reasoning: Lisp Prolog F-Logic Drools Oracle Policy Manager Flora-2 Datalog Answer-Set Programming Defeasible Logic Expert Systems DocAssemble lps.doc.ic.ac.uk

Skills listed below this line are preferred but not required:

Theorem Proving and Strongly Typed Languages: CoQ Agda Idris Lean Prover F* Advanced Haskell (Template etc) OCaml Elm Isabelle/HOL StrangeLoop Pony

Model Checkers and SAT/SMT solvers: Z3 PAT SMTlib NuSMV SPIN Sentient

IDEs, Language Workbenches, and PLT frameworks: K Framework JetBrains MPS IDEs (Vim, Emacs, Visual Studio Code, Atom, Sublime Text) Language Server Protocol Rule Systems and Logics

Computational Linguistics Natural Language Generation Computational Semantics (in Haskell, Prolog, or Lisp) Montague Semantics Grammatical Framework Text planning Surface realization Familiarity with: WordNet FrameNet SenseNet Controlled Natural Languages Attempto Controlled English ACErules

Parsers, Compilers, and Programming Language Theory Lex/YACC alex/happy Bison CFGs EBNF BNFC

Formal Verification and Specification Languages Some familiarity with any of: TLA+ Alloy IVy B Method Z notation VDM++ LTL CTL

App Development Test-Driven Development Continuous Integration Software Project Management Agile / XP / Scrum Pair Programming Literate Programming Unit Testing Amazon Web Services Docker Full-Stack Development

#LI-JN2

COMPANY DESCRIPTION

Singapore Management University is a place where high-level professionalism blends together with a healthy informality. The 'family-like' atmosphere among the SMU community fosters a culture where employees work, plan, organise and play together building a strong collegiality and morale within the university.

Our commitment to attract and retain talent is ongoing. We offer attractive benefits and welfare, competitive compensation packages, and generous professional development opportunities all to meet the work-life needs of our staff. No wonder, then, that SMU continues to be given numerous awards and recognition for its human resource excellence.

RESPONSIBILITIES

Work done will be at the direction of the PI, and where relevant, the Industry Director and Centre Director.As the Programme is interdisciplinary and multidisciplinary by nature, you will be expected to convey yourdomain expertise and edify others (and vice versa) in as productive, constructive, and collaborative a manner as possible.

You may be asked to participate in the development of use cases and delivery of proof-of-concept prototypesfor government and industry partners in the areas of computable contracts and "rules as code". Experience inrequirements analysis and agile, iterative methodologies will be useful at this stage.The work of the team will be largely determined by these use cases and customers. We will work with multipleuse cases so that we can abstract across them and develop generalized, reusable infrastructure. We will workwith specific customers so we can build useful applications on top of that infrastructure.You will contribute to the design and development of open-source software written to serve those use cases.You will work as part of a team of research engineers, developers, and domain expertise and you will beexpected to actively participate in team meetings and text-based communications. You will be expected to beactive members of the applied research community, by validating and contributing to advances incomputational law.

You may be asked to conduct use-inspired research at the direction of the Principal Investigator. This includes

• reading academic papers, standards publications, and related material such as blog posts and presentations;
• coming up to speed in fields which may be new to you, such as computational linguistics, mathematical logic, programming language design, formal verification, and model-based architecture;
• reading (and updating/commenting, relevant) existing software documentation;
• creating presentations, video recordings, walkthroughs, etc. to document and explain research work done;
• writing (and presenting, if so decided by the PI) academic papers and materials for publication; and
• documenting in a sufficiently-detailed manner so as to share what you've learned.

You will be expected to participate in software development; this includes

• learning how to use third party tools, including editors, IDEs, databases, business process modeling software, programming languages, and libraries;
• evaluating competing software systems for suitability;
• building infrastructure to enable application development;
• managing yourself, and managing fellow team members;
• engaging in product, project, and program management as needed;
• reading books and consuming such other media forms about software development;
• writing documentation such as user/developer-facing manuals, tutorials;
• delivering community support to users and customers;
• preparing presentations to represent the project before external audiences; and
• writing actual user-facing applications throughout the "full stack", in each case, documenting, reporting, and/or presenting the same in clearly and efficiently, both internally and externally.

Researchers under the Programme should possess both mastery of their academic speciality, and demonstrated practical experience producing and supporting high-quality open-source code throughcommunity engagement across multiple media. Candidates must have Bachelor's, Master's, Ph.D., or alternative qualifications in computer science, software engineering, (symbolic) artificial intelligence, computational linguistics, or formal methods.

Fluency in multiple natural languages, and any experience with law, are a plus.

Minimum qualifications:

Open-Source Software & Open-Standard Infrastructure EngineeringInternet Unix TCP/IP HTTP(S) XML JSON Schemas YAML Git Github TechnicalWriting Developer Relations and Evangelism

Parsers, Compilers, and Programming Language TheoryLex/YACC alex/happy Bison CFGs EBNF BNFC

App DevelopmentTest-Driven Development Continuous Integration Software Project Management Agile / XP / Scrum PairProgramming Literate Programming Unit Testing Amazon Web Services Docker Full-StackDevelopment

Programming Languages and Frameworks:Preferred: Haskell or OCaml. Python.Possible alternatives: Common Lisp Racket Scheme Javascript / Typescript / Node.

Computational Linguistics Natural Language GenerationComputational Semantics (in Haskell, Prolog, or Lisp) Montague Semantics Grammatical Framework Textplanning Surface realizationFamiliarity with: WordNet FrameNet SenseNet Controlled Natural Languages Attempto ControlledEnglish ACErules

Formal Verification and Specification LanguagesSome familiarity with any of: TLA+ Alloy IVy B Method Z notation VDM++ LTL

Preferred qualifications:

Theorem Proving and Strongly Typed Languages:CoQ Agda Idris Lean Prover F* Advanced Haskell (Templateetc) OCaml Elm Isabelle/HOL StrangeLoop Pony

Model Checkers and SAT/SMT solvers: Z3 PAT SMTlib NuSMV SPIN Sentient

IDEs, Language Workbenches, and PLT frameworks: K Framework JetBrains MPS IDEs (Vim, Emacs,Visual Studio Code, Atom, Sublime Text) Language Server ProtocolRule Systems and Logics

Formalization of Contracts, Rules, and Business Logic: Akoma Ntoso LegalRuleML PetriNets Drools iLog OPA Neota Logic Constraint Handling Rules ICAIL JURIX RuleML+RR

Model Driven Architecture: UML BPMN DMN OCL SBVR Statecharts Activity Diagrams ParnasTables

Logics: Hoare Logic Kripke structures Modal mu-calculus Dynamic Logic Deontic, Temporal, andEpistemic modals Situation Calculus Process Calculi Multivalent logics Defeasible Logic BDI AbductiveLogic F-Logic Intuitionistic Non-monotonic Logics Skolemization Well-Founded SemanticsGood Old-Fashioned Artificial Intelligence and Semantic Web

Knowledge Representation and Reasoning: Lisp Prolog F-Logic Flora-2 Datalog Answer-SetProgramming Defeasible Logic Expert Systems DocAssemble lps.doc.ic.ac.uk

Semantic Web and Ontologies:RDFa RDFt RDF RIF SWRL OWL Cyc KBpedia SUMO UFO Protg

#LI-JN2

We welcome applications from teachers trained in Autism to support neuro divergent students aged 12 to 16 years fo age. Rich ratios of 1 teacher to 4 and a maximum of 8 students in a class. Prior work experience in a similar role and ability to start immediately prefered. Well spoken, willingness to learn and work collaboratively required.

COMPANY DESCRIPTION

Singapore Management University is a place where high-level professionalism blends together with a healthy informality. The 'family-like' atmosphere among the SMU community fosters a culture where employees work, plan, organise and play together building a strong collegiality and morale within the university.

Our commitment to attract and retain talent is ongoing. We offer attractive benefits and welfare, competitive compensation packages, and generous professional development opportunities all to meet the work-life needs of our staff. No wonder, then, that SMU continues to be given numerous awards and recognition for its human resource excellence.

RESPONSIBILITIES

Work done will be at the direction of the PI, and where relevant, the Industry Director and Centre Director.As the Programme is interdisciplinary and multidisciplinary by nature, you will be expected to convey yourdomain expertise and edify others (and vice versa) in as productive, constructive, and collaborative a manneras possible.

You may be asked to participate in the development of use cases and delivery of proof-of-concept prototypesfor government and industry partners in the areas of computable contracts and "rules as code". Experience inrequirements analysis and agile, iterative methodologies will be useful at this stage.The work of the team will be largely determined by these use cases and customers. We will work with multipleuse cases so that we can abstract across them and develop generalized, reusable infrastructure. We will workwith specific customers so we can build useful applications on top of that infrastructure.You will contribute to the design and development of open-source software written to serve those use cases.You will work as part of a team of research engineers, developers, and domain expertise and you will beexpected to actively participate in team meetings and text-based communications. You will be expected to beactive members of the applied research community, by validating and contributing to advances incomputational law.

You may be asked to conduct use-inspired research at the direction of the Principal Investigator. This includes

• reading academic papers, standards publications, and related material such as blog posts andpresentations;
• coming up to speed in fields which may be new to you, such as computational linguistics, mathematicallogic, programming language design, formal verification, and model-based architecture;
• reading (and updating/commenting, relevant) existing software documentation;
• creating presentations, video recordings, walkthroughs, etc. to document and explain research work done;
• writing (and presenting, if so decided by the PI) academic papers and materials for publication; and
• documenting in a sufficiently-detailed manner so as to share what you've learned.

You will be expected to participate in software development; this includes

• learning how to use third party tools, including editors, IDEs, databases, business process modeling software, programming languages, and libraries;
• evaluating competing software systems for suitability;
• building infrastructure to enable application development
• managing yourself, and managing fellow team members;
• engaging in product, project, and program management as needed
• reading books and consuming such other media forms about software development;
• writing documentation such as user/developer-facing manuals, tutorials;
• delivering community support to users and customers;
• preparing presentations to represent the project before external audiences; and
• writing actual user-facing applications throughout the "full stack",in each case, documenting, reporting, and/or presenting the same in clearly and efficiently, both internally and externally.

Researchers under the Programme should possess both mastery of their academic speciality, anddemonstrated practical experience producing and supporting high-quality open-source code throughcommunity engagement across multiple media. Candidates must have Bachelor's, Master's, Ph.D., oralternative qualifications in computer science, software engineering, (symbolic) artificial intelligence,computational linguistics, or formal methods. Fluency in multiple natural languages, and any experience with law, are a plus.

This specialist role requires skills in the following areas (one or two in each category is sufficient):

Open-Source Software & Open-Standard Infrastructure Engineering Internet Unix TCP/IP HTTP(S) XML JSON Schemas YAML Git Github Technical Writing Developer Relations and Evangelism

Programming Languages and Frameworks: Preferred: Haskell or OCaml. Python. Possible alternatives: Common Lisp Racket Scheme Javascript / Typescript / Node.

Formalization of Contracts, Rules, and Business Logic: Akoma Ntoso LegalRuleML Petri Nets Drools iLog OPA Neota Logic Constraint Handling Rules ICAIL JURIX RuleML+RR

Semantic Web and Ontologies: RDFa RDFt RDF RIF SWRL OWL Cyc KBpedia SUMO UFO Protg or a commercial rules engine with ontology support

Model Driven Architecture: UML BPMN DMN OCL SBVR Statecharts Activity Diagrams Parnas Tables Logics: Hoare

Logic Kripke structures Modal mu-calculus Dynamic Logic Deontic, Temporal, and Epistemic modals Situation Calculus Process Calculi Multivalent logics Defeasible Logic BDI Abductive Logic F-Logic Intuitionistic Non-monotonic Logics Skolemization Well-Founded Semantics Good Old-Fashioned Artificial Intelligence and Semantic Web

Knowledge Representation and Reasoning: Lisp Prolog F-Logic Drools Oracle Policy Manager Flora-2 Datalog Answer-Set Programming Defeasible Logic Expert Systems DocAssemble lps.doc.ic.ac.uk

Skills listed below this line are preferred but not required:

Theorem Proving and Strongly Typed Languages: CoQ Agda Idris Lean Prover F* Advanced Haskell (Template etc) OCaml Elm Isabelle/HOL StrangeLoop Pony

Model Checkers and SAT/SMT solvers: Z3 PAT SMTlib NuSMV SPIN Sentient

IDEs, Language Workbenches, and PLT frameworks: K Framework JetBrains MPS IDEs (Vim, Emacs, Visual Studio Code, Atom, Sublime Text) Language Server Protocol Rule Systems and Logics

Computational Linguistics Natural Language Generation Computational Semantics (in Haskell, Prolog, or Lisp) Montague Semantics Grammatical Framework Text planning Surface realization Familiarity with: WordNet FrameNet SenseNet Controlled Natural Languages Attempto Controlled English ACErules

Parsers, Compilers, and Programming Language Theory Lex/YACC alex/happy Bison CFGs EBNF BNFC

Formal Verification and Specification Languages Some familiarity with any of: TLA+ Alloy IVy B Method Z notation VDM++ LTL CTL

App Development Test-Driven Development Continuous Integration Software Project Management Agile / XP / Scrum Pair Programming Literate Programming Unit Testing Amazon Web Services Docker Full-Stack Development

#LI-JN2

COMPANY DESCRIPTION

Singapore Management University is a place where high-level professionalism blends together with a healthy informality. The 'family-like' atmosphere among the SMU community fosters a culture where employees work, plan, organise and play together building a strong collegiality and morale within the university.

Our commitment to attract and retain talent is ongoing. We offer attractive benefits and welfare, competitive compensation packages, and generous professional development opportunities all to meet the work-life needs of our staff. No wonder, then, that SMU continues to be given numerous awards and recognition for its human resource excellence.

RESPONSIBILITIES

Work done will be at the direction of the PI, and where relevant, the Industry Director and Centre Director.As the Programme is interdisciplinary and multidisciplinary by nature, you will be expected to convey yourdomain expertise and edify others (and vice versa) in as productive, constructive, and collaborative a manneras possible.

You may be asked to participate in the development of use cases and delivery of proof-of-concept prototypesfor government and industry partners in the areas of computable contracts and "rules as code". Experience inrequirements analysis and agile, iterative methodologies will be useful at this stage.The work of the team will be largely determined by these use cases and customers. We will work with multipleuse cases so that we can abstract across them and develop generalized, reusable infrastructure. We will workwith specific customers so we can build useful applications on top of that infrastructure.You will contribute to the design and development of open-source software written to serve those use cases.You will work as part of a team of research engineers, developers, and domain expertise and you will beexpected to actively participate in team meetings and text-based communications. You will be expected to beactive members of the applied research community, by validating and contributing to advances in computational law.

You may be asked to conduct use-inspired research at the direction of the Principal Investigator. This includes

• reading academic papers, standards publications, and related material such as blog posts and presentations
• coming up to speed in fields which may be new to you, such as computational linguistics, mathematical logic, programming language design, formal verification, and model-based architecture
• reading (and updating/commenting, relevant) existing software documentation
• creating presentations, video recordings, walkthroughs, etc. to document and explain research work done
• writing (and presenting, if so decided by the PI) academic papers and materials for publication
• documenting in a sufficiently-detailed manner so as to share what you've learned

You will be expected to participate in software development; this includes

• learning how to use third party tools, including editors, IDEs, databases, business process modeling software, programming languages, and libraries
• evaluating competing software systems for suitability
• building infrastructure to enable application development
• managing yourself, and managing fellow team members
• engaging in product, project, and program management as needed
• reading books and consuming such other media forms about software development
• writing documentation such as user/developer-facing manuals, tutorials
• delivering community support to users and customers
• preparing presentations to represent the project before external audiences
• writing actual user-facing applications throughout the "full stack"

in each case, documenting, reporting, and/or presenting the same in clearly and efficiently, both internally and externally.

Researchers under the Programme should possess both mastery of their academic speciality, anddemonstrated practical experience producing and supporting high-quality open-source code throughcommunity engagement across multiple media. Candidates must have Bachelor's, Master's, Ph.D., oralternative qualifications in computer science, software engineering, (symbolic) artificial intelligence,computational linguistics, or formal methods.

Fluency in multiple natural languages, and any experience with law, are a plus.

Minimum qualifications:

Open-Source Software & Open-Standard Infrastructure EngineeringInternet Unix TCP/IP HTTP(S) XML JSON Schemas YAML Git Github Technical Writing Developer Relations and Evangelism

Programming Languages and Frameworks:Preferred: Haskell or OCaml. Python.Possible alternatives: Common Lisp Racket Scheme Javascript / Typescript / Node.

Formalization of Contracts, Rules, and Business Logic: Akoma Ntoso LegalRuleML Petri Nets Drools iLog OPA Neota Logic Constraint Handling Rules ICAIL JURIX RuleML+RR

Semantic Web and Ontologies: RDFa RDFt RDF RIF SWRL OWL Cyc KBpedia SUMO UFO Protg or a commercial rules engine with ontology support

Model Driven Architecture: UML BPMN DMN OCL SBVR Statecharts Activity Diagrams ParnasTables

Logics: Hoare Logic Kripke structures Modal mu-calculus Dynamic Logic Deontic, Temporal, andEpistemic modals Situation Calculus Process Calculi Multivalent logics Defeasible Logic BDI AbductiveLogic F-Logic Intuitionistic Non-monotonic Logics Skolemization Well-Founded SemanticsGood Old-Fashioned Artificial Intelligence and Semantic Web

Knowledge Representation and Reasoning: Lisp Prolog F-Logic Drools Oracle Policy Manager Flora-2 Datalog Answer-Set Programming Defeasible Logic Expert Systems DocAssemble lps.doc.ic.ac.uk

Skills listed below this line are preferred but not required:

Theorem Proving and Strongly Typed Languages:CoQ Agda Idris Lean Prover F* Advanced Haskell (Template etc) OCaml Elm Isabelle/HOL StrangeLoop Pony

Model Checkers and SAT/SMT solvers: Z3 PAT SMTlib NuSMV SPIN Sentient

IDEs, Language Workbenches, and PLT frameworks: K Framework JetBrains MPS IDEs (Vim, Emacs,Visual Studio Code, Atom, Sublime Text) Language Server ProtocolRule Systems and Logics

Computational Linguistics Natural Language GenerationComputational Semantics (in Haskell, Prolog, or Lisp) Montague Semantics Grammatical Framework Textplanning Surface realizationFamiliarity with: WordNet FrameNet SenseNet Controlled Natural Languages Attempto Controlled English ACErules

Parsers, Compilers, and Programming Language TheoryLex/YACC alex/happy Bison CFGs EBNF BNFC

Formal Verification and Specification LanguagesSome familiarity with any of: TLA+ Alloy IVy B Method Z notation VDM++ LTL CTL

App DevelopmentTest-Driven Development Continuous Integration Software Project Management Agile / XP / Scrum PairProgramming Literate Programming Unit Testing Amazon Web Services Docker Full-StackDevelopment

#LI-JN2

COMPANY DESCRIPTION

Singapore Management University is a place where high-level professionalism blends together with a healthy informality. The 'family-like' atmosphere among the SMU community fosters a culture where employees work, plan, organise and play together building a strong collegiality and morale within the university.

Our commitment to attract and retain talent is ongoing. We offer attractive benefits and welfare, competitive compensation packages, and generous professional development opportunities all to meet the work-life needs of our staff. No wonder, then, that SMU continues to be given numerous awards and recognition for its human resource excellence.

RESPONSIBILITIES

Work done will be at the direction of the PI, and where relevant, the Industry Director and Centre Director.As the Programme is interdisciplinary and multidisciplinary by nature, you will be expected to convey yourdomain expertise and edify others (and vice versa) in as productive, constructive, and collaborative a manner as possible.

You may be asked to participate in the development of use cases and delivery of proof-of-concept prototypesfor government and industry partners in the areas of computable contracts and "rules as code". Experience inrequirements analysis and agile, iterative methodologies will be useful at this stage.The work of the team will be largely determined by these use cases and customers. We will work with multipleuse cases so that we can abstract across them and develop generalized, reusable infrastructure. We will workwith specific customers so we can build useful applications on top of that infrastructure.You will contribute to the design and development of open-source software written to serve those use cases.You will work as part of a team of research engineers, developers, and domain expertise and you will beexpected to actively participate in team meetings and text-based communications. You will be expected to beactive members of the applied research community, by validating and contributing to advances incomputational law.

You may be asked to conduct use-inspired research at the direction of the Principal Investigator. This includes

• reading academic papers, standards publications, and related material such as blog posts and presentations;
• coming up to speed in fields which may be new to you, such as computational linguistics, mathematical logic, programming language design, formal verification, and model-based architecture;
• reading (and updating/commenting, relevant) existing software documentation;
• creating presentations, video recordings, walkthroughs, etc. to document and explain research work done;
• writing (and presenting, if so decided by the PI) academic papers and materials for publication; and
• documenting in a sufficiently-detailed manner so as to share what you've learned.

You will be expected to participate in software development; this includes

• learning how to use third party tools, including editors, IDEs, databases, business process modeling software, programming languages, and libraries;
• evaluating competing software systems for suitability;
• building infrastructure to enable application development;
• managing yourself, and managing fellow team members;
• engaging in product, project, and program management as needed;
• reading books and consuming such other media forms about software development;
• writing documentation such as user/developer-facing manuals, tutorials;
• delivering community support to users and customers;
• preparing presentations to represent the project before external audiences; and
• writing actual user-facing applications throughout the "full stack", in each case, documenting, reporting, and/or presenting the same in clearly and efficiently, both internally and externally.

Researchers under the Programme should possess both mastery of their academic speciality, and demonstrated practical experience producing and supporting high-quality open-source code throughcommunity engagement across multiple media. Candidates must have Bachelor's, Master's, Ph.D., or alternative qualifications in computer science, software engineering, (symbolic) artificial intelligence, computational linguistics, or formal methods.

Fluency in multiple natural languages, and any experience with law, are a plus.

Minimum qualifications:

Open-Source Software & Open-Standard Infrastructure EngineeringInternet Unix TCP/IP HTTP(S) XML JSON Schemas YAML Git Github TechnicalWriting Developer Relations and Evangelism

Parsers, Compilers, and Programming Language TheoryLex/YACC alex/happy Bison CFGs EBNF BNFC

App DevelopmentTest-Driven Development Continuous Integration Software Project Management Agile / XP / Scrum PairProgramming Literate Programming Unit Testing Amazon Web Services Docker Full-StackDevelopment

Programming Languages and Frameworks:Preferred: Haskell or OCaml. Python.Possible alternatives: Common Lisp Racket Scheme Javascript / Typescript / Node.

Computational Linguistics Natural Language GenerationComputational Semantics (in Haskell, Prolog, or Lisp) Montague Semantics Grammatical Framework Textplanning Surface realizationFamiliarity with: WordNet FrameNet SenseNet Controlled Natural Languages Attempto ControlledEnglish ACErules

Formal Verification and Specification LanguagesSome familiarity with any of: TLA+ Alloy IVy B Method Z notation VDM++ LTL

Preferred qualifications:

Theorem Proving and Strongly Typed Languages:CoQ Agda Idris Lean Prover F* Advanced Haskell (Templateetc) OCaml Elm Isabelle/HOL StrangeLoop Pony

Model Checkers and SAT/SMT solvers: Z3 PAT SMTlib NuSMV SPIN Sentient

IDEs, Language Workbenches, and PLT frameworks: K Framework JetBrains MPS IDEs (Vim, Emacs,Visual Studio Code, Atom, Sublime Text) Language Server ProtocolRule Systems and Logics

Formalization of Contracts, Rules, and Business Logic: Akoma Ntoso LegalRuleML PetriNets Drools iLog OPA Neota Logic Constraint Handling Rules ICAIL JURIX RuleML+RR

Model Driven Architecture: UML BPMN DMN OCL SBVR Statecharts Activity Diagrams ParnasTables

Logics: Hoare Logic Kripke structures Modal mu-calculus Dynamic Logic Deontic, Temporal, andEpistemic modals Situation Calculus Process Calculi Multivalent logics Defeasible Logic BDI AbductiveLogic F-Logic Intuitionistic Non-monotonic Logics Skolemization Well-Founded SemanticsGood Old-Fashioned Artificial Intelligence and Semantic Web

Knowledge Representation and Reasoning: Lisp Prolog F-Logic Flora-2 Datalog Answer-SetProgramming Defeasible Logic Expert Systems DocAssemble lps.doc.ic.ac.uk

Semantic Web and Ontologies:RDFa RDFt RDF RIF SWRL OWL Cyc KBpedia SUMO UFO Protg

#LI-JN2

Accountabilities, responsibilities, and main duties:

• Acquire a strong working knowledge of the organisation’s programmes, services, and processes.
• Ability to deliver a professional and high-quality service experience in a customer-facing role.
• Identify customers’ needs and have them assessed to maintain a continuous high level of customer service delivery and satisfaction.
• Taking ownership of customers’ problems and follow through effectively and efficiently to resolution within the SLAs.
• Key member of the customer support function in establishing continuous improvement of processes to promote customer satisfaction.
• Maintain close liaison with all other departments to have a good understanding of the operational flow and ensure a seamless client experience.
• Perform any other duties and responsibilities as and when assigned by Management.

Snapshots of our ideal candidate:

• Possesses at least a Diploma/Advanced/Higher/Graduate Diploma in any field.
• Expected to work shift hours and on weekends (3 weekdays and 2 weekends).
• Ability to liaise with English & Chinese speaking clients is essential.
• Being effectively bilingual would be a strong advantage.
• Candidates who have worked in the hospitality industry are most preferred.
• Able to work in a fast-paced environment.
• Possesses emotional maturity and passion for customer service.
• Familiar with CRM systems and practices.
• Equipped with good mediation and persuasive skills.
• Positive, extroverted and outgoing personality.
• Outgoing personality with a professional disposition.

Are you ready to ignite a love for reading and writing in young minds? We're seeking enthusiastic Preschool Reading & Writing Teachers to join our innovative team.

Our Literacy Program, crafted by Australian Literacy Experts, is based on the Early Years Framework and aims to provide a stellar educational experience.

• Plan, supervise, and implement our engaging Literacy program, making each lesson a new adventure.
• Design creative and fun teaching aids to captivate and educate young learners.
• Foster a positive learning environment with effective guidance and encouragement.
• Build meaningful connections with the children and their families, creating a supportive community.
• Track and celebrate each child’s progress, tailoring your teaching to their unique needs.

Job Requirements:

• Preferably a Diploma in Early Childhood Education/Educational Studies (Early Years Enrichment, Creative Language Arts, Speech and Drama, etc).
• At least 1 year of classroom teaching experience with children aged 3 to 7 years.
• A vibrant and inspiring personality with dynamic and engaging teaching skills.
• Strong communication and classroom management skills.
• Understanding of educational, developmental, and cognitive psychology.

Working Hours:

• 44 Hours Work Week: Mondays to Fridays, between 7am to 7pm.
• Location: KINEX(Paya Lebar) or Pasir Ris Mall.
• Monthly Saturday: ½ day on one Saturday monthly, as advised by management.

Additional Information:

• Certification: ECDA L1 or L2 certification is not required for this position.
• Qualifications: GCE O-Level English grade of B4 or higher.
• Recruitment Assistance: This recruitment is being assisted by First Konnection.

Become a part of our exciting journey to inspire and educate the next generation. Apply today and bring your passion for teaching to our vibrant community!

EA Registration No.: R23111820 (Ben Chang)

EA Licence No.: 22C1307 (First Konnection Pte. Ltd.)

We are on the lookout for a Junior to Mid-level Data Scientist - Machine Learning Engineer who will play a key role in enhancing our Machine Learning capabilities, focusing on innovative solutions for insight generation and analytics. As a burgeoning hedge fund startup with a clear vision and commitment to the Asian market. This role is not just about technical expertise but also about aligning with our forward-thinking vision and being at the forefront of shaping our AI strategy.

Data Analysis & Modeling:

○ Develop, implement, and maintain predictive models using traditional machine learning and deep learning techniques.

○ Conduct thorough data analysis to extract actionable insights and perform time series analysis.

ETL & Data Management:

○ Design and develop efficient ETL pipelines to process and manage large volumes of financial data.

○ Ensure data integrity and accuracy across various data sources.

Cloud Computing:

○ Utilize Cloud services to deploy and manage machine learning models in a scalable and reliable manner.

○ Optimize Cloud resources for performance and cost-effectiveness.

End-to-End Solution Development:

○ Engage in the complete lifecycle of model development, from data collection and preprocessing to model deployment and monitoring.

○ Collaborate with cross-functional teams to integrate machine learning solutions into existing systems.

Innovation & Creativity:

○ Explore and implement innovative techniques to solve complex financial problems.

○ Stay current with the latest advancements in machine learning and data science to continually improve and innovate.

Result-Oriented Approach:

○ Focus on delivering high-impact results.

○ Communicate findings and recommendations effectively to stakeholders.

Qualifications:

● Bachelor’s or Master’s degree in Computer Science, Data Science, Statistics, Mathematics, or a related field.

● 3-5 years of hands-on experience in data science and machine learning.

● Proficiency in Python and relevant libraries (e.g., scikit-learn, TensorFlow, PyTorch).

● Experience with AWS/GCP/Azure services (e.g., S3, EC2, Lambda, SageMaker, Vertex AI, BigQuery).

● Strong understanding of ETL processes and tools.

● Demonstrated expertise in traditional machine learning algorithms and deep learning techniques.

● Solid experience with time series processing and analysis.

● Excellent problem-solving skills and a creative mindset.

● Strong communication and collaboration skills.

We are partnering with a prestigious institution in Singapore to find a vibrant and creative Preschool Music Teacher! If you are a musically talented individual, quick to learn, and a flexible problem solver, we want you on our team.

We believe in the power of music as a cornerstone of 21st-century education for children.

If you share this passion and are eager to engage with research-based music teaching practices, you’ll fit right in. Join us in delivering a fun and inspiring music program that brings joy and learning to young children!

Job Responsibilities:

• Teach an exciting and comprehensive music literacy curriculum to Preschool, PG, and K2 students.
• Provide fun and engaging instruction in singing, percussion, keyboards, recorder, and violin (for the older kids).
• Plan, supervise, and implement the program according to the centre's policies, guidelines, and philosophy.
• Support each child’s educational and developmental journey, keeping accurate records of their progress through checklists, progress notes, photos, and anecdotal records.
• Take on other ad hoc duties as needed to keep our program running smoothly.

Job Requirements:

• Diploma or Professional Certification in Music (ABRSM in Piano, Music Theory, Music).
• Demonstrate musical competency in at least 2 instruments (e.g., Piano, Violin, Ukulele, Guitar, etc.).
• Knowledge of Solfege (do-re-mi syllables), Suzuki Violin, and Keyboard is a plus.
• Creative, inspiring, and full of positive energy.
• Prior experience in classroom teaching.
• Experience teaching music to children.
• Excellent communication and classroom management skills.

Working Hours and Location:

• 44 hours work week: Mondays to Fridays, between 7am to 7pm.
• Location: KINEX (Paya Lebar) or Pasir Ris Mall.
• Monthly Saturday: ½ day on one Saturday monthly, as advised by management.

First Konnection is thrilled to assist with this hiring process.

If you’re passionate about sparking a love for music in young minds and believe in the transformative power of music education, we would love to hear from you.

Apply now and join us in creating a joyful and enriching musical journey for children!

EA Registration No.: R23111820 (Ben Chang)

EA Licence No.: 22C1307 (First Konnection Pte. Ltd.)

COMPANY DESCRIPTION

Singapore Management University is a place where high-level professionalism blends together with a healthy informality. The 'family-like' atmosphere among the SMU community fosters a culture where employees work, plan, organise and play together building a strong collegiality and morale within the university.

Our commitment to attract and retain talent is ongoing. We offer attractive benefits and welfare, competitive compensation packages, and generous professional development opportunities all to meet the work-life needs of our staff. No wonder, then, that SMU continues to be given numerous awards and recognition for its human resource excellence.

RESPONSIBILITIES

Work done will be at the direction of the PI, and where relevant, the Industry Director and Centre Director.As the Programme is interdisciplinary and multidisciplinary by nature, you will be expected to convey yourdomain expertise and edify others (and vice versa) in as productive, constructive, and collaborative a manner as possible.

You may be asked to participate in the development of use cases and delivery of proof-of-concept prototypesfor government and industry partners in the areas of computable contracts and "rules as code". Experience inrequirements analysis and agile, iterative methodologies will be useful at this stage.The work of the team will be largely determined by these use cases and customers. We will work with multipleuse cases so that we can abstract across them and develop generalized, reusable infrastructure. We will workwith specific customers so we can build useful applications on top of that infrastructure.You will contribute to the design and development of open-source software written to serve those use cases.You will work as part of a team of research engineers, developers, and domain expertise and you will beexpected to actively participate in team meetings and text-based communications. You will be expected to beactive members of the applied research community, by validating and contributing to advances incomputational law.

You may be asked to conduct use-inspired research at the direction of the Principal Investigator. This includes

• reading academic papers, standards publications, and related material such as blog posts and presentations;
• coming up to speed in fields which may be new to you, such as computational linguistics, mathematical logic, programming language design, formal verification, and model-based architecture;
• reading (and updating/commenting, relevant) existing software documentation;
• creating presentations, video recordings, walkthroughs, etc. to document and explain research work done;
• writing (and presenting, if so decided by the PI) academic papers and materials for publication; and
• documenting in a sufficiently-detailed manner so as to share what you've learned.

You will be expected to participate in software development; this includes

• learning how to use third party tools, including editors, IDEs, databases, business process modeling software, programming languages, and libraries;
• evaluating competing software systems for suitability;
• building infrastructure to enable application development;
• managing yourself, and managing fellow team members;
• engaging in product, project, and program management as needed;
• reading books and consuming such other media forms about software development;
• writing documentation such as user/developer-facing manuals, tutorials;
• delivering community support to users and customers;
• preparing presentations to represent the project before external audiences; and
• writing actual user-facing applications throughout the "full stack", in each case, documenting, reporting, and/or presenting the same in clearly and efficiently, both internally and externally.

The first set of tasks will involve the following specific assignments:

• Expressing decision logic using DMN/FEEL
• Evaluating the rule engine API
• Encoding existing materials in L4 for open source distribution
• Building interactive UIs using HTML, CSS, JavaScript and Python

Researchers under the Programme should possess both mastery of their academic speciality, anddemonstrated practical experience producing and supporting high-quality open-source code throughcommunity engagement across multiple media. Candidates must have Bachelor's, Master's, Ph.D., oralternative qualifications in computer science, software engineering, (symbolic) artificial intelligence,computational linguistics, or formal methods.

Fluency in multiple natural languages, and any experience with law, are a plus.

Minimum qualifications:

Open-Source Software & Open-Standard Infrastructure EngineeringInternet Unix TCP/IP HTTP(S) XML JSON Schemas YAML Git Github TechnicalWriting Developer Relations and Evangelism

Parsers, Compilers, and Programming Language TheoryLex/YACC alex/happy Bison CFGs EBNF BNFC

App DevelopmentTest-Driven Development Continuous Integration Software Project Management Agile / XP / Scrum PairProgramming Literate Programming Unit Testing Amazon Web Services Docker Full-StackDevelopment

Programming Languages and Frameworks:Preferred: Haskell or OCaml. Python.Possible alternatives: Common Lisp Racket Scheme Javascript / Typescript / Node.

Computational Linguistics Natural Language GenerationComputational Semantics (in Haskell, Prolog, or Lisp) Montague Semantics Grammatical Framework Textplanning Surface realizationFamiliarity with: WordNet FrameNet SenseNet Controlled Natural Languages Attempto ControlledEnglish ACErules

Formal Verification and Specification LanguagesSome familiarity with any of: TLA+ Alloy IVy B Method Z notation VDM++ LTL

Preferred qualifications:

Theorem Proving and Strongly Typed Languages:CoQ Agda Idris Lean Prover F* Advanced Haskell (Templateetc) OCaml Elm Isabelle/HOL StrangeLoop Pony

Model Checkers and SAT/SMT solvers: Z3 PAT SMTlib NuSMV SPIN Sentient

IDEs, Language Workbenches, and PLT frameworks: K Framework JetBrains MPS IDEs (Vim, Emacs,Visual Studio Code, Atom, Sublime Text) Language Server ProtocolRule Systems and Logics

Formalization of Contracts, Rules, and Business Logic: Akoma Ntoso LegalRuleML PetriNets Drools iLog OPA Neota Logic Constraint Handling Rules ICAIL JURIX RuleML+RR

Model Driven Architecture: UML BPMN DMN OCL SBVR Statecharts Activity Diagrams ParnasTables

Logics: Hoare Logic Kripke structures Modal mu-calculus Dynamic Logic Deontic, Temporal, andEpistemic modals Situation Calculus Process Calculi Multivalent logics Defeasible Logic BDI AbductiveLogic F-Logic Intuitionistic Non-monotonic Logics Skolemization Well-Founded SemanticsGood Old-Fashioned Artificial Intelligence and Semantic Web

Knowledge Representation and Reasoning: Lisp Prolog F-Logic Flora-2 Datalog Answer-SetProgramming Defeasible Logic Expert Systems DocAssemble lps.doc.ic.ac.uk

Semantic Web and Ontologies:RDFa RDFt RDF RIF SWRL OWL Cyc KBpedia SUMO UFO Protg

#LI-JN2

Job Scope:

• Participate in patient screening and recruitment
• Assist in consent-taking for participants enrolled on a community screening research programme
• Provide administrative support in surveys, questionnaires and interviews for the ongoing studies
• Assist in data collection and management
• Ad hoc duties as assigned.

Job Requirements:

• A Diploma in Life Sciences / Nursing
• Good interpersonal and communication skills
• Proficient in MS Office

Interested applicants, kindly furnish us with your detailed resume in MS Words format and click "Apply Now" button OR email to [email protected]

**We regret to inform only shortlisted candidates will be notified. Applicants who do not possess necessary experience or qualification will still be considered on individual merits and may be contacted for other opportunities**

“Jobstudio will not solicit any money, request to use your bank account for business or request you to transfer any monies to any parties, please be aware of scams impersonating Jobstudio and our employees, you may call our office directly at 64221390 for verification. we will not be liable for loss arising from scams.”

JOBSTUDIO PTE LTD

EA License No: 10C4754

EA Personnel: Choong Yi Han

EA Personnel Reg No: R2196526

the candiates must have at least two years of working history in relevant industry in local education institutions,holding a bachelor degree in Chinese literature or higher relevant degrees

the candidates must be at good knowledgy about Chinese culture and contemporary China

the candidates must be able to work independently on teaching task, editing and reedit the chinese articles, compositions, comprehensions, able to use modern tools ( IT means) to conduct the teaching activity.

The candidates must be able work under pressure, that includes having intense lessons a day, marking the students' paper within expected time frame.

working days may change as and when necessary to the school arrangement.

Your responsibilities may span the following areas:

• Data cleaning and organizing.
• Tracking performance of NBCU content across various platforms – linear and digital.
• Assist in populating templated reports.
• Report writing and insight generation.
• Brainstorm ideas for how to improve/ automate current processes in place.

JOB OFFER:

FLE teachers for kids and adults M/F

PLACE :

Singapore

OFFER ISSUED BY:

Alliance Française of Singapore

POSITION DESCRIPTION:

The Alliance Française of Singapore (AFS) is looking for a French FLE teacher to teach young people, 2-16 years old and adults from A1 to C1.

The position requires a commitment from the professor to the Alliance's innovation and development projects and good versatility in order to be able to provide courses at the Alliance, in companies or schools, as well as in person, online.

PRESENTATION OF THE ORGANIZATION:

The Alliance Française of Singapore is a local non-profit educational and cultural organization, affiliated with the international network of Alliances Françaises. With a mixed team of Singaporeans and French, and more than 4,000 members of all ages, the Alliance Française de Singapore fulfills its mission of teaching the French language and promoting French and Francophone cultures by offering various actions in its language center, gallery, theater and library.

REQUIRED SKILLS :

– French mother tongue;

– Minimum 2 years of experience in early education;

– Openness to innovative teaching practices in person, remotely;

– Possess qualities of communication, initiative, and adaptation;

– Demonstrate dynamism, enthusiasm, involvement and cultural openness;

– DELF-DALF examiner/corrector accreditation would be a plus;

– A minimum B1 level in English.

REQUIRED DIPLOMA:

Master 2 of FLE and/or DAEFLE

TYPE OF CONTRACT :

Fixed-term contract

HOURLY VOLUME PER WEEK:

20 hours on average up to 30 hours– 6 sessions of 8 weeks/year

DURATION :

Local part-time contract, renewable annually.

REMUNERATION:

Échelon 1 $44.50/h DAEFLE

Échelon 2 $49.50/h MASTER 2 FLE ASTER 2 FLE

Detailed salary conditions will be communicated to pre-selected candidates.

PROCEDURE TO FOLLOW TO PRESENT YOUR APPLICATION:

Send your application file by email addressed to Virgile Prodhomme, Director of Studies, with the following documents:

– a detailed CV (indicating the months and years of each experience) with recent photo;

- a cover letter ;

– your letters of recommendation;

– copies of your FLE diplomas (the originals will be essential to obtain the work permit on site).

CONTACT EMAIL:

[email protected]

https://alliancefrancaise.org.sg

At Ultimate Performance (U.P.) we are hiring Personal Trainers to join our U.P. Singapore team.

You can be as green and new to the industry as they come. Our goal would be to educate and mould you as one of the future leaders of U.P, just as we have already done with some of the Trainers who joined us as Juniors on our first Junior Training Scheme in 2012.

We are a meritocracy and only care about your ability to get the job done and your overall potential.

ATTITUDE IS EVERYTHING. Aptitude can be taught but you do need to look hard at yourself before you apply to U.P. We are not an easy company to work for because we demand that you deliver your very best performance every single time. This is the U.P. way and it is a non-negotiable quality that we are looking for.

Alongside the right attitude, to even be considered for one of our coveted positions, we are looking for individuals who can demonstrate:

• Relentless hard work.
• That you are not frightened to reflect inwards and examine your motives.
• That you seek out and continue to learn from your own mistakes.
• An investment in others.
• Ambition and persistence in your desire to better yourself.
• The ability to provide U.P. clients’ a great service and high professional standards.

So, if you are interested in a role that will allow you to:

• Work alongside some of the leading trainers in the fitness industry as a team.
• Work in a culture where results - not numbers - are the name of the game. We take care of the sales and marketing so you have the time to focus on what matters as a Trainer.
• Take part in a full education program while also being provided your own mentor.

• Have the support and guidance to build a genuine career within the fitness industry, so that you can grow into the right long-term role for you.
• Deliver personal training through our own company app, while we continue to work behind the scenes to revolutionize the technology available to you as a Trainer.
• Be pushed to never accept anything less than your very best.
• Be provided with the possibility to travel around the world.

Then hit APPLY today to be considered and discuss further with the UP team!

Starting salary: SGD $24,900 this can increase to $79,100.

OTE: SGD $24,900-$79,100.

Hours: full-time, including early mornings and late evenings in your first year of service.

Advertised earnings are reflective of the advertised U.P. location’s OTEs for Junior Trainer roles in the local currency, dependent on the Junior level offered if successful.

U.P. does not provide Personal Trainer qualifications and so requires all applicants to have already attained their Level 3 Diploma in Personal Training, or equivalent qualification.

Please note that all U.P. Trainers need a valid right to work, therefore we ask queries around this within the application process to determine whether sponsorship consideration is required by Ultimate Performance. It poses no potential limitation to your application.

Your data will be stored by Ultimate Performance and will be used by our HR and recruitment teams for the purpose of managing your application. You can find out more about how we use your data during our recruitment process here: https://ultimateperformance.com/terms-conditions

We have been made aware of fraudulent entities around the world claiming to represent Ultimate Performance. We will never request your bank details within an application or request an exchange of money to apply for a role at U.P. If you see a role advertised for Ultimate Performance requesting payment or to provide bank details then please DO NOT apply via that channel. Please do not hesitate to contact us directly if you have any concerns.

Job Scope

• Coordinate with stakeholders to ensure project milestones are met within timelines.
• Work closely with relevant stakeholders on the ground coordination of projects
• Coordinate the planning and execution of associated initiatives and publicity plans
• Manage approved funding and expenditure
• Monitor progress of the projects and coordinate regular reviews with the project team and relevant stakeholders
• Assist in regulatory and IRB approvals for the research projects
• Assist in preparation of relevant reports/ presentations/ materials
• Assist in grant management and administration
• Monitor progress of research activities and outcomes
• Supervise staff involved in data collection and data entry/ transcription.

Requirement

• Bachelor's Degree in Public Health / Life Science or equivalent
• Minimum 5 years of relevant working experience

Interested applicants, kindly furnish us with your detailed resume in MS Words format and click "Apply Now" button.

** We regret to inform only shortlisted candidates will be notified. Applicants who do not possess necessary experience or qualification will still be considered on individual merits and may be contacted for other opportunities.**

JobStudio Pte Ltd

EA License No: 10C4754

EA Personnel: Pearly Poh

EA Personnel Reg No: R2089904

Duties and Responsibilities (Customer Services)

• Assist in designing of course outline and develop course curriculum for functional training program
• Conduct post course evaluation
• Conduct assessment to evaluate the competency of the participants
• Conduct training and facilitate active learning
• Conduct briefings to operational staff when required
• Communicate with airline on training requirements and ensure all resources are prepared prior to commencement of training
• Provide guidance and supervisory support to operational staff during cutover/migration of every new airline
• Ensure all training records are entered correctly into SAP system
• Assist in audit preparation
• Ensure compliance with all workplace safety, security, and health policies and procedure

Requirements

• Minimum GCE "N" levels and above
• Minimum 2 years’ relevant industry experience, with a demonstrable sound knowledge of airport and logistics operations
• Knowledge of Departure Control System (DCS) would be a distinct advantage
• Ability to confidently present curriculum and lead group discussion in classroom
• Knowledge of adult learning is preferred

Musical Theatre Dance Teacher

Job Description & Requirements

We are looking for a full time dynamic and enthusiastic teacher for our thriving Musical Theatre and All Dance Program. This position is focused on dance instruction for Musical Theatre styles, Jazz, Tap, Lyrical, Commercial as well as Singing and Acting instructions.

This position also produces main stage and black box productions of musicals, large recital production, and summer intensives; collaborates with production staff as well as other Performing Arts faculty.

-Required to teach classes to young students from ages 3 onwards

-Educate students about the history of Musicals

-Educate the clients about Musical theatre

-Prepare students for competitions

-Prepare students for exams

-Hold workshops

-Ability to teach singing within the classes in a song and dance structure well

Nearest MRT: Choa Chu Kang
Contract Duration: 11 Months
Working Hours: Monday - Thursday: 8.30am to 6pm; Friday: 8.30am to 5.30pm
Basic Salary: $3,750 per month (Negotiable)

Responsibilities:

Smart Classroom Renovation:

· Plan, co-ordinate and schedule classroom availability for renovation works.

· Plan and implement change management activities.

· Track project deliverables and monitor payment milestones.

· Co-ordinate between contractors and FFM to support the ongoing renovation efforts.

· Perform daily inspection twice a day i.e., Late morning and before end of working day to ensure that Contractor maintains a high level of safety and cleanliness at the work site.

· Keep track of project documentation and paperwork or approval required from the relevant authority.

· Undertake any other duties assigned by Supervisor.

Training Administration

· Create accounts and keep track of privilege user accounts (ensure only authorised users have access to the system).

· Track user issues surfaced from Learning Management Systems and work with vendor to resolve them in a timely manner.

· Monitor software development timeline performed by vendor.

· Collate data for system reports, i.e. user login, course published, course runs, user reported issues.

· Undertake any other duties assigned by Supervisor.

Requirements:

· Bachelor’s Degree in Building & Project Management, Civil Engineering or other relevant disciplines

· At least 1-3 years of building and/or system project management experience in handling deadlines, users’ queries etc.

· Immediate Starters are preferred (Not serving notice)

· Only Singaporeans

Interested candidates, please forward a copy of your resume to: [email protected].

We regret to inform that only shortlisted candidates will be notified.

Justin Lee
Registration No: R22107715
APBA TG Human Resource Pte Ltd
EA License: 14C7275

Responsibility

• To interview visitors to Singapore Navy Museum in a short 1-2min Visitor Experience Survey
• Interviewers will be paid per piece, with travel reimbursement
• To complete n=33 per month, split across 2 visits

Benefits

• Flexible work - Only needs to commit 2 days per month to go down on the weekend to survey

Key skills

• Candidates should be able to communicate well
• The ability to persuade visitors to do the survey is also important
• Reliability to complete the monthly quota is important