Total 1,067 Education / Training job vacancies in d06 beach road high street

Job Description & Requirements

· Teach and conduct coding, STEM and technology-related classes and programmes

· Develop and curate curriculum resources

· Oversee and train students in preparation of coding & robotics competitions

· Groom and mentor students into passionate and curious individuals in technology

· Facilitate an inclusive and collaborative classroom environment

· Adopt supportive classroom approach which facilitates positive learning and development

· Encourage children to express their own personalities and thoughts through creative process

· Provide quality feedback on children development progress

· Participate in campus events including parent meeting sessions and festive events

· Perform any other duties and responsibilities as assigned by the STEM Teacher (Supervisor)

Job Specification:

· Diploma / Bachelor’s Degree in Engineering / Science / Computing / Technology / STEM-related fields

· Coding experience is not required; training will be provided. We are looking for keen learners with a deep interest to grow a career in the Tech Education sector

· Passion in teaching computer programming or STEM-related fields

· Passion for educating children, bonus if you have teaching experience

· Patient, approachable, and possess a passion for teaching kids and young adults

· Able to connect, interact, and establish cordial relationships with parents

· Possess a high degree of professionalism (e.g. in appearance, dressing, and communication skills)

· Energetic, with a positive can-do attitude

· Able to work well in a team

· Fresh Gradudates are welcome to apply.

Birmingham Academy is a dynamic, thriving, diverse Private Education Institution in Singapore which has been in operations for over 2 decades. We currently have students enrolled in our Diploma and Advanced Diploma in Hospitality Management courses. This is an adjunct/ Part Time position with the possibility of converting to a Full-time Position depending on students’ feedback.

QUALIFICATIONS, EXPERIENCE AND ATTRIBUTES

Job Descriptions:

• Plan, prepare and deliver instructional activities that facilitate active learning experiences.
• Assist in developing schemes of work and lesson plans.
• Establish and communicate clear objectives for all learning activities.
• Prepare classroom for class activities.
• Provide a variety of learning materials and resources for use in educational activities.
• Identify and select different instructional resources and methods to meet students' varying needs.
• Instruct and monitor students in the use of learning materials and equipment.
• Use relevant technology to support instruction.
• Observe and evaluate student's performance and development.
• Assign and grade classwork, homework, tests and assignments.
• Provide appropriate feedback on work.
• Encourage and monitor the progress of individual students.
• Maintain accurate and complete records of students' progress and development.
• Update all necessary records accurately and completely as required by law, district policies and school regulations.
• Prepare required reports on students and activities.
• Manage student behaviour in the classroom by establishing and enforcing rules and procedures.
• Maintain discipline in accordance with the rules and disciplinary systems of the school.
• Perform certain pastoral duties including student support, counselling students with academic problems and providing student encouragement.
• Participate in extracurricular activities such as social activities, sporting activities, clubs and student organizations.
• Participate in department and school meetings.
• Keep updated with developments in the subject area, teaching resources and methods and make relevant changes to instructional plans and activities.
• Any other duties assigned by HOS or DOS

Job Requirements:

• Candidate must possess at least a bachelor’s or master’s degree in hospitality/Tourism/Hotel Management
• At least 3 - 5 Years of working experience in the related field is required.
• ACTA / ACLP / SDALT teaching qualification would be an added advantage.
• Strong passion for teaching
• Ability to share industry experience.
• Must be current with learning methods and strategies.
• Must be student oriented. And enforce strict attendance requirements.
• Excellent presentation and communication skills
• Have good organizing & planning skills, high work standards, and able to adapt to changes.
• Able to problem solve, have high-stress tolerance & good decision-making skills.

ABOUT BIRMINGHAM ACADEMY

Birmingham Academy Pte Ltd, RBN200306960N, was incorporated on 23rd July 2003. It is officially registered, according to Singapore Statutory Requirement, with the Accounting and Corporate Regulatory Authority (ACRA).

It is also registered with the Ministry of Education as a private school according to the Singapore Private Education Act in July 2003.

In September 2010, Birmingham Academy successfully migrated to Singapore’s Enhanced Registration Framework (ERF) as a Private Education Institution (PEI), with the Committee for Private Education (CPE).

Birmingham Academy is a 4-Year EDUTRUST certified Institute.

Hwa Chong International School (HCIS) is a member of the prestigious Hwa Chong family of schools, drawing its core strengths from a century-old tradition of educational excellence and philanthropy. As a local international school, at least half of the student population is local, and the rest from over 20 countries.

HCIS is committed to providing an environment conducive to the continued growth and development of our staff.

EXPERIENCED INTERNATIONAL BACCALAUREATE TEACHER

Hwa Chong International School is looking for inspiring, passionate and committed teachers to explore a career with us.

Full-time positions available:

• IB Chemistry

Teachers may be required to teach various levels in the school’s six-year academic programme. Apart from teaching, teachers are expected to guide the students throughout the academic year in all areas of their holistic development. The incumbent will undertake planning and execution of various school activities throughout the year. As part of the school’s professional learning community, teachers are expected to contribute to teacher collaboration and resource development to value-add to the learning and development of students.

Requirements:

• At least a Bachelor Degree (Chemistry/Biochemistry) from an established University and possess teacher training qualifications, e.g. Post-graduate Diploma in Education
• At least 3 years of working experience teaching IB Chemistry or pre-tertiary Higher level would be preferred; including guiding students in coursework and extended essay
• Be willing to teach in the Secondary levels
• Self-motivated and passionate about educating students
• Able to multi-task and work independently
• Salary will commensurate with experience
• Interested candidates may wish to email [email protected]. We regret that only shortlisted candidates will be notified.

Position Overview:
As an Early Childhood Educator at Dreamkids Kindergarten, you will play a pivotal role in nurturing young children's development, fostering a love of learning, and supporting their holistic growth. You will create a safe, engaging, and stimulating environment that emphasises character-building, problem-solving, and curiosity-driven learning, in line with Dreamkids' unique philosophy of "先做人，后做事" (Character Before Academics). You will collaborate with families and colleagues to provide high-quality education based on learning theories, research, and proven educational frameworks.

Key Responsibilities:

• Plan and Implement Curriculum: Develop and deliver engaging, developmentally appropriate lesson plans based on Dreamkids’ philosophy and curriculum frameworks (e.g., NEL Framework). Lessons should incorporate various domains such as language and literacy, numeracy, arts, social-emotional development, and character education.
• Classroom Management: Establish a safe, nurturing, and inclusive classroom environment where children feel respected and valued. Implement positive guidance strategies to promote pro-social behaviour.
• Child Development Monitoring: Observe, assess, and document children’s progress regularly and adjust teaching strategies to meet each child's needs.
• Collaboration with Families: Communicate with parents/guardians regularly to provide the child's progress, address concerns, and offer guidance on early childhood development and parenting strategies.
• Innovative Learning Activities: Develop creative and meaningful activities, incorporating hands-on experiences, play-based learning, and problem-solving projects to inspire curiosity and foster critical thinking.
• Character and Values Education: Promote character building through daily interactions and structured lessons, embedding empathy, resilience, and gratitude into the children’s daily learning experience.
• Professional Development: Stay current on early childhood education trends and continue professional development to enhance teaching skills, attending workshops and training as needed.
• Collaborative Teamwork: Work effectively as part of a collaborative team, supporting colleagues and contributing to the overall success of the school’s programs.

Job Requirements:

Qualifications:

• A diploma in Early Childhood Education (Teaching)
• A valid LON

Experience:

• Minimum of 2 years of experience working in early childhood education settings.
• Experience delivering curriculum aligned with Singapore’s NEL Framework is an advantage.
• Familiarity with character-building education, growth mindset, and social-emotional development in children.

Skills and Competencies:

• Strong understanding of child development principles and practices.
• Excellent classroom management skills focusing on positive discipline and pro-social behaviour.
• Creativity and innovation in designing engaging and developmentally appropriate learning activities.
• Strong communication and interpersonal skills to build positive relationships with children, parents, and colleagues.
• Ability to observe, assess, and document children's progress and adjust teaching strategies as needed.
• A growth mindset willing to learn and adapt to new teaching methodologies.

Personal Attributes:

• Passionate about early childhood education and committed to the holistic development of young children.
• Patient, empathetic, and nurturing with a genuine love for working with young children.
• Enthusiastic, proactive, and collaborative; able to work independently and as part of a team.
• A reflective practitioner with a commitment to ongoing professional development.

Starting Date:

• Able to start work on 02 Jan 2025
• Half-day position available

Requirements

• Passionate about teaching
• Fluent in Both Chinese and English
• Want to inspire students in their learning journey
• Preferably NIE-Trained, OR have a relevant University degree
• Preferably have at least 3-4 years of relevant teaching experience (in tuition centres, enrichment centres and/or MOE schools)
• Able to demonstrate mastery of teaching pedagogy
• Able to conduct on-line or off-line lessons
• Entry Level candidates from university are also welcome to apply

Roles & Responsibilities

• Prepare teaching syllabus and lecture material.
• Conducting private and group class in a engaging manner.
• Design worksheets for students as homework.
• Meticulous in reviewing and marking the students' work.
• Provide in-time feedback on students’ progress and keep close touch with teaching coordinators

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

• Code development.
• Database management.
• Data analysis and visualizationd.
• Experiment design and implementation.
• Software documentation.
• Meeting arrangementg.
• Presentation.
• Report writing.

• Minimum Bachelor's degree in Computer Science, Information Technology, Information Systems or closely related disciplines.
• Relevant research experience is preferred.
• Proficiency in programming in Python and related packages.
• Knowledge in large language models, databases (including SQL), NLP, and machine learning.
• Experience with research works is preferred.
• Good analytical, technical and problem-solving skills.
• Applicants with research publications in AI or NLP area will be advantageous.
• Self-motivated individual who can work independently and also collaboratively with team members.

#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 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).

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.

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

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

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

• Design and implement AI for software engineering solutions.
• Conduct evaluations and/or user studies to validate the effectiveness of algorithms and solutions.
• Write and publish research papers and present them to reputable academic conferences.
• Package the documents, implementation code, evaluation results for release.
• Liaise with other team members.

• PhD degree in Computer Science, Information Technology, Information Systems or closely related disciplines.
• Excellent research experience, evidenced by at least 5 first-authored publications in major/top software engineering conferences and journals, including at least 2 in top-tier publication venues.
• Excellent knowledge about AI for Software Engineering.
• Highly fluent in Python.
• Highly competent in designing and implementing algorithms and data structures.
• Excellent analytical, technical and problem-solving skills.
• Self-motivated individual who can work independently and collaboratively with team members.
• Able to work under strict deadlines.

#LI-JN2