Total 1,530 Education / Training job vacancies in D10 Ardmore, Bukit Timah, Holland Road, Tanglin

Job Purpose:

Responsible for planning, developing, delivering and evaluating appropriate individualized educational services, learning programmes and instructions for special needs students in both self-contained and integrated settings in consultation with other school personnel.

Job Responsibilities:

• Implement and monitor effective teaching & learning pedagogies, intervention strategies for students with Special Education Needs (SEN)
• Design and implement valid and reliable modes of assessment to evaluate students’ progress and development.
• Identify and design support structures to students with SEN
• Work with school leaders and management team to plan and implement school-wide educational and recreational programmes
• Collaborate and consult with allied professionals, parents/caregivers and external agencies to ensure quality support and well-being of students
• Responsible for designing, assessing and reviewing student-centric lessons with engaging approaches to accommodate individual learning styles
• Advocate to Heads of Department appropriate instructional learning resources to value add to students’ learning
• Review and reinforce learning activities using lesson plans and teaching strategies to help students to master concepts and skills
• Implement the use of information technology in lesson preparation and teaching to engage learners
• Research and keep abreast of up-to-date subject knowledge and design teaching resources in professional learning teams
• Supervise students and manage pupil behaviours in the classroom and on school premises to inculcate school values and enforce discipline
• Document concerns of students to facilitate problem solving with parents and professional support staff
• Conduct Parent-Teacher Conferencing to discuss students’ strengths, weaknesses and identify areas of focus to support IEP goals and transition
• Provide information to parents for home-school communications to support students’ progress
• Make home visits for students with high support needs and craft intervention strategies to meet student social and emotional needs
• Establish work plan priorities to meet school strategic thrusts
• Actively involved in staff meetings, co-curricular activities, educational conferences, and school programs.
• Participate in parents' evenings and school-wide training events to promote home-school partnership.
• Participate in organizing school events, including sporting events, learning journey and other excursions like camping trips and educational tours

Job Requirements:

• Diploma/ Degree from recognised Institutions with GCE ‘O’ level credits in English and Mathematics
• Prior experience with Students with Mid Intellectual Disabilities (MID) is preferred
• Specific subject knowledge, knowledge in special needs education and behaviour modification, Microsoft office (Excel, Powerpoint, Word)
• Interpersonal skills, classroom management skills, takes Initiative, effective communication Strong in verbal and written English
• Prior experience handling Numeracy/ Literacy, WPLN, Science, HSR, SEL/ CCE and Vocational Guidance is an added advantage.
• Working location: Choa Chu Kang

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

• Collect data through web crawling and/or crowdsourcing.
• Implement baseline methods based on previous research papers.
• Implement new methods to improve the performance of large language models.
• Conduct experiments to empirically evaluate different methods.
• Contribute to the preparation of manuscripts for publication.

• Minimum PhD degree in computer science, Information Technology, Information Systems or closelyrelated disciplines.
• Relevant experiences in video processing, analysis, and research.
• Relevant experiences in developing systems for video computing.
• Excellent knowledge in large-scale video processing and search.
• Excellent knowledge and experience in system development and engineering.
• Good skill in computer programming.
• Good knowledge in dataset curation and preparation of dataset for deep learning.
• Self-motivated individual who can work independently as well as collaboratively in a team to researchand engineer challenging problems.

#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

• Training of neural networks using cooking videos and cooking recipes for cross-modal retrieval.
• Training of neural networks for cross-domain food-to-image retrieval.
• Experiment setup and analysis.

• Minimum PhD degree in computer science, Information Technology, Information Systems or closely related disciplines.
• Relevant experiences in food computing (e.g., food image recognition, recipe retrieval, cross-domain food image retrieval).
• Excellent knowledge in food computing.
• Good knowledge AI and large language models.
• Good skill in computer programming.
• Good knowledge in dataset curation and preparation of dataset for deep learning.
• Self-motivated individual who can work independently as well as collaboratively in a team to research and engineer challenging problems.

#LI-JN2

ACS (International) Singapore is part of the prestigious ACS family of schools whose proud legacy reaches back to 1886. Opening our doors in 2005, ACS (International) is a secondary school (12 – 18 years old) that serves both Singaporean and international students, with a diverse mix of 30 nationalities. Academic outcomes are a critical area of performance for the school, in conjunction with strong holistic development of students. The school offers the IGCSE programme with approximately 180 students graduating each year with over 50% of all grades being A or A*. The school offers the IB Diploma programme with approximately 180 students graduating with an average IB score of 36, including perfect scores of 45. Graduates attend universities across the globe, including Oxbridge and Ivy league universities.

ACS (International) is an Accredited Member of the Council for International Schools.

ACS (International) is looking for an exceptional person, a qualified teacher who has a passion for teaching and is able to motivate students to achieve their full potential. We believe that collaboration and enjoyment is paramount to teaching and learning. Therefore, we are looking to appoint an individual who is a team player, enthusiastic and creative. The Drama teacher will lead a school drama production on an annual basis.

The start date is preferably 2 January 2025, or by arrangement.

We are looking for someone who:

- is a qualified teacher with relevant experience and qualification;

- will be able to teach senior levels and/or have had teaching experience with IBDP or equivalent Chemistry;

- is passionate about teaching and helping students reach their full potential;

- can work well in a team while contributing ideas and sharing course materials;

- has the ability to inspire young people from all backgrounds;

- can prioritise responsibilities in a fast-paced work environment;

- has a good sense of humour;

- respects that the school is founded on and adheres to Christian (Methodist) values;

Benefits:

- a professionally stimulating environment, working alongside motivated colleagues from around the world;

- continuing professional development;

- competitive salary;

Applications to [email protected] must be accompanied by a covering letter, a C.V., a completed application form and names (including contact details and email addresses) of two referees (with at least one of them is/was your reporting officer).

Full details including an application form are available on our school website: www.acsinternational.edu.sg

Applications close on 31 October 2024.

ACS (International) is committed to safeguarding and promoting the welfare of children and young people and expects all staff, volunteers and other third parties to share this commitment. Safe recruitment practice and pre-employment background checks will be undertaken before any appointment is confirmed. Appointment is subject to a background check and/or criminal/police or equivalent background checks for all other countries inhabited (irrespective of whether you worked in those countries).

The Administration Manager plays a role in many parts of a business’s operations. This is a top-level role, meaning the Administration Manager works with other leaders and team members in each of the business’ departments. Administration Manager has a lot of duties to perform on a daily basis, including:

• Guiding the company’s activities
• Identifying opportunities to improve a business’ policies or objectives
• Ensuring the company is operating securely and effectively
• Preparing and reviewing operational reports
• Leading and/or participating in meetings
• Assisting line managers in compiling annual budget information and reports
• Maintaining all policies and procedures manuals
• Hiring and training administrative staff
• Delegating tasks to administrative assistants
• Creating personnel folders for new hires
• Monitoring and projecting staffing needs
• Overseeing department budget planning and development
• Managing and maintaining all department databases
• Performing clerical accounting and general office duties as needed
• Developing strong relationships with cross-functional teams and departments

ACS (International) Singapore is part of the prestigious ACS family of schools whose proud legacy reaches back to 1886. Opening our doors in 2005, ACS (International) is a secondary school (12 – 18 years old) that serves both Singaporean and international students, with a diverse mix of 30 nationalities. Academic outcomes are a critical area of performance for the school, in conjunction with strong holistic development of students. The school offers the IGCSE programme with approximately 180 students graduating each year with over 50% of all grades being A or A*. The school offers the IB Diploma programme with approximately 180 students graduating with an average IB score of 36, including perfect scores of 45. Graduates attend universities across the globe, including Oxbridge and Ivy league universities.

ACS (International) is an Accredited Member of the Council for International Schools.

ACS (International) is looking for an exceptional person, a qualified teacher who has a passion for teaching and is able to motivate students to achieve their full potential. We believe that collaboration and enjoyment is paramount to teaching and learning. Therefore, we are looking to appoint an individual who is a team player, enthusiastic and creative.

The start date is preferably 2 January 2025, or by arrangement.

We are looking for someone who:

- is a qualified teacher with relevant experience;

- prefers to teach lower secondary level;

- is passionate about teaching and helping students reach their full potential;

- can work well in a team while contributing ideas and sharing course materials;

- has the ability to inspire young people from all backgrounds;

- can prioritise responsibilities in a fast-paced work environment;

- has a good sense of humour;

- respects that the school is founded on and adheres to Christian (Methodist) values;

Benefits:

- a professionally stimulating environment, working alongside motivated colleagues from around the world;

- continuing professional development;

- competitive salary;

Applications to [email protected] must be accompanied by a covering letter, a C.V., a completed application form and names (including contact details and email addresses) of two referees (with at least one of them is/was your reporting officer).

Full details including an application form are available on our school website: www.acsinternational.edu.sg

Applications close on 30 October 2024.

ACS (International) is committed to safeguarding and promoting the welfare of children and young people and expects all staff, volunteers and other third parties to share this commitment. Safe recruitment practice and pre-employment background checks will be undertaken before any appointment is confirmed. Appointment is subject to a background check and/or criminal/police or equivalent background checks for all other countries inhabited (irrespective of whether you worked in those countries).

Job Description:

• Deliver engaging and interactive Chinese Speech and Drama lessons, as well as Mandarin classes, tailored for preschool children.
• Collaborate in curriculum planning and development to ensure alignment with educational objectives.
• Monitor and meticulously document students' progress and performance, providing constructive feedback where necessary.
• Maintain open communication with parents, keeping them informed about their children's progress and achievements in class.
• Play a pivotal role in the strategic and operational advancement of the school.
• Participate in a minimum of 2 mandatory training sessions per term to enhance teaching skills and knowledge.
• Utilize Class Dojo Application to provide regular updates and insights to parents after each lesson.

Job Requirements:

• Hold a tertiary education qualification, certification in Mandarin education, Chinese Speech and Drama, or equivalent.
• Possess a minimum of one year of relevant teaching experience, specifically with children aged 3 to 6 years old.
• Previous experience and training in Chinese language instruction, music and movement, as well as speech and drama, are highly desirable.
• Demonstrated passion for education, particularly with preschool-aged children, with a preference for candidates enthusiastic about arts and drama.
• Required to work on 4 weekdays and 1 weekend.
• Excellent command of Mandarin, with fluency in both spoken and written forms. Strong communication skills and effective classroom management abilities are essential.

Position Overview:

We are seeking a passionate and experienced Dance Instructor to join our team. The ideal candidate will have a strong background in various dance styles and a desire to inspire and educate students of all ages and skill levels.

Key Responsibilities:

• Plan and deliver engaging dance lessons in [specific styles, e.g., ballet, hip-hop, jazz, contemporary].
• Assess students’ progress and provide constructive feedback.
• Create a positive and inclusive learning environment.
• Organize and participate in dance performances and competitions.
• Collaborate with other instructors and staff to enhance the dance program.
• Maintain a safe and clean studio environment.
• Communicate effectively with students and their families regarding progress and upcoming events.

Qualifications:

• Proven experience as a dance instructor or similar role.
• Strong proficiency in [specific dance styles].
• Excellent communication and interpersonal skills.
• Ability to motivate and inspire students.
• Certification in dance or related fields is a plus.

What We Offer:

• Competitive salary and benefits.
• Opportunities for professional development and training.
• A supportive and creative work environment.

Job Purpose:

To align the vocational curriculum to WSQ Framework to eventually develop a responsive and unique vocational curriculum, incorporating sensory integration, home-school-partnership to truly meet the diverse needs of DSS students including achieving WSQ certifications and to meet the requirements of course accreditation by WDA.

Key Responsibilities:

Curriculum and instructional excellence

• Plan engaging and well-paced lessons taking account of the diverse learner profiles of students
• Deliver lessons using evidence-based pedagogy and meaningful activities, to meet the educational needs of individual students
• Implement appropriate modes of assessment to monitor student progress by providing accurate feedback , and implementing suitable instructional supports to close gaps
• Plan and deliver comprehensive vocational educational programmes (On-Site Training) to develop students’ work-related skills

Holistic student development

• Build a strong relationship with students by demonstrating care, concern and encouragement
• Design and implement positive, robust classroom routines and practices to create and maintain a safe and conducive learning environment as well as foster student development and well-being
• Implement techniques and behaviour plans to manage students with complex and challenging behaviours

Professional development

• Proactively engage in professional development for knowledge and skills development
• Participate in professional learning teams to foster collaborative learning between staff members

Organisation management and development

• Manage daily administrative tasks (e.g. track attendance, collect forms, update families/caregivers.)
• Perform Department Quality Assurance Management (QAM) tasks

Job Requirements:

• Degree/ Diploma/ Higher NITEC in Horticulture and/ or Landscaping domains for the application for the position of Vocational Trainer (Horticulture)
• Experience in teaching/ special needs education would be an advantage
• Technical Skills Specific- Student Development/Microsoft Office (Excel, PowerPoint, Word)
• Behavioural Skills - Interpersonal, Classroom Management, Takes Initiative, Effective Communication
• Language Skills-Strong in spoken and written English
• Working location: Choa Chu Kang

• Term-time role (enjoy paid school holidays - non-working days);
• 5-day work week;
• Enjoy subsidized lunch;
• Competitive remuneration package & benefits (medical, dental, etc.).
• Salary is commensurate with relevant years of experience.

Dulwich College (Singapore) is seeking a dynamic and experienced Assistant Teacher to join its Junior School (Primary/Elementary equivalent).

Dulwich College (Singapore) recognises that exceptional and inspirational Assistant Teachers are a valuable resource in providing our children with an excellent international education. Dulwich College Assistant Teachers are ambitious for their students’ learning and put students first in everything they do. They have the highest aspirations for their students’ achievement and development, both in the classroom and through the many extra-curricular activities on offer.

Our Assistant Teachers actively promote the College’s Mission and Vision through their enthusiastic and full participation in College life and their supportive engagement with students, colleagues and parents.

Responsibilities and Duties:

• To support in a class as decided by the Head of Junior School;
• To support the class teacher in the learning of each child;
• To work alongside the class teacher to create an environment in which the children’s learning flourishes;
• To be responsible, with the class teacher, for the pastoral care of the children in their class and to be involved in the pastoral care of all children in the Junior School;
• To take part in the planning and preparation for learning both inside and outside the classroom as led by the class teacher;
• To take responsibility for the management of classroom resources, the replenishment of materials, setting up of the classroom and ensuring the safety of the teaching environment;
• To be aware of, and take part in, the schools performance management framework and participate in training and development activities as required;
• To facilitate the learning of individual children or a small group of children, guided by the class teacher and in consultation with the class teacher;
• To manage behaviour positively, as agreed and set out in the school policy;
• To attend staff meetings and professional development activities as required;
• To participate in the extra-curricular life of the children by leading, organising, or being involved in extra-curricular activities within the school day in the Junior School;
• To undertake supervisory duties in the dining hall and playground as directed by the Head of Junior School;
• To act as a role model, showing awareness of individual needs and responding to them;
• Comply with policies and procedures relating to child protection, health and safety, welfare, security, confidentiality and data protection, reporting any concerns to the appropriate person;
• To carry out other duties, as may be reasonably requested by Head of Junior School, and the Headmaster of Dulwich College (Singapore).

All other duties commensurate with the role.

The successful candidate will have:

• Min GCE ‘O’ Levels;
• A Certificate or Diploma in Education or equivalent, or working towards a relevant qualification;
• A minimum of two years’ experience in a classroom/school setting;
• Strong communication and interpersonal skills;
• Demonstrable experience in supporting children’s learning in a stimulating learning environment;
• Have experience as a teacher/assistant teacher to primary students
• Awareness of the importance of using a variety of assessments and observation to assess children’s learning;
• Commitment to supporting all aspects of our programme including extra-curricular activities and contribution to the school community;
• Previous experience in an international school and familiarity with the British education system would be desirable.

We welcome and encourage applications from people of all backgrounds. Having a diverse staff body is a great strength to us as a College and one of the ways that we can help students achieve our College Mission of Living Worldwise. We do not discriminate on the basis of race, ethnicity, gender, age, disability, religion, sexual orientation, pregnancy or socio-economic status. We support family-friendly flexible working opportunities, where operational needs allow. Staff recruited locally are subject to terms and conditions of service according to local employment law.

Dulwich College (Singapore) is committed to safeguarding and promoting the welfare of all the students in our care and expects all applicants to share this commitment. We follow safe recruitment practices which are aligned to the recommendations of the International Task Force on Child Protection. We hold ourselves to a high standard of effective recruiting practices with specific attention to child protection. All appointments are subject to an interview, identity checks, criminal record checks, and successful references.

PEI Registration Number: 201027137D. Period of Registration: 09 January 2024 to 08 January 2028

COMPANY DESCRIPTION

The EtonHouse International Education Group is headquartered in Singapore with 100 schools in over 11 countries. Together these schools provide high quality education to over 15000 children globally. EtonHouse has been at the forefront of international education offering innovative pre-schools and K-12 schools across Asia.

In the early years, an inquiry-based "Inquire-Think-Learn" curriculum, inspired by the Reggio Emilia approach is followed. In the primary, secondary and high school, EtonHouse offers the globally recognized International Baccalaureate (IB) Programme and IGCSE qualifications. There are 9 IB schools in the EtonHouse family.

RESPONSIBILITIES

Job Description: Inclusive Education Teacher

Responsible to: Principal

Job Descriptions

The successful candidate will have experience of working with young people with a range of learning needs. You will be able to demonstrate a working understanding of how these needs impact upon learning and behaviour in the classroom and work with teachers across Pre-school and Primary to ensure the rights of each child are met and supported.

You will work with school leadership, teaching staff and support staff to assist in all aspects of the work to promote a healthy and supportive learning environment. Committed to delivering the highest quality education and with experience of working with special needs, you will help us achieve the highest of standards and continue to deliver the best for our learners.

Duties and Responsibilities

A. General Responsibilities:

• Supporting, developing and enhancing the teaching practice of colleagues so that they teach inclusive lessons
• Planning and preparing lessons in order to deliver the curriculum, ensuring effective breadth and balance
• Identifying clear teaching objectives and learning outcomes, with appropriate challenge and high expectations
• Organising and managing groups or individual learners, ensuring differentiation of learning needs, reflecting all abilities
• Planning and supporting opportunities to develop the social, moral, emotional and cultural aspects of learning
• Developing and maintaining a regular system of monitoring, assessment, record-keeping and reporting on the progress and development of learners in the school community.
• Ensuring students attain, achieve and make appropriate rates of progress as determined by agreed targets
• To participate in staff meetings as required
• To communicate and consult with families over all aspects of their child's education academic, social and emotional
• If required, to be a mentor to a learner or group of learners and communicate regularly with their families
• To support teaching teams with observations or learners identified with additional learning needs
• To guide and support teaching teams in following our inclusive education policy practices and processes at EtonHouse
• To support teaching teams in working alongside families and external agencies to coordinate learner support
• To support parent liaison and admissions team to identify additional learning support and develop an understanding of a learner's needs prior to enrollment
• To support the school in identifying professional learning required to develop inclusive education within our school community
• To undertake other roles or responsibilities that support inclusive education and to work in collaboration with the School Leadership Team to identify areas of development in the school community to promote inclusive education
• To be part of our school Wellness Team

B. Achieving Academic Progress:

• To work with the school Leadership Team to monitor and analyse the academic progress of the cohort of students in the provision in your subject area/s in order to secure and sustain effective learning, with particular reference to the proportion of learners who are able to meet age-related learning goals
• To identify underachievement in your subject areas with a view to establishing and coordinating improvement strategies
• To keep minutes of the Student Progress Meetings, and ensure action points are implemented and tracked

C. Leadership and Management:

• To motivate and work with others to create a shared culture and positive climate of inclusive education.
• To create and maintain effective partnerships with families to support and improve learners' achievement and personal, social development
• To participate in school community information events
• To contribute to the management of key school events

D. Administration:

• To develop and maintain individual learner records as necessary and ensure that they are kept up to date and relevant
• To monitor learner behaviour, progress, attendance and achievement and, in consultation with the Leadership Team, decide on appropriate interventions
• To monitor incidents where students require positive handling and ensure appropriate recording and reporting takes place in accordance with school policies
• To oversee learner progress on their courses in your subject area/s in order to identify underachievement, with a view to establishing and co-ordinating improvement strategies

• Bachelor of Education or higher from an accredited institution, an education qualification in special needs will be a plus
• Minimum of 5 years of teaching experience
• Thorough knowledge of the principles and methodology of effective teaching of inclusive education
• Commitment to working in an educational environment that offers academic rigour and excellence in teaching
• An understanding of and experience in working in an IB Primary Years Programme is desirable
• Sound knowledge of curriculum
• Excellent written and verbal communication skills
• Sensitivity toward cultural diversities
• Ability to build community through positive interactions with, learners, families and colleagues
• Self-motivated with a high energy level
• Demonstrates use of initiative while showing flexibility and adaptability
• Exhibit our EtonHouse Core Values: Collaborative, Life-Long Learner, Open-Minded, Respectful, Passionate

Full Time Position Only.

Responsibilities

1. Demonstrate proficiency in various art techniques, mediums, and styles.
2. Plan lessons that cater to the varying skill levels of students, ensuring a balance between structure and flexibility.
3. Effectively teach students how to use them to express their ideas and emotions.
4. Provide guidance and support to students in developing their artistic skills - drawing, painting, sculpting, and other art forms.
5. Create a positive and inspiring classroom environment that encourages experimentation, self-expression, and collaboration among students.
6. Evaluate and provide constructive feedback on students' artwork, helping them identify areas of improvement and celebrating their achievements.
7. Collaborate with other teachers to ensure lesson consistency and to share best practices.
8. Engage students with sensory play.
9. Ensure a safe and orderly art classroom environment, following appropriate safety guidelines and procedures for handling art materials and equipment.
10. Engage children in lessons, ensuring activities are fun and age-appropriate.
11. Maintain Good and Professional relations with Children and Parents.
12. Design and develop creative and age-appropriate lesson plans that align with the centre’s curriculum and art focus.

Requirements

1. Teamplayer and able to work in a team.
2. Demonstrate proficiency in various art techniques, mediums, and styles.
3. Previous experience teaching art to students of various age groups (2.5-5 YO) and skill levels.
4. Passion for art education and a commitment to fostering creativity and artistic growth in students.
5. Enthusiastic individual that has initiative, high adaptability
6. Strong communication and interpersonal skills, with the ability to connect with students, parents, and colleagues effectively.
7. Maintain tidiness and cleanliness of studio.
8. Knowledge of safety protocols and procedures for handling art materials and equipment.
9. Able to converse in English and/or Mandarin (as will need to liaise with student and/or parents who speaks in mandarin)

Working Hours
Tuesday: 4pm to 8pm
Wed - Fri: 1pm-8pm
Sat - Sun: 9am-7pm

Closed on PH.

Responsibilities:

• Coach theoretical and practical lessons for motorcar/motorcycle.
• Teach and motivate customers assigned.
• To promote safe driving.
• Maintenance and upkeep of training equipment and resources.
• Other ad-hoc duties as assigned

Requirements:

• No experience required, training will be provided.
• Minimum GCE N-Levels, ITE/ITC or equivalent.
• Possess a valid Singapore Class 3 (manual/auto) license and for at least 3 years.
• Bilingual, preferably fluent in English with good communication and interpersonal skills.
• Remuneration package shall commensurate with higher educational qualifications.
• Both genders may apply.
• Must be able to commit to work 2 shifts (weekly rotating morning / afternoon)

Morning shift:

Monday to Saturday: 7.20am to 3.10pm

Lunch break: 11.00am to 11.30am

Rest day: Sunday

Afternoon shift:

Monday to Friday: 3.05pm to 10.55pm

Dinner break: 6.50pm to 7.20pm

Sunday: 7.20am to 3.10pm

Rest day: Saturday

Only shortlisted candidates will be notified.

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

FULL-TIME Position for Music Instructor (Violin)

*Candidates must have at least a PhD/ Masters / Bachelors degree or professional

performance/qualification in music (Violin)

*Professional Violin expertise

*At least 4 years of teaching experience

*Possess the ability to teach students of different age levels

*Dedicated and highly motivated in teaching

*Excellent at communication and have great interpersonal skills; a good team player

*Fast-paced and dynamic personality with excellent multitasking abilities

*Singaporean or PR preferred, Foreigners are welcome

Piano, Guitar, Drum and Vocal Teacher required by music school. Part-time permanent basis. Must possess leadership quality. Able to conduct lessons from age 4 years old to adults. Lively cheerful deposition. Training provided though experience needed. Interested candidiate, kindly send your resume

Email to [email protected]

Alternatively Whatsapp to 81497354

Job Description & Requirements

• To provide quality yoga classes to ensure clients enjoy a positive and inspiring training experience every time they attend group yoga classes at Platinum Yoga.
• Be able to deliver different class programs/class formats.
• Knowledgeable in group yoga instruction and coaching.
• Watch clients do yoga to ensure that they are using the correct techniques.
• Be motivating and able to give clear instructions.
• Connect with clients during the yoga classes through fun, intelligent sequencing.
• Minimum 6 months to one year of experience in teaching group yoga classes.
• Minimum of 200 hours of experience.
• CPR/First Aid certification (preferable).
• Education or experience in health and fitness (preferable).

Please email your resume to [email protected] . Only shortlisted candidates will be notified.

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 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

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

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 your domain 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 prototypes for government and industry partners in the areas of computable contracts and "rules as code". Experience in requirements 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 multiple use cases so that we can abstract across them and develop generalized, reusable infrastructure. We will work with 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 be expected to actively participate in team meetings and text-based communications. You will be expected to be active 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 through community 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 Engineering

Internet Unix TCP/IP HTTP(S) XML JSON Schemas YAML Git Github Technical Writing Developer Relations and Evangelism

Parsers, Compilers, and Programming Language Theory

Lex/YACC alex/happy Bison CFGs EBNF BNFC

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

Programming Languages and Frameworks:

Preferred: Haskell or OCaml. Python.

Possible alternatives: Common Lisp Racket Scheme Javascript / Typescript / Node.

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

Formal Verification and Specification Languages

Some 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 (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

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

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 Flora-2 Datalog Answer-Set Programming 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 Description & Requirements

• To provide quality yoga classes to ensure clients enjoy a positive and inspiring training experience every time they attend group yoga classes at Platinum Yoga.
• Be able to deliver different class programs/class formats.
• Knowledgeable in group yoga instruction and coaching.
• Watch clients do yoga to ensure that they are using the correct techniques.
• Be motivating and able to give clear instructions.
• Connect with clients during the yoga classes through fun, intelligent sequencing.
• Minimum 6 months to one year of experience in teaching group yoga classes.
• Minimum of 200 hours of experience.
• CPR/First Aid certification (preferable).
• Education or experience in health and fitness (preferable).

Please email your resume to [email protected] . Only shortlisted candidates will be notified.

Responsibilities:

• Ensure well-being of children at the centre especially safety and hygiene
• Prepare and organise teaching activities according to lesson plans
• Create a safe and fun environment for the children to learn and play
• Maintain and liaise closely with parents on children's development
• Conduct observation and assessment on children's learning progress

Requirements:

• DECCE or its equivalent
• L2 Certificate from ECDA
• Basic computer skills

Benefits:

• Annual Leaves, Birthday Leave etc.
• Bonuses and Incentives
• Sponsorship for training and teaching qualification
• Sign-on Bonus of up to 1 month* (terms and conditions apply)

We regret that only shortlisted candidates will be notified.