Job Description:

• Serve as the point of contact for clients and communicate with them by phone and email to respond to questions and requests. Answer client questions about property facilities/services.
• Generating reports, preparing proposals, coordinating with clients & suppliers.
• Prepare sales-related documents throughout the sales process (e.g., proposals, contracts, banquet event orders, CVGR letters).
• Gather materials and assemble information packages (e.g. brochures, promotional materials, sales demo kit, welcome kit, souvenir etc.).
• Assist the sales team by managing schedules, filing important documents and communicating relevant information. Arrange and co-ordinate meetings, events and any appointments.
• Record, transcribe and distribute minutes of meetings.
• Meets with clients in the absence of the Director of Sales or Sales Managers; perform hotel site tours with potential clients.
• Print Daily Sales reports for each sales manager and submit to the Director of Sales.
• Print Sales manager productivity reports for each sales manager and submit to the Director of Sales.
• Ensures all documents produced by the Sales Department (i.e. contracts, rooming lists, proposals) are completed accurately and on time.
• Respond to complaints from customers and give after-sales support when requested.
• Ensure the adequacy of sales-related equipment or materials are available at all times.
• Other duties as assigned by the Director or the management.

Job Requirements

• Min GCE 'O' Levels
• Candidate with relevant experience working in a hotel, clerical or sales will be added an advantage.
• Entry level candidates are welcome to apply, training will be provided
• Good computer skills and excellent customer service skills.
• Friendly, customer centric and able to work in a team environment.
• Proficient in the use of Microsoft Office (Word, Excel, PowerPoint)
• Short notice or immediate available will be added an advantage.

Our Client is in the Environmental Industry. Due to their current expansion plan, they are looking for an Assistant General Manager to join their team, in hopes of developing the current high performing team. They are located in the West.

Responsibility

• Collaborate with management to resolve operational issues efficiently.
• Review and approve company processes and policies to ensure compliance and effectiveness.
• Analyze organizational structure and recommend improvements to the Managing Director to enhance efficiency.
• Lead initiatives for change, innovation, and continuous improvement to support business opportunities.
• Implement and oversee yield management strategies to ensure competitiveness and profitability across all divisions.
• Ensure proposals meet company standards, including accurate costing.
• Manage headcount and budgets to boost productivity and ensure effective succession planning.
• Provide leadership by communicating and reinforcing the company’s strategic goals to stakeholders.
• Conduct quarterly departmental reviews to monitor and achieve targets.
• Work closely with Business Development to develop a strong sales strategy aligned with company objectives.
• Build and maintain relationships with key stakeholders by participating in relevant meetings and events.
• Any ad-hoc duty given

Requirement

• Min Degree in any field
• Min 4 years of experience in Start up environment
• Experience with Decision making and managerial

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.

Recruitpedia Pte. Ltd.

EA License No. 19C9682

EA Reg. No. R21103987 (Yan Yongmao)

The Services required are set out as follows:

· Provide service in photocopying, printing, collating, binding and making of booklets;

· Ensure the general cleanliness of the Printing Room and the Printing Store Room;

· Operate and maintain office equipment, such as photocopiers, duplicators, and collators, in the Level 1 and Level 2 printing rooms;

· Provide administrative support to the General Office, including tasks like counter duties, answering phone calls, filing, and assisting with school events.

The Travel Operations Manager/ Assistant Manager is a key role combining operational excellence with client-facing support. You will lead a team of operations specialists to ensure efficient and effective delivery of all travel-related services for our clients. This includes managing travel bookings, collaborating with the sales team on quotations, optimizing travel costs, and providing exceptional support to both clients and internal stakeholders. Some travel may be required to meet with clients or vendors.

Job Description

- Team Leadership:

• Lead, mentor, and develop a team of travel operations specialists.
• Delegate tasks, monitor performance, and provide constructive feedback.
• Foster a collaborative and supportive team environment.

- Travel Management:

• Oversee all aspects of travel arrangements, including flights, accommodation, ground transportation, and visa processing.
• Develop and implement travel policies and procedures to ensure efficiency and cost­ effectiveness.
• Negotiate with travel vendors to secure competitive rates and favorable terms.
• Utilize travel management tools and technology to streamline processes and track expenses.

- Client Management:

• Serve as a point of contact for clients, understanding their travel needs and preferences.
• Build and maintain strong relationships with clients, ensuring their satisfaction.
• Proactively address client inquiries and resolve any travel-related issues.

- Compliance & Risk Management:

• Ensure compliance with all relevant travel regulations, visa requirements, and company policies.
• Implement risk management strategies to mitigate potential travel-related risks.
• Stay informed about travel advisories and updates to ensure traveler safety and well-being.
• Excellent communication, interpersonal, and client management skills.
• Strong analytical, problem-solving, and organizational abilities.

Requirements:

• Bachelor's Degree or Diploma in Business Administration, Hospitality Management, or related field
• Minimum 3 years of relevant experience
• Experience in customer service management and/or travel industry operations is an advantage
• Strong leadership abilities with a track record of effectively managing teams
• Excellent communication, negotiation, and interpersonal skills
• Ability to thrive in a fast-paced, high-pressure environment and prioritize tasks accordingly
• Analytical mindset with proficiency in data analysis and reporting
• Familiarity with travel industry trends, destinations, and suppliers
• Problem-solving aptitude and a customer-centric approach to service delivery

KPMG in Singapore is part of a global organization of independent professional services firms providing Audit, Tax and Advisory services. We operate in 143 countries and territories with more than 273,000 partners and employees working in member firms around the world. Each KPMG firm is a legally distinct and separate entity and describes itself as such. KPMG International Limited is a private English company limited by guarantee. KPMG International Limited and its related entities do not provide services to clients.

Job Description

About the job

Are you excited about the latest international tax developments, keen to learn about BEPS 2.0, driven and possess a high growth mindset? If yes, we want you!

Our BEPS Pillar 2 core team is looking for Assistant Managers to join us in this strategic focus area.

You will be:

• providing technical advice to our key priority clients and driving their Pillar 2 implementation process
• leading workshops and seminars to provide Pillar 2 technical updates and training
• engaging with various consultation groups to provide Pillar 2 industry feedback and insights to tax authorities
• working on other international tax projects (non-Pillar 2) in close collaboration with our overseas offices

The ideal candidate should possess:

• at least 4 years of experience in the tax compliance/advisory
• great communication skills and the drive to provide excellent service to clients
• a keen interest in international tax trends, tax policy, and developments in the tax landscape
• willingness to invest time to read OECD publications

Only shortlisted candidates will be contacted by KPMG Talent Acquisition team, personal data collected will be used for recruitment purposes only.

At KPMG in Singapore we are committed to creating a diverse and inclusive workplace. We believe that diversity of thought, background and experience strengthens relationships and delivers meaningful benefits to our people, our clients and communities. As an equal opportunity employer, all qualified applicants will receive consideration for employment regardless of age, race, gender identity or expression, colour, marital status, religion, sexual orientation, disability, or other non-merit factors. We celebrate the different talents that our people bring and support every staff member in their journey to achieve personal and professional growth. One of the ways we do this is through Take Charge: Flexi-work, our flexible working framework which enables agile and innovative teams to help deliver our business goals.

Highlights

• AWS + Variable bonus
• 5 days work week, Mondays to Fridays

Responsibilities

• Reporting to the Project Director, he/she is responsible for the successful completion of a project, specialising only in lighting deliverables.
• Ensure all paperwork and material submissions are verified, well presented and submitted timely.
• Strong co-ordination and good people management skills, being able to communicate effectively verbally and written, with all relevant stake holders such as consultants, architects, designers, electrical contractors, end-users, relevant authorities and suppliers.
• Overall management of the project with respect to contractual obligations, budgets, and internal resources to ensure project is successfully completed.
• Lead project team on the implementation and execution of works necessary to complete the project.
• Enjoy working in a non-conforming environment where new challenges might suffice and have the ability to problem solve in a timely and cost-effective manner.
• Provide timely updates to management on project status.
• Attend site meetings for all projects including concerns during project DLP.

Requirements

• Degree or Diploma in Electrical, Electronic, or equivalent.
• Minimum 4 years’ relevant work experience in lighting/electrical engineering.
• Experience in lighting industry is advantageous.
• Knowledge in Autocad, Dialux, Relux software is advantageous.

Interested and suitable candidate kindly click quick apply. Resume will be routed to Jasmine Chin Yan Min. We regret that only suitable candidate will be notified.

GEMS Recruit/EA License: 23C1459

EA Personnel No: R1442379 (Jasmine Chin Yan Min)

Job Description:

• To conduct business development of Facilities Management (FM) business and relationships with potential customers and service partners, and to identify and develop new and existing business opportunities
• Tender Management – to conduct the entire process of tender administrations and tender submission management
• To collaborate with functional departments to generate write-up for effective and competitive FM tender and business proposals
• To generate FM business processes, SOPs and marketing plans into presentable write-up including tender proposals and submissions
• To conduct corporate presentation to potential clients, guests and for tender interviews
• To manage the transition of secured projects including deployment to site operations, mobilization of manpower, co-ordinating transition activities between clients and Company, reporting progress, procurement of suppliers and services, generate and establish SOPs and processes, recommending and implementing solutions, and contract management
• To prepare reports and minutes for Single Business Unit/Management Meeting
• To enhance relationship with service partners and suppliers for the delivery of FM projects and businesses
• To mobilise new projects within timeline and budget, and to meet SLA and KPI established in the contract document
• To Prepare mid-year and annual review of Business Development Unit and assist in preparation of 3-year Business Development Plan
• Any other scope and roles as assigned by the immediate Superior.

Job Requirements:

• Minimum Diploma in Facilities Management, Estate Management, Building or relevant related discipline from a recognized tertiary institute
• At least 5 years of relevant experiences in facilities management and business development portfolios
• Able to work independently with minimum supervision
• Able to conduct market outreach and marketing
• Proactive and independent
• Dynamic and multi-tasking capabilities

We regret that only shortlisted candidates will be notified.

Thank you for applying.

Full Time Marketing Graphic Designer/Admin Assistant

Local/PR ONLY

Salary: $2800 ~ $3200

Job Description and Main Responsibilities:

• Photo and video taking for marketing and promotional purposes
• Basic skills in graphic design, web design & web development
• Technical expertise in Photoshop, Illustrator & Microsoft office (Word, Excel & PowerPoint)
• Create assets for online and offline marketing, including website, social media channels, YouTube, EDM, digital ads, merchandise, name cards & posters
• Timely deliveries of artwork and tasks assigned
• Performing admin and basic accounting duties like filing, data entry, updating documents & organising invoices.
• Assist in general office matters as and when required
• Working hours: 9Hrs/5days (Monday to Friday)

Requirements:

• Diploma or above in any field
• Excellent and positive service attitude
• Preferably have admin experience and basic accounts knowledge.
• Duration: Permanent
• Full time only

Benefits:

• 2 Off days per week
• 7 days Annual Leave
• Medical Subsidies
• Variable Allowances
• Good career progression plans

Hydroleap is a Singapore-grown water treatment startup backed by governmental and private VCs. Seek to displace chemical pretreatment processes with proprietary, IoT-enabled electrical treatment technology. Hydroleap's deep technical expertise allows us to design modular electrical treatment processes and deliver end-to-end wastewater treatment systems, offering solutions that are automated, robust, cost-effective, and environmentally friendly.

Backed by reputable governmental and private venture capitalists (VCs) such as Wavemaker, Enterprise Singapore (Seeds Capital & SGInnovate), 500 Startups, Sparklabs Cultiv8, Entrepreneur First and a few more.

Your Key Responsibilities

The role of the Research Engineer is consisting of carrying out research programs while observing the objectives defined by the business division. To support R&D activities in wastewater treatment, and environmental control system.

Your Key Responsibilities

● Engaging R&D and product development activities to enable new product introduction and improvements.

● Design product and system prototypes to receive feedback and identify areas of improvement through R&D studies.

● Assisting the operation team to identify and troubleshoot the technical problems associated with the products.

● Involving mainly in R&D department and working closely with the rest of the technical, business, production, and operation teams for designing, manufacturing and implementation of innovative water and wastewater solutions.

● Evaluate alternatives, resolve technical issues and interface with other disciplines.

● Ensure technical accuracy, standard engineering practices and inclusion of appropriate documentation on various report and design project.

● Ensure good housekeeping in the laboratory and pilot plant and be responsible for the safety and environment compliance of the new processes.

● Perform other duties as needed.

Your Capabilities and Credentials

● Skilled in report and technical writing, organization, analytical and verbal communication.

● Demonstrated proficiency in problem solving and risk management.

● Experience in decision making, identifying, assessing, evaluating, and solving complex problems.

Education and Experience

● B.S Degree in Chemical or Environmental Engineering required.

● Minimum 1 year of work experience/internship experience in water treatment-based industry.

● Strong communication, skilled in report and technical writing, organization, analytical and interpersonal skills.

● Self-starter with ability work together with team members.

● Background will ideally include project work and process knowledge of water and wastewater treatment plant.

● Have enthusiasm for R&D work.

We thank all applicants for their interest, however, only those candidates selected for interviews will be contacted.

We are seeking an experienced Research Fellow specialized in intellectual property (IP) development and patents within the wastewater treatment sector. This role is integral to our mission of innovating and commercializing eco-friendly, cost-effective wastewater solutions using cutting-edge electrochemistry technology.

What you will be doing

• Innovation and Research: Lead exploratory research projects to innovate and enhance our technology, focusing on areas ripe for intellectual property creation.
• Intellectual Property Management: Develop strategies for IP protection, including drafting, filing, and prosecuting patents, and managing the company's IP portfolio.
• Collaboration and Leadership: Work closely with R&D and product development teams to identify patentable inventions, ensure IP protection strategies align with product development, and advise on potential IP challenges.
• Technology Analysis: Conduct comprehensive analysis of existing technologies and market trends to identify opportunities for IP development and potential patent infringements to avoid.
• Legal Coordination: Liaise with legal advisors and patent offices to navigate the patent landscape, ensuring compliance with international IP laws and regulations.
• Publication and Advocacy: Publish research findings in reputable scientific journals and represent Hydroleap at conferences, contributing to the company’s reputation as a leader in the field.
• Educational Outreach: Mentor junior researchers and engineers on IP matters, fostering an environment of continuous learning and innovation.

Your Capabilities and Credentials

• MSc or PhD in Chemical or Environmental engineering
• Demonstrated experience in research with a significant track record of intellectual property development, including patent drafting and filing.
• Familiar and interested in water/wastewater treatment processes
• Familiar with water treatment processes and lab equipments
• Familiar and interested in scientific paper reading, research and lab work
• Strong analytical, strategic thinking, and communication skills, with proficiency in research methodologies and patent databases.
• Commitment to the task assigned, self initiative and problem solving skill

Job description

The National University Health System Virtual Care Centre (NUHS VCC) is an initiative where trained personnel provides tele-triage to patients and/or their caregivers. VCC will either provide advice and resolve the clinical question or escalate to the VCC clinician where appropriate. To facilitate the development and evaluation of VCC at NUHS a research team has been established. This team is now looking for a research assistant/associate with experience of conducting research projects to join the group. The successful candidate will support research fellow on the evaluation of VCC.

Primary Responsibilities

1. Assist in designing and implementing research-related tasks.
2. Assist in recruiting and coordinating research participants
3. Help with data entry, cleaning, and management
4. Assist in collecting and analysing data from various sources
5. Conduct literature reviews and summarize findings
6. Assist in developing research papers, reports, and presentations
7. Maintain accurate and organized records of research data and findings

Secondary Duties

1. Attend VCC-related meetings
2. Collaborate with the research team to achieve project goals
3. Assume additional responsibilities as assigned by the reporting officer/HOD.

Job Requirements

1. Master and/or Bachelor's degree in a relevant field (e.g. social sciences, psychology, biology)
2. Minimum 2-4 years of experience in hospital research is a plus.
3. Ability to work independently, and communicate effectively in English, both verbally and written.
4. Experience of applying for ethical review would be an advantage
5. Ability to maintain confidentiality and adhere to ethical research standard.
6. Driven and motivated, with potential to achieve research excellence.
7. Ability to generate experimental results leading to high impact publications.
8. Multi-lingual preferable

If the role sounds interesting to you, please contact ‘[email protected]’ to understand more on the role. Please indicate the position that you are interested in the subject heading.

*Only Singapore Citizens and Singapore Permanent Residents may apply.

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

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 National University of Singapore invites applications for the position of Research Assistant / Engineer in the Department of Computer Science, School of Computing (SoC). SoC is strongly committed to research excellence in all its dimensions: Searching for fundamental results and insights, developing novel computational solutions to a wide range of applications, building large-scale experimental systems and improving the well-being of society. We seek to play an active role both internationally and locally in the core and emerging areas of Computer Science and Information Systems.

The Research Assistant will be responsible for working closely with the Principal Investigator and lab members on Safeguarding the Web Against Phishing and Prompt Injection Attacks. He/she should possess experience or interest in at least one of the following research areas:

• Algorithms & Theory
• Artificial Intelligence
• Programming Languages & Software Engineering
• Cyber Security

Qualifications

• Bachelors or Masters in Computer Science with a focus in AI/Machine Learning;
• Solid programming and application development skills with experience in PyTorch / TensorFlow or an equivalent deep learning framework.
• Possesses sufficient background in AI/Machine learning to read and understand methodologies in research papers

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

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 National University of Singapore invites applications for the position of Research Assistant / Engineer in the Department of Computer Science, School of Computing (SoC). SoC is strongly committed to research excellence in all its dimensions: Searching for fundamental results and insights, developing novel computational solutions to a wide range of applications, building large-scale experimental systems and improving the well-being of society. We seek to play an active role both internationally and locally in the core and emerging areas of Computer Science and Information Systems.

The Research Assistant will be responsible for working closely with the Principal Investigator and lab members on Safeguarding the Web Against Phishing and Prompt Injection Attacks. He/she should possess experience or interest in at least one of the following research areas:

• Algorithms & Theory
• Artificial Intelligence
• Programming Languages & Software Engineering
• Cyber Security

Qualifications

• Bachelors or Masters in Computer Science with a focus in AI/Machine Learning;
• Solid programming and application development skills with experience in PyTorch / TensorFlow or an equivalent deep learning framework.
• Possesses sufficient background in AI/Machine learning to read and understand methodologies in research papers

**Location**: Singapore

**Job Type**: Full-Time

**Job Summary**:

We are seeking a detail-oriented and efficient Administrative Assistant to help manage the daily operations of the office and provide administrative support. This role requires excellent communication, organizational, and time management skills to ensure the smooth running of the office and to support various departments.

**Key Responsibilities**:

1. **Office Operations Management**:

- Oversee the day-to-day office operations, including ordering office supplies and coordinating equipment maintenance.

- Handle incoming mail, phone calls, and emails, responding promptly and directing them to the appropriate departments or individuals.

- Greet visitors and prepare meeting rooms and facilities for scheduled meetings.

2. **Document Management and Processing**:

- Organize and maintain company records, ensuring accuracy and confidentiality.

- Assist in drafting, editing, and proofreading various documents, reports, and emails.

3. **Scheduling and Meeting Coordination**:

- Assist with scheduling internal and external meetings, preparing meeting rooms, and ensuring the proper functioning of meeting equipment.

- Manage calendars, appointments, and coordinate meetings for company executives and teams.

4. **Administrative Support**:

- Provide support for company administrative matters, including travel arrangements, reimbursement processes, and other office-related tasks.

- Assist in organizing company events and team-building activities to ensure smooth execution.

5. **Other Duties**:

- Complete other tasks assigned by supervisors and provide general administrative support to all departments.

**Job Requirements**:

- **Education**: Diploma or higher, preferably in Business Administration or a related field.

- **Experience**: 1-3 years of experience as an Administrative Assistant or in a related role is preferred.

- **Skills**:

- Strong organizational and multitasking skills.

- Proficiency in Microsoft Office (Word, Excel, PowerPoint, etc.).

- Excellent written and verbal communication skills.

- Ability to maintain a high level of confidentiality and professionalism.

**Preferred Qualifications**:

- Proficiency in multiple languages (e.g., English, Mandarin) is a plus.

- Experience in event planning or team coordination.

**Work Hours**: Monday to Friday, 9:00 AM - 6:00 PM (subject to company needs)

**Salary**: Negotiable, based on experience

We are looking for dedicated candidates to support our research projects in either a part-time or full-time capacity.

Key responsibilities:

• Data Visualization: Create and maintain charts to present research insights effectively.
• Data Processing: Clean, organize, and analyze data using appropriate tools.
• Research Support: Assist with various stages of ongoing projects.

Requirements:

• Proficiency in Microsoft Excel
• Minimum Qualification: Diploma.
• Availability: Able to begin immediately upon selection.

Desired Skills:

• Attention to detail and accuracy
• Strong communication skills, particularly for phone verifications
• Ability to work both independently and collaboratively

Interested candidates, please email in your resume stating your full personal particulars, work experience, expected salaries and relevant qualifications (only shortlisted candidates will be notified).

Our client is a Non Profit Organization (NGO). They are looking for an Assistant Head of Research Centre to assist their team for the next phase of their business. They are located in Central, easily accessible.

Responsibilities of Assistant Head of Research Centre:

• Guide junior team members in researching Singapore’s unmet needs and oversee value proposition presentations for donors and stakeholders.
• Summarize and present research insights clearly for non-research audiences.
• Initiate and manage research projects aligned with organization’s philanthropic goals.
• Collaborate with external researchers to address key unmet needs.
• Ensure research findings inform donor engagement and grant-making.
• Stay updated on sector trends and share knowledge with the team.

Requirements:

• Postgraduate qualification in research for Social Science related studies
• Min 6 to 8 years of working experience in similar industry is highly prefered
• Strong in research paper writing and presentation skills

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.

Recruitpedia Pte. Ltd.

EA License No. 19C9682

EA Reg. No. R22108850 (Chan Mun Mun)

Job Description & Requirements

Min. 2-3 years warehousing experience

Class 3 driving licence

Responsibilities

Pick & pack electronic component

Receiving, issuing, packing, bar-code labelling

Cycle count

Working Hours

5 days: Mon-Fri from 8.30am to 5.45pm with one hour lunch break

OT requires at time

Good Pay + Good allowance + Good Bonus

Interested candidates please send an updated Resume / CV in Ms Word format to WhatsApp’s your resume to 98332779 ( no Calls)

Consultant in-charge : Quah Li Lian (Lilian) ( Registration No: R1983286 )

Job Description:

Be part of an exciting FAB Team working on cutting-edge advanced packaging process technologies. Partner and work with various teams in IME, to be the lead in FAB inventory management, logistic planning, and its related operations to always enable smooth operations and develop packaging solutions and taking the solutions from concept to production.

This position is based in Singapore.

Responsibilities:

• Looking for a reliable, agile, resourceful, meticulous and professional individual.
• Lead in plan, sourcing and initiate - raise purchase requests accordingly to day-to-day materials / spare parts requirements to ensure stock adequacies, required to ensure smooth Fab operations.
• Follow through the orders from the start of purchase till delivery and to ensure that goods are delivered are on time (include coordination of shipments etc. with forwarders when required etc.)
• Provide good supports on logistics and inventory movements required to enable smooth FAB cleanroom operations.
• Excellent interpersonal skills and communication skills so to work seamlessly with various stakeholders to ensure inventory adequacy and logistics efficiencies.
• Self-starter with strong ability to work with own initiative under minimal supervision.
• Process strong sense of customer service mind-set and teamwork.
• Strong flexibility and ability to handle multiple requests from across teams.
• Good communication, analytical, problem-solving skills.
• Put-up good initiatives to move forward towards systematic inventory digitalization.
• Ability to work in a multi-task environment and perform other duties assigned by Department Managers.

Experience:

• Education: Diploma in engineering discipline. Preferably in procurement, supply chain logistic/ warehouse operation.
• At least 3 years of related semiconductor engineering experiences; with good wide contacts with semiconductor material suppliers, equipment vendors.
• Relevant experience in analytics or strategic reporting will be an advantage.

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

Be part of an exciting FAB Team working on cutting-edge advanced packaging process technologies. Partner and work with various teams in IME, to be the lead in FAB inventory management, logistic planning, and its related operations to always enable smooth operations and develop packaging solutions and taking the solutions from concept to production.

This position is based in Singapore.

Responsibilities:

• Looking for a reliable, agile, resourceful, meticulous and professional individual.
• Lead in plan, sourcing and initiate - raise purchase requests accordingly to day-to-day materials / spare parts requirements to ensure stock adequacies, required to ensure smooth Fab operations.
• Follow through the orders from the start of purchase till delivery and to ensure that goods are delivered are on time (include coordination of shipments etc. with forwarders when required etc.)
• Provide good supports on logistics and inventory movements required to enable smooth FAB cleanroom operations.
• Excellent interpersonal skills and communication skills so to work seamlessly with various stakeholders to ensure inventory adequacy and logistics efficiencies.
• Self-starter with strong ability to work with own initiative under minimal supervision.
• Process strong sense of customer service mind-set and teamwork.
• Strong flexibility and ability to handle multiple requests from across teams.
• Good communication, analytical, problem-solving skills.
• Put-up good initiatives to move forward towards systematic inventory digitalization.
• Ability to work in a multi-task environment and perform other duties assigned by Department Managers.

Experience:

• Education: Diploma in engineering discipline. Preferably in procurement, supply chain logistic/ warehouse operation.
• At least 3 years of related semiconductor engineering experiences; with good wide contacts with semiconductor material suppliers, equipment vendors.
• Relevant experience in analytics or strategic reporting will be an advantage.

NTI-NTU Corporate Laboratory is a collaboration between Nanofilm Technologies International Limited (“Nanofilm”, “NTI”), Nanyang Technological University (“NTU”) and supported by Singapore under RIE2025. The Laboratory’s objective is to propel Innovation and Technologies commercialisation through NTU’s innovation and NTI’s deep technology. NTI-NTU Corp Lab aligns with Singapore’s RIE2025 handbook – which emphasises the nation’s commitment to research and innovation, aiming to drive economic growth and address national challenges.

The Nanyang Technological University NTI-NTU Corporate Laboratory is looking for a highly motivated and experienced candidate to join us as Senior Research Fellow (SRF). The SRF will join in a cutting-edge interdisciplinary research project fund through the Industry-Alignment Funding scheme, aiming to developed novel coatings for biomedical implants.

The SRF will be responsible to design, develop, characterize and optimize the formulation of bioactive coatings for biomedical implants, as well as to manage the coordination of research between different stakeholders in order to achieve project KPIs.

Key Responsibilities:

• Conduct thorough literature review and generate periodic updates.
• Design, synthesize, characterize and optimize functional coating for biomedical implants, with particular emphasis on osteogenesis ability.
• Carry out assays and analysis to optimize and control functional performance (e.g. coating thickness, uniformity, assess active agents delivery effectiveness, degradation profile, mechanical strength etc).
• Carry out biochemical and biological assays to assess bioavailability and cytotoxicity of the developed products.
• Ensure compliance with health and safety regulations in all aspects of the research work.
• Develop and optimize protocols.
• Supervise junior research staff, undergraduate and graduate student projects.
• Manage logistical issues and laboratory inventory.
• Coordinate collaborative work within multidisciplinary team and external collaborators.
• Generate periodic progress report as required by funding agency.
• Disseminate research results in reputable peer-reviewed journals and/or international conference.

Job Requirements:

• PhD in Materials Science/Chemistry/Chemical Engineering or related fields.
• Experience in biomaterial, nanomaterials synthesis, functionalization, and characterization (e.g. TEM, XRD, DLS, FTIR, TGA, ICP, etc).
• Experience working with biopolymers, thin film coatings. Experience with osteogenesis relevant assays and techniques preferred.
• Experience in mammalian cell culture, tissue engineering, implants. Experience with animal work will be a bonus.
• A strong track record of research ability and demonstrated contribution to research (e.g., research publications, grant applications, patents).
• Good communication and writing skills.
• Excellent interpersonal skills, and ability to work in a diverse, international, and inter-disciplinary research environment.
• Ability to take initiative to improve processes and troubleshoot problems.
• Ability to work well with multiple competing priorities, manage projects and meet deadlines.
• A good team player and able to work independently with minimum supervision.

We regret that only shortlisted candidates will be notified.