Responsibilities

• Work with stakeholders and handle organisation’s learning and development needs
• Develop organisation’s overall learning plan and conduct learning needs analysis
• In charge of annual training budget
• Source and handle external partners regarding learning and development matters
• Develop and update employee orientation materials
• Conduct employee orientation
• Monitor employee training calendar and coordinate internal and external training programs
• Gather post training feedback and monitor effectiveness of training programs
• Perform additional tasks as needed.

Requirements:

• Possess a Degree in HR or equivalent
• Minimum 5 years of relevant experience in Learning & Development and HR Operations
• Strong ability in handling confidential and sensitive information
• Possess excellent communication skills and able to communicate well with stakeholders

Please submit your updated resume in Word format by using the Apply Now Button.
We regret that only shortlisted candidates will be notified.

Email resume to [email protected]

People Profilers Pte Ltd, 20 Cecil Street, #08-09, PLUS Building, Singapore 049705.
Tel: 6950 9724

http://www.peopleprofilers.com
EA License Number: 02C4944
Registration Number: R1872398

Posting Personnel: Ng Jwee Ken

Ref: L65W97RW

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.

Flexi Work Arrangements, Essential Financial Knowledge, Attractive Remuneration

We believe in providing a holistic approach in service to our clients, ensuring their needs are met and satisfied in our care. And we believe that it starts with us!

Join our team as a Financial Advisor and enjoy a flexible work setting, comprehensive training, support structure, together with market leading remuneration. This role is ideal for both fresh graduates and those seeking a mid-career switch. Connect with us and embark on a rewarding career in financial advisory

A Day in The Life of a Financial Advisor:

• Client Networking: Establish and grow a robust client base through effective networking and prospecting strategies.
• Financial Strategy Development: Analyze clients' financial situations and goals to create tailored financial strategies.
• Insurance and Financial Advisory: Provide comprehensive advisory on insurance and financial planning, covering areas such as retirement, education, and investments, supported by our extensive product suite.
• Financial Analysis: Presenting detailed financial summaries, investment reports, and income projections for clients.
• Client Relationship Management: Maintain and strengthen client relationships through regular reviews and adjustments to financial plans based on life changes.

Benefits & Rewards:

• 24-months Trainee Program: Provides monthly allowance + commission, supporting you in the first 24 months of your career.
• Extensive Training and Support Structure: Regular workshops, training & sharing sessions within the agency and individual mentorship ensuring support along the way.
• Flexi-Hybrid Work Setting: Enjoy a hybrid work setting with flexible work arrangements.
• Attractive Rewards: We believe in 'work hard, play hard', with incentives for top performers & fun team-bonding events.
• Market-leading Remuneration Structure: Market-leading remuneration package along with an attractive incentive system, including commissions, performance incentives, and up to 3 incentive trips a year.

Qualifications:

• Singaporean / Singapore PR preferred
• Minimum 21 years old with Polytechnic Diploma, GCE 'A' level Certification or Bachelor Degree in any field, as per MAS requirements.
• Highly motivated with strong interpersonal skills

Apply now to find out more!

• Position: Accounts Assistant (No Experience Welcome - Training Provided)
• Location: Loyang, East Region (STRAIGHT BUS FROM PASIR RIS MRT)
• Working hours: 5 Working days (Monday to Friday 8.30am to 6pm / 9am to 6.30pm)
• Salary (commensurate with experience): Up to $2700 + AWS + Insurance Coverage + Dental Benefits
• Duration: Permanent
• Industry: Logistic, Supply Chain

Main Responsibilities:

• Handling Accounts Payable (AP) and Accounts Receivable (AR) functions
• Verify suppliers’ invoices and prepare for payments
• Key in daily transactions (receipts and payments) into Sysfreight system
• Any other accounts related duties

Requirements:

• No Experience Welcome - Training Provided
• Recognized Diploma / ITE preferably in Accounting
• Must be familiar with accounting double entry
• Experience in using Sysfreight system would be an advantage
• Good working knowledge for MS Office applications (Excel, Word, Outlook)
• Able to multi-task and work independently in a fast-paced environment
• Bilingual in English and Mandarin to converse with associates who can only speak Mandarin

Email to: [email protected] or call me at: 6398 5689 for more information.

Like us on Facebook or Instagram (For Career tips and Job vacancies): www.facebook.com/search.personnel / https://www.instagram.com/search.personnel

Join us on Linkedin: www.linkedin.com/company/search-personnel-pte-ltd

***We do not charge our candidates any referral fee nor bind them with any contract.***

Jane Chua

Associate Consulting Director (APAC)

License no: 13C6684

EA Personnel: R2197224

Thank you for your interest in this position. Our shortlisting period is 3 working days. Only shortlisted candidates will be contacted for further consideration.

If you do not receive communication from us within this timeframe, it's likely that your application has not been shortlisted by our client. In such cases, we recommend that you continue your job search to maximize your opportunities. We wish you all the best and should we have any suitable roles that match your experiences/ qualifications/ preferences, we will reach out to you.

Interested applicants are invited to apply directly at the NUS Career Portal

Your application will be processed only if you apply via NUS Career Portal

We regret that only shortlisted candidates will be notified.

Job Description

The Faculty of Arts and Social Sciences (FASS) at the National University of Singapore (NUS), invites applications for the position of Research Assistant/Associate. The successful applicant is expected to commence duties at NUS in January 2024, or as soon as possible thereafter.

This position is connected to a research project titled, “Relocation, Social Networks and Housing Aspirations in Ageing Public Housing”. The research focuses on homeowners’ decision making towards housing relocation. The research team will primarily use ethnographic and interview methods in the research, combining these with a small-scale survey, GPS tracking and GIS visualisations for analyses.

The project team consists of Principal Investigator (PI) Professor Elaine Ho (Department of Geography), Co-PI Associate Professor Vincent Chua (Department of Sociology and Anthropology) and Collaborator A/P Feng Chen-Chieh (Department of Geography).

Scope and responsibilities

The RA will provide administrative support to the Principal Investigator for large grant management and liaise with the project team members or external parties on such matters. There will be opportunities to be involved in empirical research and/or data analyses that are central to the project.

Qualifications

Applicants are expected to hold at least a Second Class Honours (Upper Division) or an equivalent honours degree, or a Master’s degree in the Social Sciences.

Competencies

• Willingness to learn about and work with researchers using mixed methods; prior experience of working with mixed methods will be an advantage
• Excellent writing and strong communication skills in English, including an ability to present research in both academic and non-academic venues
• Curiosity and passion to explore new concepts, methods and technologies, and capable of identifying and quickly learning the most suitable tools for the research on the go
• A good team player and the ability to multitask effectively
• Excellent organization and interpersonal skills
• Basic computer knowledge and core Microsoft Office skills
• Prior experience in large grant management will be an advantage
• Skills in using qualitative analysis software will be an advantage
• Skills in one or more of the following languages for carrying out research interviews is required if the participant does not use English: Mandarin and/or Chinese dialects used in Singapore (e.g. Hokkien, Cantonese, Teochew or Hainanese); Malay or Tamil.

Application

Informal enquiries may be made to Professor Elaine Ho ([email protected]). Please include a covering letter, full CV and 3 letters of recommendation in your application.

This is a 6 months contract which can be extended according to performance.

Shortlisted applicants may be called for interview, either in person or by Zoom, as appropriate.

Application deadline: 2 weeks from the time of advertisement.

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

• Company Benefits & Incentives
• Career Progression Opportunities
• Attractive Salary Package
• Working Location: Island wide - Arrange Close to Your Home
• Working days: 5 days

Job Requirements:

• Diploma/ Fundamental Certificate in Early Childhood Care and Education (DECCE / FECCE) OR;
• Relevant Experience

Job Scope:

• Ensure the safety of children at all times
• Responsible for planning and implementing programs for young children
• Engage children with activities to enhance their learning experience
• Observe, assess and document children's performance, behavior, social development, and physical health

Tan Meng Liang Reg No: R23115923

The Supreme HR Advisory Pte Ltd EA No: 14C7279

At NTUC First Campus, we believe you should harness them all to be the best you can be. This is why we respect you and your needs so you can excel at work, while we provide you with the opportunities to develop and grow your potential. Most importantly, we keep you excited to work in an organisation that is constantly innovating.

You will nurture children through developmentally appropriate, integrated, and authentic learning experiences which caters to a diverse classroom with varied interests, learning needs and styles.

You are required to facilitate learning experiences to help children acquire important life skills and cultivate a positive disposition that will prepare them to be life-long learners. It is also important to create learning activities and classroom environments and that are safe, purposeful, and engaging for children to learn in meaningful contexts.

You will establish a strong home school partnership with parents to foster children's holistic development through home-based learning activities and resources and to provide quality care and education in the best interest of the children to assure parents a peace of mind.

You will engage and partner various community partners to extend children’s learning beyond the classroom. There will be opportunities to participate in trainings, workshops, E learning or reflection as part of your continuous professional development journey.

Working alongside with a dynamic team, you will establish a conducive culture and achieve SPARK accreditation.

Requirements:

• Minimum with a Diploma or Certificate in Early Childhood Care & Education - Teaching (DECCE-T or CECCCE), Diploma in Child Psychology & Early Education
• GCE 'O' Level credit in English with a minimum of C6 grading
• Good communication and interpersonal skills
• IT savvy
• A team player with passion in equipping and inspiring young lives

Hi! We’re looking for an Assistant Teacher for a Private Kindergarten who loves working with kids and is excited to be part of an awesome teaching team!

The vibe:

• Creativity is valued and teachers are encouraged to bring their unique ideas to the classroom to make everyday exciting and engaging for the children.
• The management team is incredibly supportive, providing the team with the resources and guidance needed to thrive.
• They follow a play-based approach, helping children explore, discover, and grow through hands-on experiences.
• With smaller class sizes, meaningful connections are built with each child, nurturing their development in a personalized way.
• They celebrate diversity and create an inclusive environment where every child feels valued and loved.

What you’ll do:

• Assist in creating a warm and welcoming classroom where every child feels safe and excited to learn.
• Support the Lead Teacher in implementing lesson plans and activities that promote language development and social skills.
• Observe and engage with children during activities, providing encouragement and guidance as needed.
• Help maintain a clean and organized classroom environment that promotes exploration and discovery.
• Communicate with parents and guardians about their child’s progress and experiences in a friendly and open manner.

About you:

• You possess minimally a Fundamentals Certificate in Early Childhood Care and Education.
• You’re enthusiastic about working with young children and love making learning enjoyable.
• You’re patient, nurturing, and bring a positive attitude to the classroom.
• You communicate well with kids and parents, building strong relationships.
• You’re ready to contribute to a supportive team environment and help every child thrive.

If this sounds like you, we’d love for you to apply!

*Only candidates selected for shortlisting will be contacted.

Melody Grace Navarro | EA Licence No.: R1764275

Talents Connect | EA Reg. Number: 22C1201

Position: English language teacher [L2]

Salary: Up to $4000

Job Description

• Plan, supervise and implement the programme for the class in accordance with centre’s policies and framework.

• Complete progress reports on children for each semester and prepare a developmental portfolio for each child.

• Set up and create a stimulating and engaging pleasant learning environment that promotes self-directed learning.

• Responsible for all aspects of classroom management and carry out routine care duties to ensure safety and hygiene of the children.

• Work closely with the other teaching staff in the class in carrying out the duties.

• Build and maintain close partnership with parents.

Requirements

• Minimum Diploma in Early Childhood Care and Education

• Certified by ECDA at L2 category.

✅The Supreme HR Advisory Pte Ltd EA No: 14c7279

✅SAMUEL SIAW Reg No: R24124745

Join the Team at Matt's Education!

About Us

Founded in 2011, Matt’s Education is a vibrant enrichment centre located in the heart of the West, specializing in engaging English, Maths, and Science classes. We believe that childhood should be filled with joy while students pursue academic excellence. Our unique approach has earned us features in prominent publications like The Straits Times, CNA, and Lianhe Zaobao. With two outlets in Jurong West and Clementi, we also partner with MOE schools to deliver public speaking training and exciting English-related projects throughout the year. Discover more about our innovative approach at www.mattseducation.com.

About the Role

Are you passionate about shaping young minds? Ready to embark on a rewarding career in private education? Join our supportive team at Matt’s Education, where you’ll receive comprehensive mentorship to help you thrive as an educator.

We are on the lookout for a dynamic and dedicated individual to teach Science and Mathematics at both primary and secondary levels. In this full-time role, you’ll not only lead engaging classes but also collaborate on curriculum and program development, making a meaningful impact on our students' academic journeys. Recent graduates eager to start their careers in education are warmly encouraged to apply!

Note: This position is open only to Singapore citizens and permanent residents.

Key Responsibilities

Conduct group tuition classes in Maths and Science for primary and secondary students

Collaborate closely with the founders to innovate and develop our curriculum

Partner with the team to design and implement enriching programs in local schools

Qualifications

A minimum of a bachelor’s degree

Strong command of the English language

Excellent interpersonal and communication skills

Comfort and enthusiasm for teaching in a classroom setting

Availability to work 4 weekdays and 1 weekend on a permanent basis

Part time positions available as well

Proficiency in Microsoft Office

What We Offer

A competitive remuneration package tailored to your experience and qualifications

A warm, family-like environment that fosters personal and professional growth, giving you the freedom to bring your ideas to life

The chance to be part of a respected educational institution that helps students rediscover their love for learning

Join us in making a difference in the lives of our students! If you’re ready to inspire and empower the next generation, we’d love to hear from you.

Our Client:

• Reputable Preschools
• Multiple Locations
• 5 Days, Monday to Friday
• Up to $4500 + AWS + Performance Bonuses

Responsibilities:

• Engage children meaningfully in accordance with the curriculum.
• Responsible for all aspects of classroom management.
• Carry out routine care duties and ensure safety of the children.
• Build positive relationships with the parents.

Requirements:

• Higher Certificate in Infant Care (HCIC) / Advanced Certificate in Early Years (ACEY) / Diploma Certificate.

For interested applicants, please click “Quick Apply”

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

By submitting your personal data and/or resume, you will be deemed to have agreed and consented to us collecting, using, retaining, and disclosing your personal information to prospective employers for their consideration.

Quay Choon Lan Joanne (Guo Chunlan) | EA Reg No: R24121479
JTE Recruit Pte Ltd | EA Lic No: 14C7215

Our Client:

• Reputable Preschools
• Multiple Locations
• 5 Days, Monday to Friday
• Up to $4500 + AWS + Performance Bonuses

Responsibilities:

• Engage children meaningfully in accordance with the curriculum.
• Responsible for all aspects of classroom management.
• Carry out routine care duties and ensure safety of the children.
• Build positive relationships with the parents.

Requirements:

• Diploma in Early Childhood Care & Education.

For interested applicants, please click “Quick Apply”

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

By submitting your personal data and/or resume, you will be deemed to have agreed and consented to us collecting, using, retaining, and disclosing your personal information to prospective employers for their consideration.

Quay Choon Lan Joanne (Guo Chunlan) | EA Reg No: R24121479
JTE Recruit Pte Ltd | EA Lic No: 14C7215

Our Client:

• Reputable Preschool
• 5 Days, Monday to Friday
• Location: MacPherson
• Up to $4300 per month + AWS + Performance Bonus

Responsibilities:

• Implement the school’s curriculum and adapt it to meet the needs of individual children.
• Responsible for all aspects of classroom management.
• Document children’s learning progress and developmental milestones.
• Carry out routine care duties and ensure safety of the children.
• Build positive relationships with the parents, providing regular updates on their child’s progress.

Requirements:

• Diploma in Early Childhood Care & Education.
• Certified by ECDA at L2 Category.
• Minimum 1 year of preschool teaching experience.

For interested applicants, please click “Quick Apply”

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

By submitting your personal data and/or resume, you will be deemed to have agreed and consented to us collecting, using, retaining, and disclosing your personal information to prospective employers for their consideration.

Quay Choon Lan Joanne (Guo Chunlan) | EA Reg No: R24121479
JTE Recruit Pte Ltd | EA Lic No: 14C7215

• Working days: Monday - Friday
• Working Hours:
  School Holidays : 7am-2pm & 12pm to 7pm ( 2 shift)
  Non School Holiday: 12pm-7pm
• Salary: $1500 - $1700
• Location: Ubi Ave 1 (Ubi)

Responsibilities

• Guide student on their school homework and assignments
• Conduct daily student care and school holiday programs
• Monitor and record the student’s progress and ensure that learning goals are met
• Develop and implement new lesson plans and other creative activities
• Create a fun and interactive learning environment
• Communicate with parents on their child’s learning progress
• Provide administrative support for the centre’s operations and events

Requirements:

• Minimum O levels

If you are interested to apply, kindly WhatsApp me your updated resume in DOC file and allow our Consultant to match you with our Clients.

Whatsapp: +65 8525 2419

Email: [email protected]

Tan Man Ee Reg No: R22108289

The Supreme Hr Advisory Pte Ltd EA No: 14C7279

Interested applicants are invited to apply directly at the NUS Career Portal

Your application will be processed only if you apply via NUS Career Portal

We regret that only shortlisted candidates will be notified.

Job Description

The Centre for Computational Social Science and Humanities (CSSH) is seeking a Research Associate to join our collaborative team and advance computational research in the social sciences and humanities.

Position Overview

As Research Associate, you will design and implement high-quality, sustainable software to drive research in computational social science and humanities. You will collaborate with CSSH management, faculty and external partners to translate research priorities into software solutions, including data analysis, model implementation, and tool development. Your expertise in computational methods and machine learning workflows will be crucial in advising scholars and contributing to research outputs. This full-time position is based in Singapore.

Key Responsibilities

• Develop, test, and maintain research software using best practices in software engineering
• Implement and optimize machine learning workflows for social science and humanities research
• Manage multiple projects and priorities effectively
• Contribute to research articles and presentations
• Help train graduate students and run master classes
• Promote CSSH’s work within the broader computational social science and digital humanities communities

The successful candidate will play a crucial role in advancing computational research in the social sciences and humanities at the National University of Singapore. We seek an individual who can bridge technical expertise with domain-specific knowledge related to the key themes of the centre to drive innovative research outcomes. The themes are: 1) computational models of social behaviour; 2) digital platforms and ecosystems; 3) health and social care; 4) social media, networks, and interactions; 5) texts, heritage and culture.

Only shortlisted candidates will be notified.

Job Requirements

• Bachelor's or Master's degree in Computer Science, Data Science, Computational Social Science, Digital Humanities, or a related field
• Strong programming skills and experience, particularly in Python, with expertise in machine learning libraries and frameworks
• Demonstrated experience in implementing and optimizing machine learning workflows
• Experience with data gathering, processing, and analysis from diverse sources and formats
• Strong project management skills and ability to handle multiple priorities
• Excellent communication skills to collaborate with researchers across disciplines

Preferred

• Experience in computational social science or digital humanities research
• Experience contributing to open-source projects

Our Client:

• Reputable Preschool
• Working Location: Admiralty
• 5 Days, Monday to Friday
• Up to $4500 + AWS + Performance Bonuses

Responsibilities:

• Plan and deliver lessons in accordance with the school curriculum.
• Responsible for all aspects of classroom management.
• Engage children with activities to enhance their learning experience.
• Carry out routine care duties and ensure safety of the children.
• Build positive relationships with the parents.

Requirements:

• Diploma in Early Childhood Care & Education.

For interested applicants, please click “Quick Apply”

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

By submitting your personal data and/or resume, you will be deemed to have agreed and consented to us collecting, using, retaining, and disclosing your personal information to prospective employers for their consideration.

Quay Choon Lan Joanne (Guo Chunlan) | EA Reg No: R24121479
JTE Recruit Pte Ltd | EA Lic No: 14C7215

Trainee / Junior Tea Barista / Senior Tea Barista

1) Trainee
Salary : $2000

2) Tea Barista - 1-2 Years Experience [Relevant to F&B / Retail ]
Salary : $2500 (Probation) > After Probation $2700 [ 3 Months Probation]

3) Senior Tea Barista - 1-2 Years [ Relevant Experience to F&B / with Managerial Level exp ]
Salary : $2800 (Probation) > After Probation $3000 [ 3 Months Probation ]

Working Days : 5 Days [ 44 Hours Rostered Schedule ]

Working Location : Island Wide [ Outlet to be allocated upon interview ]
Current store at Orchard, Plaza Sing, Raffles City

Training Centre at Tai Seng - 3 Weeks Training with Test for all roles

Job Responsibilities:

• Greeting customers in a friendly manner and manage customers queries in a timely and efficient manner
• Prepare beverage according to standardized recipes and customer preferences
• Utilize proper brewing techniques and equipment to ensure the quality and consistency of each beverage served
• Provide friendly and attentive customer service, greet customers warmly and assist them in selecting their beverage based on their preferences and dietary restrictions
• Prepare drinks by following the prescribed recipes and preparation techniques
• Accurately process customer orders, handle cash and electronic payments
• Act in compliance to operational policies and procedures
• Maintain cleanliness and sanitation standards in the tea barista area, including brewing equipment, serving utensils, and workstations to meet the requirements of Health & Safety and Hygiene Protocol
• Ensure sufficient stock at all time by monitoring tea inventory levels, reporting discrepancies, restocking supplies handling stock delivery upon arrival as needed and communicating inventory needs to management

Job Requirement:

• Relevant Experience

Tan Jia Jun | REG No: R23112681

The Supreme HR Advisory Pte Ltd| EA No: 14C7279

Fitness Trainer

5.5 days | 11am – 8pm (1 to 2 hours break) | Willing to work on weekend

Basic Salary : From $1,800 + Commission | Gross up to 3000 +

Address : Suntec or Tai Seng

Requirement

• Preferred qualified Personal Trainer or possess extensive Muay Thai experience.
• Training provided

Responsibilities

• Deliver engaging, high-energy group fitness classes that challenge and inspire participants of all levels
• Provide personalized attention and guidance to members, ensuring they perform exercises safely and effectively
• Stay up-to-date with the latest fitness trends, techniques, and industry best practices
• Motivate and encourage members to push their limits and reach new milestones
• Maintain a positive, supportive, and inclusive environment in the studio
• Collaborate with the wellness team to develop innovative programming and events
• Actively participate in the growth and development of the fitness community

Tan Jia Jun | REG No: R23112681
The Supreme HR Advisory Pte Ltd | EA No: 14C7279

Fitness Trainer

5.5 days | 11am – 8pm (1 to 2 hours break) | Willing to work on weekend

Basic Salary : From $1,800 + Commission | Gross up to 3000 +

Address : Suntec or Tai Seng

Requirement

• Preferred qualified Personal Trainer or possess extensive Muay Thai experience.
• Training provided

Responsibilities

• Deliver engaging, high-energy group fitness classes that challenge and inspire participants of all levels
• Provide personalized attention and guidance to members, ensuring they perform exercises safely and effectively
• Stay up-to-date with the latest fitness trends, techniques, and industry best practices
• Motivate and encourage members to push their limits and reach new milestones
• Maintain a positive, supportive, and inclusive environment in the studio
• Collaborate with the wellness team to develop innovative programming and events
• Actively participate in the growth and development of the fitness community

Tan Jia Jun | REG No: R23112681
The Supreme HR Advisory Pte Ltd | EA No: 14C7279

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

Our client is global leader in international education services. Due to business needs, they are now recruiting a Regional HR Operations Assistant Manager to be part of their HR Team for ongoing transformation projects. They are located in the Central - easily accessible.

Duties of Regional HR Operations Assistant Manager:

• Lead annual performance, remuneration, and bonus reviews, collaborating with Regional teams and global headquarters.
• Oversee payroll preparation, ensuring accurate, timely employee payments in coordination with Finance.
• Manage employee benefits programs, including insurance, pension plans, and leave entitlements, ensuring up-to-date documentation.
• Ensure accurate, up-to-date employee data for Singapore and SEA countries, conducting regular checks.
• Identify opportunities to digitize HR processes, enhancing efficiency and employee experience.
• Manage visa and work permit processes, ensuring compliance with local regulations and government agency requirements.
• Maintain updated HR policies, procedures, and employee handbooks, providing guidance on local employment laws.
• Handle employee grievances, mediate disputes, and foster compliance with employment regulations.
• Support Regional team in onboarding, system updates, and preparing materials for meetings.
• Collaborate on health and safety initiatives, and lead ad-hoc projects as assigned.

Requirements:

• Degree in related field
• 6 years of relevent experience

Interested candidates who wish to apply for the advertised position, please click APPLY NOW or email an updated copy of your resume/cv.

We regret that only shortlisted candidate will be notified

• Email Address: [email protected]
• EA License No: 19C9682
• EA Personnel No: R2199158
• EA Personnel Name: Soo Wei De

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