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

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

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

Proposal Engineer | Up to $6k | 5 Days | Woodlands

Working day: Monday - Friday (8am - 5.45pm)
Salary: $3,000 - $6,000
Office Location: Woodlands

Duties & Responsibilities:
Cost Estimation:
Prepare detailed cost estimates for MEP (Mechanical, Electrical, Plumbing) projects;
Analyze and evaluate project specifications and drawings to determine the scope of work and associated costs;

Quantity Take-off
Perform quantity take-offs for materials and labour required for MEP installations;
Collaborate with project teams to ensure accurate and comprehensive quantity assessments;

Budgeting and Cost-control
Develop and manage project budgets, ensuring cost control throughout the project lifecycle;
Monitor and report on cost variations, providing recommendations for cost-saving measures;

Tendering and Procurement
Assist in the preparation of tender documents and participate in the procurement process;
Evaluate subcontractor and supplier bids, ensuring competitiveness and adherence to project requirements;

Contract Administration
Administer and manage contracts related to MEP works, including variations and claims;
Monitor contractual compliance and resolve any disputes that may arise during the project;

Value Engineering
Identify opportunities for value engineering to optimize project costs without compromising quality;
Work closely with design and construction teams to implement value engineering recommendations;

Risk Management
Identify and assess potential risks related to cost and contract issues;
Develop strategies to mitigate risks and ensure project success;

Cost Reporting
Generate regular cost reports to keep stakeholders informed of project financial status;
Provide analysis and recommendations based on cost reporting data;

Collaboration

Collaborate with architects, engineers, contractors, and other project stakeholders;
Participate in project meetings and contribute to the overall success of the project;

Regulatory Compliance
Ensure compliance with relevant regulations and standards in MEP construction;
Stay updated on industry trends, codes, and best practices;

Ad-Hoc
Undertake cost analysis for repair and maintenance project work;
Other Ad-hoc duties as assigned by the HOD.

Qualifications & Experience:

• Degree / Diploma in Quantity Surveying / Engineering or equivalent from a recognized University.
• Minimum 5 years of related working experiences in industrial, commercial or data-centre projects.
• Good working knowledge in Mechanical and Electrical.

The Supreme HR Advisory Pte Ltd | 14C7279

Ong Boon Kiet (Travys) | R22104769

Senior Recruitment Consultant

Job Description

• Industry/ Organization Type: Logistics
• Position Title: IT Support Engineer
• Working Location: Tuas (Transport provided from Boon Lay MRT)
• Working Hours: 5.25 days (M-F, 8.30 am-5.00 pm; Alternative Sat, 8.30 am-1 pm)
• Salary Package: Basic salary up to $3,000 + AWS + Mobile Allowance + Variable Bonus
• Duration: Permanent Role

Key Responsibilities

• Perform regular maintenance and upkeep of HQ IT equipment and software.
• Handle hardware maintenance needs, coordinate with vendors for repairs/upgrades, dispose of obsolete hardware, and manage hardware consumables.
• Provide "HelpDesk" support to users and escalate issues to vendors/consultants if necessary.
• Support team members with IT service operations within the Group.
• Coordinate all IT-related purchases within the company, working with end-users and department heads.
• Maintain and update IT hardware and software inventory.
• Perform IT-related duties and projects as assigned by the Group IT GM.

APPLY NOW!!!

• At least 1-2 years of relevant work experience.
• Energetic and willing to work offsite for outdoor projects.
• Good skills in liaising and following up with vendors and users both onsite and offsite.
• Basic understanding of IT hardware and software applications like PCs, Printers, MFP, and corporate software such as Emails, ERP, etc.
• Candidates without IT experience are welcome to apply. Training will be provided.

Please apply through ANY of the following methods:

• Submit your application by clicking the APPLY button;
• Email your resume to Job(at)anradus.com.sg. Please indicate #68503 on the email subject.

Anradus Application Policy: We value each application and ensure every resume is reviewed. Our process is efficient, typically concluding within 3 working days. 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 continuing your job search to maximize your opportunities.

Anradus Pte Ltd | EA License No. 20C0161 | Angel Lim | EA Reg No.: R1769781

Job Description

• Industry/ Organization Type: IT / Software
• Position Title: Desktop Support Engineer (L1 / L2)
• Working Location: West (Jurong / Tuas)
• Working Hours: 5 days (Monday to Friday, 8 AM – 5 PM)
• Salary Package: Basic Salary up to $3,300 + AWS + Bonus + Transport Allowance
• Duration: Permanent Role

Key Responsibilities

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

APPLY NOW!!!

• Bachelor’s degree or equivalent in Computer Science or related field
• Minimum 1 year of IT experience or equivalent
• Candidates with CompTIA A+, Microsoft Certified Professional (MCP) qualifcations or equivalent would be an added advantage
• Broad experience in IT with basic understanding of Networks, Servers, Audio/Visual, Smart Devices and Telecoms
• Experience with Windows 7-10, Microsoft Active Directory, utilization GPOs, MS Office 365, PC hardware installation and troubleshooting, Enterprise anti-virus solutions or Helpdesk ticketing systems is preferred

Kindly apply through ANY of the following methods:

• Submit your application by clicking the APPLY button;
• Email your resume to Job(at)anradus.com.sg. Kindly indicate #66041 on the email subject.

Anradus Application Policy: We value each application and ensure every resume is reviewed. Our process is efficient, typically concluding within 3 working days. 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 continuing your job search to maximize your opportunities.

Anradus Pte Ltd | EA License No. 20C0161 | Angel Lim | EA Reg No.: R1769781

Key Responsibilities

The incumbent will

• Provide project support or daily operation support to MNC clients in the area of automation for BMS.
• Manage BMS projects from design to implementation for new systems and expansion/changes to existing systems
• Lead and provide technical guidance to basic design and detailed design of BMS systems for biopharmaceutical manufacturing site.
• Support generation, update and review of GMP documents related to BMS.
• Perform routine preventive maintenance activities for BMS.
• Support troubleshooting and investigation of equipment, systems and code/configuration related to quality or safety issues. Implement the relevant improvement solutions

Requirements

• Diploma/Degree in Chemical, Electrical Engineering, or Computing
• Minimum 5 years of working experience in Building Management Systems such as Schneider EcoStruxure, Siemens Apogee/Desigo, Honeywell
• Good technical writing skills
• Self-starter, good teamwork and communication skills; ability to interact across functional teams at multiple levels within the organization
• Excellent problem-solving ability and customer-focused