• Position : Service Technician (Electrical Engineer-Desalination/Water treatment)
• Location : Jurong Island-Company transport provided at Choa Chu Kang/ Jurong East MRT station
• Working hours : Monday -Friday, 9.00am-6.00pm
• Salary (commensurate with experience): Up to $3200+ Site Allowance + 1 month completion bonus + 14 days annual leave + Medical reimbursement + 2 days Family Day
• Duration : 2 year contract - convertible or renewable
• Industry : Power Generation

Main Responsibilities:

• Carry out inspection and maintenance of electrical equipment in Desalination Plant
• Perform troubleshoot and implement solution for safety and maintenance work
• Supervision of contractors and perform administrative duties to ensure high quality of work and comply to safe work procedures

Requirements:

• Diploma in Chemical/ Environmental Engineering (or equivalent) with minimum 1-2 years of related experience in Utilities, Power, Petrochemical or Process Plant
• Candidate without experience or NITEC in Chemical/ Environmental Engineering (or equivalent) with minimum 2-3 years of related experience in Utilities, Power, Petrochemical or Process Plant are welcome to apply
• Willing to OT on weekend/ Public Holiday
• ALL WELCOME!!

Email to [email protected]

***We DO NOT charge our candidates any referral fee nor bind them with

any contract.***

Joie Chang

Deputy Consulting Director (APAC)

Reg no.: R2090601 | EA No: 13C6684

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.

Senior Material Development Engineer

Company highlights

• One of the largest OEM in the world, cooperate with world-class clients

• Good Employee benefits: AWS + PB

• Chance to travel to APAC countries and work with cross-functional team (15%)

• Working Location: Office at CBD, travel to Lab at West when needed

Summary of job scope:

• Led the creation of new methods to recycle and reuse metal scraps.

• Researched ways to upcycle titanium and aluminum alloy scraps (product: Metal enclosure).

• Studied how to recycle 3D-printed metal powders to lower material costs.

Requirement:

• Masters/PhD in Metallurgy/ Metal material engineering/ Materials science

• 2-3 years of relevant R&D industry experience. Experience in Metal powder production process

• Comfortable liaising with factories in China for mass production.

Skills and Abilities:

• Good analytical and problem-solving skills.

• Excellent communication and interpersonal skills.

• Ability to work independently and as part of a team.

• Proficient in Microsoft Office Suite.

• Attention to detail and accuracy.

If you are interested in this opportunity, submit your application now to [email protected] find out more about this position.

· Design testing scenarios that will demonstrate conformance to all functional and non-functional requirements as defined in business or technical specifications

· Develop test plans and ensure sufficient test coverage

· Develop test scripts for the test automation tools used by the project team

· Coordinate and collaborate with others in analyzing the requirements to ensure testing scenarios covers all requirements

· Review and analyze test results to determine the cause of the discrepancy and communicate with the team

· Generate test reports from the automated test executions

· Determine performance testing models to be used and validate them

· Identify inadequacies and improvement opportunities in the methods/standards and recommend changes

Requirements:

· Candidate should possess a technical Diploma / Bachelor's degree in Computing/Information Technology or related field

· Possess good analytical and troubleshooting skills

· Should have at least 3 years of experience in software development and/or testing

· Familiar with BDD testing

· Experience in test automation frameworks such as Cucumber and Karate

· Experience in web service testing tools such as Postman and SoapUI

· Experience in performance testing tools such as Micro Focus LoadRunner and JMeter

· Good understanding of software development

· Proficient in testing and development methodologies

· Good verbal and written communication skill

· Ability to work effectively in a team or independently

To Apply:

Interested candidates, please click on the following link to begin your job search journey and submit your curriculum vitae (CV) directly through the official PERSOLKELLY job application platform - GO. <https://go.persolkelly.com/job/apply/6104>

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

This is in partnership with Employment and Employability Institute Pte Ltd (“e2i”). e2i is the empowering network for workers and employers seeking employment and employability solutions. e2i serves as a bridge between workers and employers, connecting with workers to offer job security through job-matching, career guidance and skills upgrading services, and partnering employers to address their manpower needs through recruitment, training and job redesign solutions. e2i is a tripartite initiative of the National Trades Union Congress set up to support nation-wide manpower and skills upgrading initiatives. By applying for this role, you consent to e2i’s PDPA.

By sending us your personal data and CV, you are deemed to consent to PERSOLKELLY Singapore Pte Ltd and its affiliates to collect, use and disclose your personal data for account creation in GO and the purposes set out in the Privacy Policy https://www.persolkelly.com.sg/policies. You acknowledge that you have read, understood, and agree with GO’s Terms of Use https://go.persolkelly.com/Tac and the Privacy Policy. If you wish to withdraw your consent, please email us at [email protected]. Please feel free to contact us if you have any queries.

PERSOLKELLY Singapore Pte Ltd • RCB No. 200007268E • EA License No. 01C4394• Reg No : R22110511 | Teh Chee Hoong

• Provide L2 Desktop support/Team Lead
• Supporting and communicating with end users regarding their IT issues
• Perform troubleshooting for client platform related problems.
• Respond promptly to incident, investigate & provide temporary &/or permanent resolution of incidents escalated. Provide timely status updates to relevant parties.
• Involved in heavy lifting
• Perform service request related to client platforms.
• Monitor the agreed service level, document & maintain the configuration of the systems; provide regular reporting to relevant parties.

To Apply:

Interested candidates, please click on the following link to begin your job search journey and submit your curriculum vitae (CV) directly through the official PERSOLKELLY job application platform - GO. <https://go.persolkelly.com/job/apply/5090>

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

This is in partnership with Employment and Employability Institute Pte Ltd (“e2i”). e2i is the empowering network for workers and employers seeking employment and employability solutions. e2i serves as a bridge between workers and employers, connecting with workers to offer job security through job-matching, career guidance and skills upgrading services, and partnering employers to address their manpower needs through recruitment, training and job redesign solutions. e2i is a tripartite initiative of the National Trades Union Congress set up to support nation-wide manpower and skills upgrading initiatives. By applying for this role, you consent to e2i’s PDPA.

By sending us your personal data and CV, you are deemed to consent to PERSOLKELLY Singapore Pte Ltd and its affiliates to collect, use and disclose your personal data for account creation in GO and the purposes set out in the Privacy Policy https://www.persolkelly.com.sg/policies. You acknowledge that you have read, understood, and agree with GO’s Terms of Use https://go.persolkelly.com/Tac and the Privacy Policy. If you wish to withdraw your consent, please email us at [email protected]. Please feel free to contact us if you have any queries.

PERSOLKELLY Singapore Pte Ltd • RCB No. 200007268E • EA License No. 01C4394• Reg No : R22110511 | Teh Chee Hoong

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

Mechanical Engineer

Company background:

• An established Japanese MNC Construction company specializing within the field of HVAC

Location: Central (AMK / YCK)

Working Hours: 5 Days Work Week, Mon to Fri (8.30am to 5.30pm / 9am to 6pm)

Remuneration Package:

• Basic up to S$ 5000
• Variable Bonus

Job Responsibilities:

• Perform engineering duties such as design, engineering calculations, planning, tender preparation/evaluations as part of the engineering project team.
• QA / QC documentation of engineering deliverables.
• Closely liaising with relevant clients, project managers, architects, and contractors.
• Assist in resolving any technical problems faced during project design and / or construction stages.
• Any other required duties as required by the Project Team.

Requirements:

• At least Diploma or Degree in relevant Mechanical Engineering discipline
• Proven ability to communicate well in written and verbal communications
• Design thinking for product inventions and enhancements
• Knowing and applying current industry standards and information
• Soft skills including a positive attitude, flexibility and conflict resolution
• The ability to solve problems creatively on time
• Having up-to-date knowledge and technical skills

Please be notified that only shortlisted candidates will be notified.

Ian Fong | R22106545

Recruit Now Singapore Pte Ltd | EA No: 21C0845

Responsibilities:

Technical Support

• Provide day-to-day technical guidance and support to the 3rd party manufacturer, addressing any mechanical engineering-related issues that may arise during production.

Quality Operation

• Collaborate with the manufacturer to establish and maintain strict quality control standards, ensuring the consistency and reliability of our products.

Process Optimization

• Identify opportunities for process improvements and efficiency enhancements within the manufacturing workflow.

Problem Solving

• Analyze and resolve mechanical engineering challenges, preventing or minimizing production delays and defects.

Product Improvement

• Work closely with the design and development teams to implement design changes and improvements that enhance product quality and manufacturability.

Investment audit & asset management support

• Coordinate investment audit in close collaboration with other functions and conduct periodic physical asset inspection. Support annual inventory check if needed.

Requirements:

• Bachelor's degree in Mechanical / Electrical Engineer or a related field, Master's Degree of Mechanical Engineering is plus
• Min. 5 years in EMS (Electronic device assembly) with excellent understanding of overall supply chain, manufacturing technology, process set-up, process validation and SOP support.
• Open to travel once a week to nearby country (Can be a day trip or overnight trip)
• Prior experience in SMALL DEVICES such as earpods/ smart watch/ from electronic devices ( wearable electronic devices )
• R&D and Manufacturing Production Supervision Experience

All qualified applicants, please send in your resume NOW to:
Whatsapp: https://wa.me/+6597430026
Email : [email protected]

Kimmy Low Yi Ting (Kim) | CEI Registration Number: R23112122

Recruit Express Pte Ltd Company Reg. No. 199601303W | EA LICENCE Number: 99C4599

JOB RESPONSBILITIES:

• Provide technical support for manufacturing operations
• Conduct process validation
• Perform maintenance, troubleshooting and calibration on Machines / Equipment
• Liaise with supplier on all technical purchases
• Co-ordinate with supervisor / leader on production schedule / audit / stock take etc.
• Any other tasks assigned by superior by time to time.

JOB REQUIREMENTS:

• Diploma in Electrical / Mechanical Engineering or related discipline (Must if they do not have relevant work experience)
• Rotating Shiftwork (Day & Night) - Monthly Rotation
• Work in cleanroom environment - Required to wear cleanroom uniform

All qualified applicants, please click “ APPLY NOW”

Kimmy Low Yi Ting (Kim) | CEI Registration Number: R23112122

Recruit Express Pte Ltd Company Reg. No. 199601303W | EA LICENCE Number: 99C4599

Working Location: Tuas
Working Days : 5 Days ( Mon- Fri)
Working Hours: 8am-5pm

Salary: $2600 - $2700

Job Description

• Desktop Technician will provide day to day local\remote desktop support, receive inbound calls, answer questions, troubleshoot and document steps performed to resolve challenges with hardware, software and application issues in a ticketing system.
• Facilitate customer resolution for calls and engage their supervisors and managers to ensure operational consistency across all shifts within the IT Support Center.
• Desktop Support Engineer provides Break Fix, fault diagnosis and resolution.
• Providing fault analysis to customer’s various core operating systems and platforms, as well be able to provide support and apply desktop fault resolution for the approved application suite.

Position Responsibilities and Functions

• Provide first/second level contact and problem resolution for customer issues.
• Work with Third Party Vendors to remediate complex AV issues as needed.
• Provide timely communication on issue status and resolution.
• Maintain ticket updates for all reported incidents.
• Install, upgrade, support and troubleshoot XP, Windows 7, Windows 8.1, Windows 10 and Microsoft Office 2010, Cisco Jabber, another authorized desktop application.
• Should have basic knowledge of Mac operating system, to support Apple pc users.
• Install, upgrade, support and troubleshoot for printers, computer hardware.
• Performs general preventative maintenance tasks on computers, laptops, printers.
• Performs remedial repairs on Desktops, laptops, printers and any other authorized peripheral equipment.
• Use diagnostic tools to troubleshoot problems associated with network connectivity, and workstation hardware/software.
• Broad experience of IT with basic understanding of Networks, Servers, Audio/Visual, Smart Devices and Telecoms.
• This position requires the ability to work in a project-based environment requiring flexibility and teamwork. Performs other duties as assigned.

Qualifications and Skills

• Bachelor Degree or equivalent in Computer Science or related field.
• CompTIA A+, Microsoft Certified Professional (MCP) or better.
• 1-2 years’ experience in Windows Desktop support.
• Windows 7-10, Microsoft Active Directory, utilization of GPOs, MS Office 365, PC hardware installation and troubleshooting, Enterprise anti-virus solutions, Helpdesk ticketing systems.
• Mobile device management including IOS and Android devices, Enterprise encryption solutions, Windows PC/laptop management via Active Directory.
• Proven analytical, troubleshooting and problem solving skills.
• Willing to work off-hours and weekends when required for projects or emergency support.

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

✅SAMUEL SIAW Reg No: R24124745

Responsibilities:

• Collaborate with Senior Engineers for design requirements and specifications.
• Assist in Analog, mixed-signal, and digital IC design.
• Participate in RTL coding and verification for digital ICs.
• Support design verification tasks.
• Conduct circuit simulations and analysis using Cadence, Synopsys, and Mentor Graphics tools.
• Assist layout engineers with floor planning.
• Analyze and debug silicon failures, suggesting design improvements.
• Contribute to the development of design methodologies to enhance efficiency.
• Document design work and test plans.
• Collaborate with cross-functional teams to ensure successful tape-out.

Requirements:

• Bachelor’s Degree in Electrical Engineering or equivalents.
• At least 2 years of relevant working experience.
• Understanding the IC development flow in advanced CMOS processes, including design, layout, and tape-out.
• Understanding the fundamental theories of digital or analog circuit design.
• Capability to generate inventive designs and circuit solutions tailored to fulfill customer needs.

__________________________________________________________

HOW TO APPLY :

Interested candidates, please submit your resume by clicking on “Quick Apply” or contact [email protected] for more details.

Please provide following information in the resume for immediate processing

1) Reasons for leaving current and/or last employment

2) Last drawn and/or current salary

3) Expected salary

4) Date of availability and/or Notice Period

All applications will be treated in strictest confidence and only shortlisted candidates will be notified

Wee Wai Dan

EA License No : 03C5391

EA Reg No : R22109628

Responsibilities:

• Create mixed-signal verification and coverage strategies tailored to complex IC designs, aligning with design architecture and specifications.
• Construct verification testbenches using standard verification languages and methodologies, ensuring comprehensive coverage.
• Author and execute test cases to validate mixed-signal circuits, focusing on functionality, performance, and reliability.
• Analyze verification results meticulously, offering constructive feedback to design teams for improvements.
• Collaborate closely with design and layout teams to pinpoint and resolve any design issues encountered during verification.
• Innovate and refine verification methodologies, tools, and techniques to enhance scalability and portability.
• Provide final sign-off on mixed-signal designs, ensuring readiness for tape-out.

Requirements:

• Bachelor’s degree in electrical & electronic or equivalents and with minimum 7 years of working experience.
• Proficient in analog and mixed-signal circuit design and verification principles.
• Capability to formulate test plans, deliver presentations on findings, and communicate effectively with cross-functional teams.
• Familiarity with verification methodologies and tools including simulators, waveform viewers, automated execution, simulation time optimization, and coverage analysis.
• Proficient in programming abilities, capable of crafting efficient scripts or programs in languages such as Perl, Python, and/or C.

__________________________________________________

HOW TO APPLY :

Interested candidates, please submit your resume by clicking on “Quick Apply” or contact [email protected] for more details.

Please provide following information in the resume for immediate processing

1) Reasons for leaving current and/or last employment

2) Last drawn and/or current salary

3) Expected salary

4) Date of availability and/or Notice Period

All applications will be treated in strictest confidence and only shortlisted candidates will be notified

Wee Wai Dan

EA License No : 03C5391

EA Reg No : R22109628

Responsibilities:

· Act as primary point of contact for Clients for all Power BI and Power Platform support-related queries

· Provide support and troubleshooting for Power BI, Power Apps, Power Automate, and other Power Platform technologies

· Ensure smooth operation, monitor performance and provide on-going support to End-Users and Clients to meet service level agreements (SLAs)

· Assist users with Power BI report / dashboard, including performance optimization, data connections and refresh scheduling

· Monitor system performance and implement measures to optimize resource usage and performance across Power Platform services

· Manage Power BI environments, including capacity planning, workspace management and report governance

· Administer and monitor Power Automate flows and Power Apps applications for operational continuity

· Provide configuration and development assistance as required

· Collaborate with clients to understand reporting needs, design solutions and implement enhancements

· Stay up-to-date with the latest features, best practices and updates within Power BI and broader Power Platform

· Provide recommendations to improve scalability, reliability and efficiency of Power Platform services

· Contribute to the enhancement of internal processes and procedures

Requirements:

· Microsoft Certified: Power BI Data Analyst Associate / Power Platform Fundamentals (PL-900) / Power Platform Functional Consultant Associate

· Minimum 3 years of relevant experience

· Hands-on experience in troubleshooting, optimizing and supporting Power Platform solutions

· Strong knowledge and experience with Microsoft Power BI, including DAX, Power Query and Data Modelling

· Experience with Power Apps and Power Automate (Flow) for designing and troubleshooting solutions

· Familiarity with SQL databases and data integration concepts

· Knowledge of Azure cloud services, including Azure Data Factory, Azure SQL and other data-related services is a plus

· Understanding of governance, security and compliance aspects of Power Platform services

· Strong communication skills with Clients and Internal Stakeholders

Please include in the CV

· Last drawn

· Expected salary

· Notice period

Interested candidates, please submit your CV to [email protected]

EA License No: 06C4642

EA Reg No: R1110624

All applications will be treated in strictest confidence and only short-listed candidates will be notified

Our client is a well-established MNC, market leader in the IT industry. Due to their current expansion plan, they are looking for an IT Maintenance Engineer to join their team, in hopes of developing the current high performing team. They are located in the West.

Responsibilities:

• Provide technical assistance to clients when required.
• Support operations on a 24/7 basis, with rotating shifts.
• Diagnose and resolve technical issues promptly.
• Communicate complex technical information in simple terms to clients.
• Understand and manage client requirements.
• Collaborate with the support team to escalate unresolved issues to the relevant product vendors.
• Maintain close communication with vendors to improve and support product solutions based on feedback and industry trends.
• Continuously enhance knowledge in IT security products and solutions.
• All other adhoc duties as assigned.

Requirements:

• Minimum Nitec/Diploma or other related field of studies.
• Minimum 1 years’ relevant 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: [email protected]

Recruitpedia Pte. Ltd.

EA License No. 19C9682

EA Reg. No. R23115553 (Lai Hor Yan)

Technical Sales Engineer

• Working Hours: Monday-Friday 9am-6pm
• Location: Kaki Bukit
• Salary: $4000-$5000 + VB

Requirements:

• Degree in Electrical, Mechanical or Technical Engineering.
• Must be knowledgeable with products and solutions of PAGA, CCTV, PABX, Fire Alarm systems, PLC/DCS systems, Fire & Gas detection and protection systems, Helideck lightings systems, Weather Monitoring systems, Aids to Navigation systems.
• Proficient in AutoCad drawings.
• Relevant work experience in Shipyard, Oil & Gas, Marine, Petrochemical background preferred.

Job Scope:

• Responsible for developing & maintaining customers’ base
• Technical Sales proposals/quotations and clarifications with customers
• Participates in project bidding - both technical & commercial
• Prepares technical drawings and project documentation & scheduling
• Hands-on product integration, troubleshooting, etc.
• Site (eg onboard vessel) survey, installation & support when required
• Involves in sales and marketing efforts

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

✅SAMUEL SIAW Reg No: R24124745

Working Location: Jurong
Working Days : 5 Days ( Mon- Fri)
Working Hours: 8am-5pm

Salary: $2600 - $2700

Job Description

• Desktop Technician will provide day to day local\remote desktop support, receive inbound calls, answer questions, troubleshoot and document steps performed to resolve challenges with hardware, software and application issues in a ticketing system.
• Facilitate customer resolution for calls and engage their supervisors and managers to ensure operational consistency across all shifts within the IT Support Center.
• Desktop Support Engineer provides Break Fix, fault diagnosis and resolution.
• Providing fault analysis to customer’s various core operating systems and platforms, as well be able to provide support and apply desktop fault resolution for the approved application suite.

Position Responsibilities and Functions

• Provide first/second level contact and problem resolution for customer issues.
• Work with Third Party Vendors to remediate complex AV issues as needed.
• Provide timely communication on issue status and resolution.
• Maintain ticket updates for all reported incidents.
• Install, upgrade, support and troubleshoot XP, Windows 7, Windows 8.1, Windows 10 and Microsoft Office 2010, Cisco Jabber, another authorized desktop application.
• Should have basic knowledge of Mac operating system, to support Apple pc users.
• Install, upgrade, support and troubleshoot for printers, computer hardware.
• Performs general preventative maintenance tasks on computers, laptops, printers.
• Performs remedial repairs on Desktops, laptops, printers and any other authorized peripheral equipment.
• Use diagnostic tools to troubleshoot problems associated with network connectivity, and workstation hardware/software.
• Broad experience of IT with basic understanding of Networks, Servers, Audio/Visual, Smart Devices and Telecoms.
• This position requires the ability to work in a project-based environment requiring flexibility and teamwork. Performs other duties as assigned.

Qualifications and Skills

• Bachelor Degree or equivalent in Computer Science or related field.
• CompTIA A+, Microsoft Certified Professional (MCP) or better.
• 1-2 years’ experience in Windows Desktop support.
• Windows 7-10, Microsoft Active Directory, utilization of GPOs, MS Office 365, PC hardware installation and troubleshooting, Enterprise anti-virus solutions, Helpdesk ticketing systems.
• Mobile device management including IOS and Android devices, Enterprise encryption solutions, Windows PC/laptop management via Active Directory.
• Proven analytical, troubleshooting and problem solving skills.
• Willing to work off-hours and weekends when required for projects or emergency support.

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

✅SAMUEL SIAW Reg No: R24124745

JOB RESPONSBILITIES:

• Provide technical support for manufacturing operations
• Conduct process validation
• Perform maintenance, troubleshooting and calibration on Machines / Equipment
• Liaise with supplier on all technical purchases
• Co-ordinate with supervisor / leader on production schedule / audit / stock take etc.
• Any other tasks assigned by superior by time to time.

JOB REQUIREMENTS:

• Diploma in Electrical / Mechanical Engineering or related discipline (Must if they do not have relevant work experience)
• Work in cleanroom environment - Required to wear cleanroom uniform

All qualified applicants, please click “ APPLY NOW”

Kimmy Low Yi Ting (Kim) | CEI Registration Number: R23112122

Recruit Express Pte Ltd Company Reg. No. 199601303W | EA LICENCE Number: 99C4599

Responsibilities:

Technical Support

• Provide day-to-day technical guidance and support to the 3rd party manufacturer, addressing any mechanical engineering-related issues that may arise during production.

Quality Operation

• Collaborate with the manufacturer to establish and maintain strict quality control standards, ensuring the consistency and reliability of our products.

Process Optimization

• Identify opportunities for process improvements and efficiency enhancements within the manufacturing workflow.

Problem Solving

• Analyze and resolve mechanical engineering challenges, preventing or minimizing production delays and defects.

Product Improvement

• Work closely with the design and development teams to implement design changes and improvements that enhance product quality and manufacturability.

Investment audit & asset management support

• Coordinate investment audit in close collaboration with other functions and conduct periodic physical asset inspection. Support annual inventory check if needed.

Requirements:

• Bachelor's degree in Mechanical / Electrical Engineer or a related field, Master's Degree of Mechanical Engineering is plus
• Min. 5 years in EMS (Electronic device assembly) with excellent understanding of overall supply chain, manufacturing technology, process set-up, process validation and SOP support.
• Open to travel once a week to nearby country (Can be a day trip or overnight trip)
• Prior experience in SMALL DEVICES such as earpods/ smart watch/ from electronic devices ( wearable electronic devices )

All qualified applicants, please click “ APPLY NOW”

Kimmy Low Yi Ting (Kim) | CEI Registration Number: R23112122

Recruit Express Pte Ltd Company Reg. No. 199601303W | EA LICENCE Number: 99C4599

Responsibilities:

· Supporting Microsoft 365

· Ensuring smooth operations, providing support and maintaining configurations

· Daily Operations and Support

· Security and Compliance Management

· Proactive Monitoring, Configuration and Administration

· Service Request and Change Management

· M365 License Management

Requirements:

· Microsoft 365 Certified: Modern Desktop Administrator Associate / Security Administrator Associate

· 3 years of experience in administering and supporting Microsoft 365 services

· Strong understanding of M365 services, including Exchange Online, MS Teams, SharePoint Online, OneDrive and Intune

· Ability to monitor and manage M365 licenses effectively

· Familiarity with Conditional Access rules, DLP policies, and security best practices

· Hands-on experience with Incident and Change Management processes

· Understanding of M365 security and compliance requirements

· Excellent communication skills and manage multiple tasks

· Ability to work in a fast-paced environment

Please include in the CV

· Last drawn

· Expected salary

· Notice period

Interested candidates, please submit your CV to [email protected]

EA License No: 06C4642

EA Reg No: R1110624

All applications will be treated in strictest confidence and only short-listed candidates will be notified

• Up to $7,500 Basic + Bonus + Benefits
• Permanent role/ Northeastern area
• New Railway & Tunnel project in West area.
• Experience in Rail & LTA projects is mandatory..

Our client is a leading and reputable MNC and A1 Main contractor diverse in building, civil and infrastructure projects locally and overseas is currently inviting applicant to join them.

Job Responsibilities:

• Reporting to Senior Tunnel Manager
• Prepare method statements, safe work procedures, risk registers, tunnel progress reports, and other tunnel-related documentation.
• Prepare and carry out the presentation of tunneling works prior to the commencement of works.
• Plan and monitor and track site progress, manpower mobilization, and equipment deployment
• Coordinate various subcontractors to ensure work runs smoothly
• Conduct daily site inspection and supervision of bored tunneling works.
• Supervision work on a TBM machine controlling the tunnel labor in excavation and ring build
• Maintain site records of excavated volumes, grouting records, and other construction work.
• Liaise with authorities, consultants, and subcontractors.

Job Requirements:

• Bachelor’s Degree/ Diploma in Civil Engineering or related field.
• Experience in Rail & LTA projects is mandatory.

Other Information:

To apply please click on the APPLY button to submit your resume with the following details

• Reason for leaving each past & current employment
• Salary drawn for each past & current employment
• Expected Salary
• Earliest availability date

We regret only shortlisted candidates will be notified.

Lionel Cheow

EA License | 14C7092

EA Registration Number | R1105005

Electrical Engineer

Company background:

• An established Japanese MNC Construction company specializing within the field of ACMV / HVAC

Location: Central (AMK / YCK)

Working Hours: 5 Days Work Week, Mon to Fri (8.30am to 5.30pm / 9am to 6pm)

Remuneration Package:

• Basic up to S$ 5000
• Variable Bonus

Job Responsibilities:

• Involve in managing / leading the electrical team.
• Perform engineering duties such as design, engineering calculations, planning, tender preparation/evaluations as part of the engineering project team.
• QA / QC documentation of engineering deliverables.
• Closely liaising with relevant clients, project managers, architects, and contractors.
• Resolve any technical problems faced during project design and/or construction stages.
• Testing & Commissioning of the ACMV Electrical Systems.
• Ensure the team follows all electrical codes and standards.

Requirements:

• At least Diploma or Degree in relevant Electrical Engineering discipline
• Preferably possess at least 5 years of Electrical experience within the Construction field associating with ACMVs
• Engineering design of commercial buildings, major infrastructure transportation projects and mixed-use developments
• Possess design experience and good understanding of ACMV / Electrical technical systems and procedures
• Possess knowledge on all cabling, loading and sizing calculations and equipment selections such as cable, generators, panels, etc.
• Develop, design through establishing, design briefs, design reports, calculations, schematics, schedules, specifications, concept, Preliminary, Detailed and Construction Engineering Designs
• Productions of drawings and developing models
• Site Experience, Testing & Commissioning Experience
• Having experience working with Infrastructure Projects would be an added advantage.

Please be notified that only shortlisted candidates will be notified.

Ian Fong | R22106545

Recruit Now Singapore Pte Ltd | EA No: 21C0845

The ideal candidate will help build, maintain, and troubleshoot, the company's rapidly expanding infrastructure. They will work alongside other engineers to ensure highest levels of performance and ability, and manage any problems that arise.

Key Responsibilities:

• Implement and manage Windows-based infrastructure and associated technologies.
• Monitor and maintain the health, performance, and security of Windows servers and systems.
• Administer Active Directory, Group Policy, DNS, DHCP, and related services.
• Configure and troubleshoot Hypervisor Nutanix virtualization platforms (e.g., VMware, Hyper-V).
• Install, configure, and manage Windows servers and services, including IIS, SQL Server, Exchange 2019 and Skype 2019
• Collaborate with cross-functional teams to implement and support enterprise-wide solutions.
• Perform routine system and application updates, patches, and upgrades.
• Develop and maintain documentation related to system configurations, processes, and procedures.
• Provide level 2 and/or level 3 support for Windows-related issues.
• Participate in on-call rotation for after-hours support as needed.

Qualifications:

• Tertiary education in in Computer Science, Information Technology, or related field.
• At least 3 to 5 years of experience in administering Windows-based systems and infrastructure.
• Proficiency in Windows Server operating systems (2019).
• Strong understanding of Active Directory, Group Policy, DNS, and DHCP.
• Experience with virtualization platforms such as VMware and Hyper-V.
• Knowledge of scripting languages (e.g., PowerShell) for automation and scripting tasks.
• Familiarity with monitoring tools and systems management solutions.
• Excellent problem-solving and troubleshooting skills.
• Strong communication and interpersonal abilities.
• Certifications such as MCSE, MCSA, or equivalent are a plus.

HOW TO APPLY:

Simply submit your application with your updated Resume in MS Word Format to Nurul Atika Binte Kassim (EA Personnel Reg. No.: R1986508) by clicking the ‘Apply link’ or email to Atika at [email protected] or Call 6590 9960 for a confidential discussion

EA License No: 05C345

Please indicate the below information in your resume:

• Current & Expected Salary
• Reason(s) for leaving
• Notice Period / Availability to commence work

YOUR SUCCESS IS OUR ACHIEVEMENT!

Notice:

We would like to inform that only short-listed candidates will be notified. All applications will be treated with the strictest confidence.

By submitting any application or resume to us, you will be deemed to have read & agreed to the terms of our Privacy Policy, and consented to us collecting, using, retaining and disclosing your personal information to prospective employers for their consideration, and for our marketing EDMs which you may opt out by unsubscribing in the mailer. You may refer and access our website at https://www.achievegroup.asia/privacy-policy/ for more information.

Cessation of Collection of full NRIC Numbers:

In compliance with the Personal Data Protection Act and commitment to protect candidates’ personal data, Achieve Group will cease to collect, process or use full NRIC numbers during our screening and job application process.

• Location: Tanjong Penjuru
• Working hours: Mon to Fri from 7:30am to 5pm
• Salary: $3,500 - $4,000

Responsibilities:

• Organize, monitor and ensure manufacturing processes operated with minimize manufacturing costs through effective utilization of manpower, equipment, facilities, materials, and capital.
• Initiates, implements, and manages the processes improvement program based on best practices in the metal drum making industry, with an emphasis on productivity and product quality.
• Ensure all manufacturing processes are adhering to all Regulatory and Statutory Requirement.
• Work with the HR Department and assure that employee grievances are addressed in a timely fashion.
• Conducts employee performance reviews based on job descriptions to determine competency, knowledge, and contribution of the maintenance technicians and engineering staff.
• Maintain and ensure work safety and practice. Also continually improve safety records by addressing both physical safety issues and employee safety attitudes.
• Maintain and improve housekeeping in all areas
• Evaluate, train and maintain individual skills (including work performance) are keeping up to date with best engineering management concepts and practices.
• Ensure on time submission of overtime record to HR Dept for computation of monthly salary
• Establish and prepare process documentation such as work instruction, process specifications and assist on the quality plan.
• Prepares reports, analyzes data, and makes recommendations for improving plant operations and solving production-related problems.
• Ensures that subordinates are adequately trained, equipped, and motivated so that the maintenance program can be accomplished in a safe, timely, and cost-effective manner.
• Conducts employee performance reviews based on job descriptions to determine competency, knowledge, and contribution of the staff.
• Communicate regularly with all production and maintenance teams, both individually and as a group, to ensure good two-way communication concerning production and maintenance issues.
• Assist in the hiring of production personnel.
• Maintain and update operating manuals for all the manufacturing equipment and facilities.
• Maintain and update operating training manuals for all manufacturing processes.
• Perform any other ad-hoc projects or tasks to be assigned by the HOD / Management from time to time.

Requirements:

• Min 5 years working experience in manufacturing environment.
• Able to supervise and lead the subordinates.
• Computer literate.
• Knowledge in ISO is an advantage.
• Diploma or Degree in Manufacturing / Electrical /Mechanical / Engineering discipline

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

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 in computational law.

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

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

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

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

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

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

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

Minimum qualifications:

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

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

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

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

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

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

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

Skills listed below this line are preferred but not required:

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

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

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

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

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

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

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

#LI-JN2

COMPANY DESCRIPTION

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

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

RESPONSIBILITIES

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

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

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

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

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

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

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

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

Minimum qualifications:

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

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

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

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

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

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

Preferred qualifications:

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

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

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

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

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

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

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

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

#LI-JN2